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

£79.99

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
Price: 79.99 GBP
Availability: InStock

Software Engineering

It has never been this cheap. We have no record of a lower price.

£80 today · cheaper than every other day in the last 18 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 390 days • 390 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 390 days • 1 price levels

Days at Price

Price Analysis

Most common price: £80 (390 days, 100.0%)

Price range: £80 - £80

Price levels: 1 different prices over 390 days

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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Real-Time Concepts for Embedded Systems

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

Real-Time Embedded Systems with Open-Source Operating Systems

MicroC/OS-II: The Real Time Kernel

Real-Time Embedded Systems: Design Principles and Engineering Practices

Embedded RTOS Design: Insights and Implementation

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

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

Pearl 96: Workshop über Realzeitsysteme (Informatik aktuell)

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 Software Design for Embedded Systems

Real-Time Systems Design and Analysis: Tools for the Practitioner

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

Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems Development

Mastering Embedded Linux Programming: Unleash the full potential of Embedded Linux

Operating Systems: Internals and Design Principles, Global Edition

Hardware/Software Co-Design and Co-Verification: 8 (Current Issues in Electronic Modeling, 8)

Advancing Embedded Systems and Real-Time Communications with Emerging Technologies (Advances in Systems Analysis, Software Engineering, and High Performance Computing (Asasehpc) Book Series)

Real-time Embedded Components and Systems (Da Vinci Engineering)

Operating Systems: Incorporating UNIX and Windows

Operating Systems: Principles and Practice