Formal Development of a Network-Centric RTOS

Formal Development of a Network-Centric RTOS
Author :
Publisher : Springer Science & Business Media
Total Pages : 227
Release :
ISBN-10 : 9781441997364
ISBN-13 : 1441997369
Rating : 4/5 (369 Downloads)

Book Synopsis Formal Development of a Network-Centric RTOS by : Eric Verhulst

Download or read book Formal Development of a Network-Centric RTOS written by Eric Verhulst and published by Springer Science & Business Media. This book was released on 2011-08-23 with total page 227 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Formal Development of a Network-Centric RTOS Related Books

Formal Development of a Network-Centric RTOS
Language: en
Pages: 227
Authors: Eric Verhulst
Categories: Technology & Engineering
Type: BOOK - Published: 2011-08-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not dire
FM 2008: Formal Methods
Language: en
Pages: 449
Authors: Jorge Cuellar
Categories: Computers
Type: BOOK - Published: 2008-05-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised f
SDL 2007: Design for Dependable Systems
Language: en
Pages: 300
Authors: Emmanuel Gaudin
Categories: Computers
Type: BOOK - Published: 2007-09-04 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were c
Systems, Decision and Control in Energy III
Language: en
Pages: 382
Authors: Artur Zaporozhets
Categories: Technology & Engineering
Type: BOOK - Published: 2021-11-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book describes new energy saving methods and technologies for heat power engineering. The book is devoted to topical issues of energy and related industrie
Advanced Computer and Communication Engineering Technology
Language: en
Pages: 1063
Authors: Hamzah Asyrani Sulaiman
Categories: Technology & Engineering
Type: BOOK - Published: 2014-11-01 - Publisher: Springer

DOWNLOAD EBOOK

This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applicatio