Synchronous programming of reactive systems: A tutorial and commented bibliography
N Halbwachs - International Conference on Computer Aided …, 1998 - Springer
The term" reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is
now commonly accepted to designate permanently operating systems, and to distinguish …
now commonly accepted to designate permanently operating systems, and to distinguish …
The STATEMATE semantics of statecharts
D Harel, A Naamad - ACM Transactions on Software Engineering and …, 1996 - dl.acm.org
We describe the semantics of statecharts as implemented in the STATEMATE system. This
was the first executable semantics defined for the language and has been in use for almost …
was the first executable semantics defined for the language and has been in use for almost …
[图书][B] Synchronous programming of reactive systems
N Halbwachs - 1992 - books.google.com
This book will attempt to give a first synthesis of recent works con cerning reactive system
design. The term" reactive system" has been introduced in order to at'oid the ambiguities …
design. The term" reactive system" has been introduced in order to at'oid the ambiguities …
A comparison of statecharts variants
M Von der Beeck - International Symposium on Formal Techniques in …, 1994 - Springer
The Statecharts formalism supports the development of intuitive graphical specifications for
reactive systems. Nevertheless, some serious problems became apparent in the original …
reactive systems. Nevertheless, some serious problems became apparent in the original …
Hierarchical finite state machines with multiple concurrency models
This paper studies the semantics of hierarchical finite state machines (FSM's) that are
composed using various concurrency models, particularly dataflow, discrete-events, and …
composed using various concurrency models, particularly dataflow, discrete-events, and …
Synchronous observers and the verification of reactive systems
N Halbwachs, F Lagnier, P Raymond - … The Netherlands 21–25 June 1993, 1994 - Springer
Abstract Synchronous programming [20, 14] is a useful approach to design reactive systems.
A synchronous program is supposed to instantly and deterministically react to events coming …
A synchronous program is supposed to instantly and deterministically react to events coming …
Verification of real-time systems using linear relation analysis
N Halbwachs, YE Proy, P Roumanoff - Formal Methods in System Design, 1997 - Springer
Abstract Linear Relation Analysis [11] is an abstract interpretation devoted to the automatic
discovery of invariant linear inequalities among numerical variables of a program. In this …
discovery of invariant linear inequalities among numerical variables of a program. In this …
Composition for component-based modeling
We propose a framework for component-based modeling using an abstract layered model
for components. A component is the superposition of two models: a behavior model and an …
for components. A component is the superposition of two models: a behavior model and an …
Mode-automata: a new domain-specific construct for the development of safe critical systems
F Maraninchi, Y Rémond - Science of computer programming, 2003 - Elsevier
Over the past ten years, the family of synchronous languages (Special Section of the Proc.
IEEE 79 (9)(1991)) has been very successful in offering domain-specific, formally defined …
IEEE 79 (9)(1991)) has been very successful in offering domain-specific, formally defined …
Argos: an automaton-based synchronous language
F Maraninchi, Y Rémond - Computer languages, 2001 - Elsevier
Argos belongs to the family of synchronous languages, designed for programming reactive
systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming …
systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming …