Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems - Image 1

Price loading...

Springer Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Name: Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Brand: Springer

Software Engineering

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 148999288X
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Software Engineering
Domain: Amazon UK
Publication Date: 01 October 2014
Listed Since: 02 October 2014

Barcode

No barcode data available

Springer Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Embedded Software Development: The Open-Source Approach (Embedded Systems)

Real-Time Embedded Systems with Open-Source Operating Systems

Real-Time Concepts for Embedded Systems

Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)

Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)

Real-Time Embedded Systems: Open-Source Operating Systems Perspective

Hands-On RTOS with Microcontrollers: Building real-time embedded systems using FreeRTOS, STM32 MCUs, and SEGGER debug tools

Real-Time Embedded Systems: Optimization, Synthesis, and Networking

Real-Time Embedded Systems: Design Principles and Engineering Practices

The Design and Implementation of the RT-Thread Operating System

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive

Real-Time Systems: Design Principles for Distributed Embedded Applications

Runtime Reconfiguration in Networked Embedded Systems: Design and Testing Practices (Internet of Things)

Embedded and Networking Systems: Design, Software, and Implementation (Devices, Circuits, and Systems)

Real-Time Systems: Design Principles for Distributed Embedded Applications: 25 (Real-Time Systems Series, 25)

Multi-Core Embedded Systems: 1 (Embedded Multi-Core Systems)

Embedded RTOS Design: Insights and Implementation

Operating Systems: Evolutionary Concepts and Modern Design Principles

Embedded and Networking Systems: Design, Software, and Implementation: 18 (Devices, Circuits, and Systems)

Real-Time Software Design for Embedded Systems

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems

Embedded Software Development for Safety-Critical Systems

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems