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 …
[图书][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 …
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 …
Embedded software
EA Lee - Advances in computers, 2002 - Elsevier
The science of computation has systematically abstracted away the physical world.
Embedded software systems, however, engage the physical world. Time, concurrency …
Embedded software systems, however, engage the physical world. Time, concurrency …
Computer automated multi-paradigm modeling: An introduction
PJ Mosterman, H Vangheluwe - Simulation, 2004 - journals.sagepub.com
Modeling and simulation are quickly becoming the primary enablers for complex system
design. They allow the representation of intricate knowledge at various levels of abstraction …
design. They allow the representation of intricate knowledge at various levels of abstraction …
A conservative extension of synchronous data-flow with state machines
JL Colaço, B Pagano, M Pouzet - Proceedings of the 5th ACM …, 2005 - dl.acm.org
This paper presents an extension of a synchronous data-flow language such as Lustre with
imperative features expressed in terms of powerful state machine à la SyncChart. This …
imperative features expressed in terms of powerful state machine à la SyncChart. This …
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 …
Mode-automata: About modes and states for reactive systems
F Maraninchi, Y Rémond - European Symposium On Programming, 1998 - Springer
In the field of reactive system programming, dataflow synchronous languages like Lustre
[BCH+ 85, CHPP87] or Signal [GBBG85] offer a syntax similar to block-diagrams, and can be …
[BCH+ 85, CHPP87] or Signal [GBBG85] offer a syntax similar to block-diagrams, and can be …
A synchronous language at work: the story of Lustre
N Halbwachs - Formal Methods for Industrial Critical Systems …, 2012 - Wiley Online Library
The design of the synchronous language LUSTRE started more than 20 years ago, and
resulted in an industrial software development tool, SCADE, which is now in use in many …
resulted in an industrial software development tool, SCADE, which is now in use in many …
Mixing signals and modes in synchronous data-flow systems
JL Colaço, G Hamon, M Pouzet - Proceedings of the 6th ACM & IEEE …, 2006 - dl.acm.org
Synchronous data-flow languages such as Scade Lustre manage infinite sequences, or
streams, as primitive values making them naturally adapted to the description of dominated …
streams, as primitive values making them naturally adapted to the description of dominated …