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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Shukla, Sandeep K. (Επιμελητής έκδοσης), Talpin, Jean-Pierre (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US : Imprint: Springer, 2010.
• Θέματα: Engineering.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.

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

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

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