£131.50

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

Price data checked 1 day ago

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£132 today · previous high £132 · all-time low £110

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 90 days • 90 data points

Historical
Generating forecast...
£131.50 £107.84 £113.00 £118.16 £123.33 £128.49 £133.65 08 March 2026 30 March 2026 21 April 2026 13 May 2026 05 June 2026

Price Distribution

Price distribution over 90 days • 2 price levels

Days at Price
Current Price
81 days 9 days · current 0 20 41 61 81 £110 £132 Days at Price

Price Analysis

Most common price: £110 (81 days, 90.0%)

Price range: £110 - £132

Price levels: 2 different prices over 90 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
hardcover
Domain
Amazon UK
Release Date
23 August 2011
Listed Since
14 February 2011

Barcode

No barcode data available

Similar Products You Might Like

Embedded and Real-Time Operating Systems
86% match

Embedded and Real-Time Operating Systems

Springer

£66.52 24 May 2026
Embedded and Real-Time Operating Systems
85% match

Embedded and Real-Time Operating Systems

Springer

£89.12 20 May 2026
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
84% match

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Springer

£76.38 19 May 2026
Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)
83% match

Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)

Springer

£76.38 05 Jun 2026
Self-Organization in Embedded Real-Time Systems
83% match

Self-Organization in Embedded Real-Time Systems

Springer

£74.80 01 Jun 2026
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
83% match

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

Springer

£107.98 05 Jun 2026
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)
82% match

Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)

Springer

£80.64 24 May 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
82% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.10 17 May 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
82% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.38 26 May 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
82% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£76.38 20 May 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
82% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£95.43 19 May 2026
Distributed, Embedded and Real-time Java Systems
82% match

Distributed, Embedded and Real-time Java Systems

Springer

£80.64 03 Jun 2026
Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)
82% match

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)

Springer

£107.78 05 Jun 2026
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
82% match

Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Springer

£73.16 23 May 2026
Hardware-Software Co-Synthesis of Distributed Embedded Systems
81% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£73.75 20 May 2026
Embedded Control System Design: A Model Based Approach
81% match

Embedded Control System Design: A Model Based Approach

Springer

£100.08 04 Jun 2026
Embedded Control System Design: A Model Based Approach
81% match

Embedded Control System Design: A Model Based Approach

Springer

£100.08 26 May 2026
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
81% match

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Springer

£80.64 31 May 2026
Hardware-Software Co-Synthesis of Distributed Embedded Systems
81% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£85.72 03 Jun 2026
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems (Embedded Systems)
80% match

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems (Embedded Systems)

Springer

£107.98 21 May 2026
Energy-Efficient Fault-Tolerant Systems (Embedded Systems)
80% match

Energy-Efficient Fault-Tolerant Systems (Embedded Systems)

Springer

£107.98 26 May 2026
Hybrid Fault Tolerance Techniques to Detect Transient Faults in Embedded Processors
80% match

Hybrid Fault Tolerance Techniques to Detect Transient Faults in Embedded Processors

Springer

£74.27 31 May 2026
The Testability of Distributed Real-Time Systems: 245 (The Springer International Series in Engineering and Computer Science, 245)
80% match

The Testability of Distributed Real-Time Systems: 245 (The Springer International Series in Engineering and Computer Science, 245)

Springer

£77.37 04 Jun 2026
Formal Methods for Embedded Distributed Systems: How to master the complexity
80% match

Formal Methods for Embedded Distributed Systems: How to master the complexity

Springer

£74.72 04 Jun 2026