We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
TIMED CHI: MODELING, SIMULATION AND VERIFICATION OF HARDWARE SYSTEMS.
- Authors
Ka Lok MAN
- Abstract
Timed Chi (χ) is a timed process algebra, designed for Modeling, simulation, verification and real-time control. Its application domain consists of large and complex manufacturing systems. The straightforward syntax and semantics are also highly suited to architects, engineers and researchers from the hardware design community. There are many different tools for timed Chi that support the analysis and manipulation of timed Chi specifications; and such tools are the results of software engineering research with a very strong foundation in formal theories/methods. Since timed Chi is a well-developed algebraic theory from the field of process algebras with timing, we have the idea that timed Chi is also well-suited for addressing various aspects of hardware systems (discrete-time systems by nature). To show that timed Chi is useful for the formal specification and analysis of hardware systems, we illustrate the use of timed Chi with several benchmark examples of hardware systems.
- Subjects
TIME; ALGEBRA; COMPUTER simulation; CONFIRMATION (Logic); REAL-time clocks (Computers)
- Publication
Computing & Informatics, 2010, Vol 29, Issue 6, p901
- ISSN
1335-9150
- Publication type
Article