The synchronous approach to reactive and real-time systems (1991)
| Venue: | Proceedings of the IEEE |
| Citations: | 343 - 10 self |
BibTeX
@INPROCEEDINGS{Benveniste91thesynchronous,
author = {Albert Benveniste and Gerard Berry},
title = {The synchronous approach to reactive and real-time systems},
booktitle = {Proceedings of the IEEE},
year = {1991},
pages = {1270--1282}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on math-ematical models. This makes it possible to handle compilation, logical correctness proofs, and verifications of real-time programs in a formal way, leading to a clean and precise methodology for design and programming. 1. INTRODUCTION: REAL-TIME AND REACTIVE SYSTEMS It is commonly accepted to call real-time a program or system that receives external interrupts or reads sensors connected to the physical world and outputs commands to it. Real-time programming is an essential industrial activ-
