The synchronous approach to reactive and real-time systems

Authors:
Albert Benveniste;Gérard Berry
Affiliations:
IRISA-INRIA, Campus de Beaulieu, France;Centre de Mathématiques Appliquées, Sophia-Antipolis, France
Venue:
Readings in hardware/software co-design
Year:
2001

Citing 8
Cited 2

Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Static scheduling of synchronous data flow programs for digital signal processing

IEEE Transactions on Computers
Discrete-time signal processing

Discrete-time signal processing
STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
On the development of reactive systems

Logics and models of concurrent systems
A denotational theory of synchronous reactive systems

Information and Computation
Consistency in Dataflow Graphs

IEEE Transactions on Parallel and Distributed Systems
Occam Programming Manual

Occam Programming Manual

Abstraction of Clocks in Synchronous Data-Flow Systems

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
A real-time architecture design language for multi-rate embedded control systems

Proceedings of the 2010 ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

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 mathematical 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.