Copied Formal Development of a Network-Centric RTOS
Formal Development of a Network-Centric RTOS
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Sportpsychologie
$44.99
Innovationsmanagement in der Energiewirtschaft
$69.99
New Materials for Thermoelectric Applications: Theory and Experiment
$169.99
The Politics of Change
$109.99
Nyda
$6.99
The Virtual Element Method and its Applications
$109.99
Einfhrung in die Physikalische Chemie
$59.99
Optimal Matching Analyse
$59.99
Nagelerkrankungen in der dermatologischen Praxis
$99.00
Fantasy and Social Movements
$54.99
Metaphor and Discourse
$54.99
Alcohol and Tobacco
$39.99
The EU in International Negotiations
$109.00
Das neue Marketing-Mindset
$44.99
Innovation in Social Services
$59.99
Kierkegaard and Japanese Thought
$84.99
Synthetic Membranes:
$329.99
Socioeconomic Protests in MENA and Latin America
$79.99
Coherent Control in Atoms, Molecules, and Semiconductors
$109.99
Composite Sampling
$84.99
Die alkalische Hydrolyse physikalisch und chemisch modifizierter Polyesterfasern
$59.99
Cozy Corner Theme 3: On the Move! Self-Awareness: Individual Differences
$109.99
Resilienz und emotionale Stabilitt von Managern
$44.99
Distributed Simulation
$139.99
Atlas of Comparative Sectional Anatomy of invertebrates and 5 vertebrates
$169.00
Internal Kinematics and Dynamics of Galaxies
$54.99
Advanced Arthroscopy
$39.99
Amazing Grace
$5.21
Introduction to Convolutional Codes with Applications
$169.99
Mad Technology
$109.99
Globalization, Competitiveness, and Governability
$44.99
Psychosomatic Medicine and Liaison Psychiatry
$39.99
Organizational Development in the UK and USA
$39.99
Entwurf und Analyse von Algorithmen
$29.95
Heavy-Duty-, On- und Off-Highway-Motoren 2022
$149.99
Safe to Fail
$29.99
Breeding strategies for sustainable forage and turf grass improvement
$129.00
Agent-Based Approaches in Economic and Social Complex Systems VII
$169.99
Prolog: The Standard
$119.99
Computational Science - ICCS 2006
$169.99
