Login

Verhulst, Eric

Formal Development of a Network-Centric RTOS

Verhulst, Eric - Formal Development of a Network-Centric RTOS, ebook

132,70€

Ebook, PDF with Adobe DRM
ISBN: 9781441997364
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

2. Requirements and Specifications for the OpenComRTOS Project
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

3. The Choice of TLA+/TLC: Comparing Formal Methods
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

4. Basic Formal Specification in TLA+

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

5. Formal Modelling of the RTOS Entities
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

6. Final Architecture of the RTOS
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

7. Task Interaction Models in OpenComRTOS
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

8. Results: Code Size and Performance
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

9. OpenComRTOS-Suite 1.3 Usage Tutorial
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

10. Foundations for TLA+ and Temporal Logic
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

11. Comparision of Formal Methods
Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

Keywords: Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design

Author(s)
 
 
 
 
Publisher
Springer
Publication year
2011
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781441997364

Similar titles