Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction
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...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
New York, NY :
Springer US
2010.
Cham : Springer Nature |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Synthesis of Embedded Software, Frameworks and Methodologies for Correctness by Construction, editors, Sandeep K. Shukla, Jean-Pierre Talpins, [S.l.], Springer Verlag, 2010, 1 vol. (IX-266 p.), 978-1-441-96399-4 • Synthesis of Embedded Software, Texte imprimé, 9781441964014 • Synthesis of Embedded Software, Texte imprimé, 9781489987372 |
İçindekiler:
- 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.