Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Shukla, Sandeep K. (Editor), Talpin, Jean-Pierre. (Editor)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US : Imprint: Springer, 2010.
• Subjects: Engineering.; Computer aided design.; Systems engineering.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4419-6400-7

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive con...

Table of Contents:

• Compilation of polychronous data flow equations
• Formal Modeling of Embedded Systems with Explicit Schedules and Routes
• Synoptic : a domain-specific modeling language for space on-board application software
• Compiling SHIM
• A Module Language for Typing SIGNAL programs by Contracts
• MRICDF : A polychronous model for embedded software synthesis
• The Time Model of Logical Clocks available in the OMG MARTE profile
• From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations.