£79.99

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

Price data last checked 24 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

£80 today · cheaper than every other day in the last 3 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 67 days · 67 data points (no recent data)

Historical
Generating forecast…
£96.50 £78.34 £82.30 £86.26 £90.23 £94.19 £98.15 10 June 2026 26 June 2026 13 July 2026 29 July 2026 15 August 2026

Price Distribution

Price distribution over 67 days • 2 price levels

Days at Price
Current Price
44 days · current 23 days 0 11 22 33 44 £80 £97 Days at Price

Price Analysis

Most common price: £80 (44 days, 65.7%)

Price range: £80 - £97

Price levels: 2 different prices over 67 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

Format
paperback
Domain
Amazon UK
Release Date
01 October 2014
Listed Since
02 October 2014

Barcode

No barcode data available

Similar Products You Might Like

Real-Time Embedded Systems: Open-Source Operating Systems Perspective
96% match

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

CRC Press

£79.30 03 Jul 2026
Real-Time Embedded Systems: Open-Source Operating Systems Perspective: 3
96% match

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

CRC Press

£193.57 05 Aug 2026
Real-Time Concepts for Embedded Systems
95% match

Real-Time Concepts for Embedded Systems

CRC Press

£58.50 15 Aug 2026
Embedded Software Development: The Open-Source Approach (Embedded Systems)
95% match

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

CRC Press

£57.99 20 Aug 2026
Real-Time Embedded Systems with Open-Source Operating Systems
95% match

Real-Time Embedded Systems with Open-Source Operating Systems

CRC Press

£49.66 01 Jul 2026
MicroC/OS-II: The Real Time Kernel
95% match

MicroC/OS-II: The Real Time Kernel

CRC Press

£78.70 11 Jul 2026
Real-Time Embedded Systems: Design Principles and Engineering Practices
95% match

Real-Time Embedded Systems: Design Principles and Engineering Practices

Newnes

£56.92 02 Jul 2026
Embedded RTOS Design: Insights and Implementation
95% match

Embedded RTOS Design: Insights and Implementation

Newnes

£49.57 03 Jul 2026
Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)
95% match

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

CRC Press

£166.00 06 Jul 2026
Real-Time Systems Development with RTEMS and Multicore Processors (Embedded Systems)
95% match

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

CRC Press

£68.50 03 Sep 2026
Pearl 96: Workshop über Realzeitsysteme (Informatik aktuell)
95% match

Pearl 96: Workshop über Realzeitsysteme (Informatik aktuell)

Springer

£46.70 08 Jul 2026
Hands-On RTOS with Microcontrollers: Building real-time embedded systems using FreeRTOS, STM32 MCUs, and SEGGER debug tools
94% match

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

Packt Publishing

£44.99 01 Sep 2026
Real-Time Embedded Systems by CRC Press - Technical Textbook
94% match

Real-Time Embedded Systems by CRC Press - Technical Textbook

CRC Press

£140.53 17 Jul 2026
Real-Time Embedded Systems: Optimization, Synthesis, and Networking
94% match

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

CRC Press

£61.44 02 Jul 2026
Real-Time Software Design for Embedded Systems
94% match

Real-Time Software Design for Embedded Systems

Cambridge University Press

£72.91 12 Aug 2026
Real-Time Systems Design and Analysis: Tools for the Practitioner
94% match

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

Wiley

£105.26 11 Aug 2026
Embedded Linux Development Using Yocto Project Cookbook: Practical recipes to help you leverage the power of Yocto to build exciting Linux-based systems
94% match

Embedded Linux Development Using Yocto Project Cookbook: Practical recipes to help you leverage the power of Yocto to build exciting Linux-based systems

Packt Publishing

£47.99 25 Jul 2026
Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API
94% match

Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API

Apress

£35.30 29 Aug 2026
Real-Time Systems: Design Principles for Distributed Embedded Applications: 25 (Real-Time Systems Series, 25)
94% match

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

Springer

£40.65 08 Jul 2026
Large Scale Computations, Embedded Systems and Computer Security
94% match

Large Scale Computations, Embedded Systems and Computer Security

£24.37 23 Jul 2026
Real-Time Systems: Design Principles for Distributed Embedded Applications
94% match

Real-Time Systems: Design Principles for Distributed Embedded Applications

Springer

£43.02 02 Sep 2026
Real-Time Systems Development
94% match

Real-Time Systems Development

Butterworth-Heinemann

£43.85 03 Jul 2026
Mastering Embedded Linux Programming: Unleash the full potential of Embedded Linux
94% match

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

Packt Publishing

£47.86 14 Aug 2026
Operating Systems: Internals and Design Principles, Global Edition
94% match

Operating Systems: Internals and Design Principles, Global Edition

PEARSON EDUCATION

£70.09 11 Aug 2026