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

• Κύριος συγγραφέας: Gamatie, Abdoulaye (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York, 2010.
• Θέματα: Engineering.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.

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

Πίνακας περιεχομένων:

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