Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

Show other versions (1)

This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive systems, avionics, nuclear power plants and telecommunication systems. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such...

Full description

Bibliographic Details
Main Author: Gamatie, Abdoulaye (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: New York, NY : Springer New York, 2010.
Subjects:
Engineering.
Computer-aided engineering.
Electronic circuits.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Real-time and synchronous programming
  • Generalities on Real-Time Programming
  • Synchronous Programming: Overview
  • Elementary concepts and notations of SIGNAL
  • Basics: Signals and Relations
  • Programming Units: Processes
  • Extended Constructs
  • Design in P: First Steps
  • Formal properties of SIGNAL programs
  • Formal Semantics
  • Formal Model for Program Analysis
  • Compilation of Programs
  • Advanced design in SIGNAL
  • Advanced Design Concepts
  • GALS System Design
  • Design Patterns
  • A Synchronization Example Design with P.

Similar Items