Articles liés à Formal Development of a Network-Centric RTOS: Software...
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
