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

by Raymond T. Boute, José Miguel Sampaio Faria, Eric Verhulst

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 1441997350
• ISBN13: 9781441997357
• Release Date: August 2011
• Publisher: Springer
• Length: 219 Pages
• Weight: 1.13 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"