๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Formal development of a network-centric RTOS: software engineering for reliable embedded systems

โœ Scribed by Eric Verhulst, Raymond T. Boute, Josรฉ Miguel Sampaio Faria, Bernhard H.C. Sputh;Vitaliy Mezhuyev

Publisher
Springer US
Year
2011
Tongue
English
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis

Part 1. Trustworthy embedded systems -- Part 2. Formal modeling fundamentals -- Part 3. OpenComRTOS design -- Part 4. Appendix.

โœฆ Table of Contents

Part 1. Trustworthy embedded systems --
Part 2. Formal modeling fundamentals --
Part 3. OpenComRTOS design --
Part 4. Appendix.

โœฆ Subjects

Operating systems (Computers);Real-time data processing;Embedded computer systems;Formal methods (Computer science)

๐Ÿ“œ SIMILAR VOLUMES

Formal Development of a Network-Centric
๐Ÿ“ Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
โœ Eric Verhulst, Raymond T. Boute, Josรฉ Miguel Sampaio Faria, Bernhard H.C. Sputh, ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Springer US ๐ŸŒ English

<p>This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering.<br>Using the formal methods described i

Formal Development of a Network-Centric
๐Ÿ“ Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
โœ Eric Verhulst, Raymond T. Boute, Josรฉ Miguel Sampaio Faria, Bernhard H.C. Sputh, ๐Ÿ“‚ Library ๐Ÿ“… 2011 ๐Ÿ› Springer US ๐ŸŒ English

<p>This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering.<br>Using the formal methods described i

Embedded Software Development for Safety
๐Ÿ“ Embedded Software Development for Safety-Critical Systems
โœ Chris Hobbs ๐Ÿ“‚ Library ๐Ÿ“… 2020 ๐Ÿ› CRC Press ๐ŸŒ English

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. I