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

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

Paperback(2011)

$119.99
View All Available Formats & Editions
Choose Expedited Shipping at checkout for guaranteed delivery by Monday, November 26

Product Details

ISBN-13: 9781489992888
Publisher: Springer US
Publication date: 10/01/2014
Edition description: 2011
Pages: 219
Product dimensions: 6.10(w) x 9.25(h) x (d)

Table of Contents

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


Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews