DMCA
The synchronous approach to reactive and real-time systems (1991)
Cached
Download Links
| Venue: | Proceedings of the IEEE |
| Citations: | 435 - 15 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}
}
Share
 |
 |
 |
 |
||
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-
Keyphrases
synchronous approach real-time system real-time programming output command introductory paper present math-ematical model physical world logical correctness proof essential industrial activ application field major concern read sensor precise methodology external interrupt real-time program formal way real-time reactive system synchronous programming special issue
