By Topic

The SIGNAL software environment for real-time system specification, design, and implementation

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Benveniste, A. ; INRIA/IRISA, Rennes, France ; Le Guernic, P. ; Jacquemot, C.

Reactive systems, i.e. systems which interact permanently with their environment, are considered. The specification, design, and implementation of such reactive systems require the following tools: a concurrent programming or specification language; a powerful formal tool which is able to verify, prove the correctness of, or even synthesize, the logic and synchronization mechanisms which should control the reactive system being designed; and a powerful tool which is able to transform the hierarchical structure of the specification in order to match a particular target architecture. The SIGNAL software environment and its formal calculus system for performing these tasks are presented. The principles of the SIGNAL synchronous language and its calculus system, which is based on formal manipulation of nuclear dynamical systems over the finite field of modulo 3 integers, is outlined. A prototype workstation where automatic mapping of a SIGNAL program onto a multitransputer target architecture is performed with the aid of a sophisticated graphic environment is presented. The impact of such tools on the future of real-time system specification, design, and implementation is discussed

Published in:

Computer-Aided Control System Design, 1989., IEEE Control Systems Society Workshop on

Date of Conference:

16 Dec 1989