Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems - Brossura

Verhulst, Eric; Boute, Raymond T.; Faria, José Miguel Sampaio

Brossura

ISBN 10: 1441997377 ISBN 13: 9781441997371

Casa editrice: Springer, 2011

Riassunto

Part I: Trustworthy Embedded Systems.- Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology.- Requirements and Specifications for the OpenComRTOS Project.- Part II: Formal Modeling Fundamentals.- The Choice of TLA+/TLC: Comparing Formal Methods.- Basic Formal Specification in TLA+.- Part III: OpenComRTOS Design.- Formal Modelling of the RTOS Entities.- Final Architecture of the RTOS.- Task Interaction Models in OpenComRTOS.- Results: Code Size and Performance.- Part IV: Appendix.- OpenComRTOS-Suite 1.3 Usage Tutorial.- Foundations for TLA+ and Temporal Logic.- Comparison of Formal Methods.- List of Figures.- List of Tables.- Glossary.- References.- Index.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2011
• Lingua: Inglese
• ISBN 10: 1441997377
• ISBN 13: 9781441997371
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile