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

By Abdoulaye Gamatie

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.

• Format: Hardcover
• Language: English
• ISBN: 1441909400
• ISBN13: 9781441909404
• Release Date: October 2009
• Publisher: Springer
• Length: 259 Pages
• Weight: 1.27 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"