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 synchronous approach to reactive and real-time systems
A Benveniste, G Berry - Proceedings of the IEEE, 1991 - ieeexplore.ieee.org
The state of the art in real-time programming is briefly reviewed. The synchronous approach
is then introduced informally and its possible impact on the design of real-time and reactive …
is then introduced informally and its possible impact on the design of real-time and reactive …
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 …
The temporal logic of reactive and concurrent systems
A Pnueli, Z Manna - Springer, 1992 - Springer
This book is about reactive programs, the systems they control, and a methodology for the
formal specification, verification, and development of such programs, using the tool of …
formal specification, verification, and development of such programs, using the tool of …
The SL synchronous language
F Boussinot, R De Simone - IEEE Transactions on Software …, 1996 - ieeexplore.ieee.org
We present SL, a new programming language of the synchronous reactive family in which
hypotheses about signal presence/absence are disallowed. One can decide that a signal is …
hypotheses about signal presence/absence are disallowed. One can decide that a signal is …
The synchronous approach to designing reactive systems
A Poigné, M Morley, O Maffeïs, L Holenderski… - Formal Methods in …, 1998 - Springer
Synchronous programming is available through several formally defined languages having
very different characteristics: Esterel is imperative, while Lustre and Signal are declarative in …
very different characteristics: Esterel is imperative, while Lustre and Signal are declarative in …
Validation of synchronous reactive systems: from formal verification to automatic testing
N Halbwachs, P Raymond - Advances in Computing Science—ASIAN'99 …, 1999 - Springer
This paper surveys the techniques and tools developped for the validation of reactive
systems described in the synchronous data-flow language L ustre [HCRP91]. These …
systems described in the synchronous data-flow language L ustre [HCRP91]. These …
[图书][B] Verification of sequential and concurrent programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and
compositional methods for the formal veri?-T cation of programs. The approach is not …
compositional methods for the formal veri?-T cation of programs. The approach is not …
A denotational theory of synchronous reactive systems
A Benveniste, P Le Guernic, Y Sorel… - Information and …, 1992 - Elsevier
In this paper, systems which interact permanently with their environments are considered.
Such systems are encountered, for instance, in real-time control or signal processing …
Such systems are encountered, for instance, in real-time control or signal processing …
Verification and specification of concurrent programs
L Lamport - A Decade of Concurrency Reflections and …, 1994 - Springer
Verification and specification of concurrent programs Page 1 Verification and Specification of
Concurrent Programs Leslie Lamport Digital Equipment Corporation Systems Research Center …
Concurrent Programs Leslie Lamport Digital Equipment Corporation Systems Research Center …