DocumentCode
1555416
Title
The synchronous approach to reactive and real-time systems
Author
Benveniste, Albert ; Berry, Gérard
Author_Institution
IRISA-INRIA, Campus de Beaulieu, France
Volume
79
Issue
9
fYear
1991
fDate
9/1/1991 12:00:00 AM
Firstpage
1270
Lastpage
1282
Abstract
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 systems is discussed. The authors present and discuss the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness proofs, and verification of real-time programs in a formal way, leading to a clean and precise methodology for design and programming
Keywords
parallel programming; program verification; real-time systems; logical correctness proofs; mathematical models; real-time programming; real-time systems; synchronous approach; synchronous programming; verification; Application software; Computer languages; Design methodology; Hardware; Logic programming; Real time systems; Safety; Sensor systems; Timing; Vocabulary;
fLanguage
English
Journal_Title
Proceedings of the IEEE
Publisher
ieee
ISSN
0018-9219
Type
jour
DOI
10.1109/5.97297
Filename
97297
Link To Document