Name: Formal Development of a Network-Centric Rtos: Software Engineering for Reliable Embedded Systems
SKU: 57757728
Price: 3600.00 TWD
Availability: InStock
Author: Verhulst, Eric ; Boute, Raymond T. ; Faria, José Miguel Sampaio
ISBN: 9781489992888

portada 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

Type

Physical Book

Author

Eric Verhulst

Raymond T. Boute

José Miguel Sampaio Faria

Publisher

Springer

Language

English

Pages

219

Format

Paperback

Dimensions

23.4x15.6x1.3 cm

Weight

0.34 kg.

ISBN13

9781489992888

Edition No.

2011th

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

Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded". For coordinating the various software components and allowing them to communicate with each other, support software is needed, called an operating system (OS). Because embedded software must function in real time (RT), a RTOS is needed. 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. Using the formal methods described in this book produces results that are more reliable while delivering higher performance. The result is a unique real-time concurrent programming system that supports heterogeneous systems with just 5 Kbytes/node. It is compatible with safety related engineering standards, such as IEC61508.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Formal Development of a Network-Centric Rtos: Software Engineering for Reliable Embedded Systems - Verhulst, Eric ; Boute, Raymond T. ; Faria, José Miguel Sampaio

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

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery