Sciweavers

IMECS
2007

Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt

13 years 5 months ago
Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra with continuous relative timing and the process algebra with propositional signals, for the formal specification and analysis of hybrid systems. In addition to equational axioms, this hybrid process algebra has rules to derive equations with the help of real analysis. ACPsrt hs is also closely related to the theory of hybrid automata, so ACPsrt hs can be reasonable easily translated to hybrid automata. This enables automatic verification of ACPsrt hs specifications using existing hybrid automaton-based verification tools (e.g. PHAVer and HyTech). Since ACPsrt hs is a well-developed algebraic theory from the field of hybrid process algebras with the above-mentioned features, it seems to allow rigorous the formal specification and analysis of digital/analog/mixed-signal circuits. In order to explore this fac...
Ka L. Man, Michel P. Schellekens
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where IMECS
Authors Ka L. Man, Michel P. Schellekens
Comments (0)