A Composition Operator for Systems with Active and Passive Actions

Strubbe, Stefan; Langerak, Rom

doi:10.1007/11562436_4

Cited by 2 publications

(3 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Furthermore, the authors consider an operator for restricting the scope of the interaction, using an action scope operator similar to the one presented in Section 5.9; and they consider the possibility of multi-way synchronization. Unlike the parallel composition operator in [49], we do not embed synchronization information in it. Synchronization is achieved by means of the synchronizing action operator.…”

Section: Discussionmentioning

confidence: 93%

See 1 more Smart Citation

Syntax and semantics of the compositional interchange format for hybrid systems

Agut

Beek

Rooda

2013

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

Different modeling formalisms for timed and hybrid systems exist, each of which addresses a specific set of problems, and has its own set of features. These formalisms and tools can be used in each stage of the embedded systems development, to verify and validate various requirements.The Compositional Interchange Format (CIF), is a formalism based on hybrid automata, which are composed using process algebraic operators. CIF aims to establish interoperability among a wide range of formalisms and tools by means of model transformations and cosimulation, which avoids the need for implementing many bilateral translators.This work presents the syntax and formal semantics of CIF. The semantics is shown to be compositional, and proven to preserve certain algebraic properties, which express our intuition about the behavior of the language operators. In addition we show how CIF operators can be combined to implement widely used constructs present in other timed and hybrid formalisms, and we illustrate the applicability of the formalism by developing several examples.Based on the formal specification of CIF, an Eclipse based simulation environment has been developed. We expect this work to serve as the basis for the formal definition of semantic preserving transformations between various languages for the specification of timed and hybrid systems.

show abstract

Section: Discussionmentioning

confidence: 93%

“…The implementation of different forms of synchronization by means of a parallel composition operator is dealt with in [49]. In that work, the authors distinguish between synchronous (active) and asynchronous (passive) actions.…”

Section: Discussionmentioning

confidence: 99%