Analysis of a mixed-signal circuit in hybrid process algebra ACP hssrt

K. L. Man, M. P. Schellekens

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

2 Citations (Scopus)

Abstract

ACPhssrt 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 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. ACPhssrt is also closely related to the theory of hybrid automata, so ACPhssrt can be reasonable easily translated to hybrid automata. This enables automatic verification of ACPhs srt specifications using existing hybrid automaton-based verification tools (e.g. PHAVer and HyTech). Since ACPhssrt' is a well-developed algebraic theory from the field of hybrid process algebras with the above-mentioned features, it seems to allow rigorous specification and analysis of digital/analog/mixed-signal circuits. In order to explore this fact, in this paper, we study a mixed-signal circuit: a half wave rectifier in ACPhssrt. Some basic properties of the half wave rectifier are analysed in a formal way and some correctness requirements are also proven to be satisfied.

Original languageEnglish
Title of host publicationIMECS 2007 - International MultiConference of Engineers and Computer Scientists 2007
Pages568-573
Number of pages6
Publication statusPublished - 2007
Externally publishedYes
EventInternational MultiConference of Engineers and Computer Scientists 2007, IMECS 2007 - Kowloon, Hong Kong
Duration: 21 Mar 200723 Mar 2007

Publication series

NameLecture Notes in Engineering and Computer Science
ISSN (Print)2078-0958

Conference

ConferenceInternational MultiConference of Engineers and Computer Scientists 2007, IMECS 2007
Country/TerritoryHong Kong
CityKowloon
Period21/03/0723/03/07

Keywords

  • Digital/analog/mixed-signal circuits
  • Formal analysis
  • Formal languages
  • Formal semantics
  • Hybrid process algebras

Cite this