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

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

Formal Development of a Network-Centric Rtos: Software Engineering for Reliable Embedded Systems
  • 出版商: Springer
  • 出版日期: 2011-08-23
  • 售價: $6,310
  • 貴賓價: 9.5 折 $5,995
  • 語言: 英文
  • 頁數: 219
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 1441997350
  • ISBN-13: 9781441997357
  • 相關分類: 嵌入式系統、軟體工程

    • 海外代購書籍(需單獨結帳)

商品描述

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.




類似商品