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
Der Akademismus in der deutschen Musik des 19. Jahrhunderts
$59.99
Shareholder Value in mittelstndischen Wachstumsunternehmen
$59.99
Direct-Fed Microbials and Prebiotics for Animals
$219.99
Mein Lebensweg und meine Ttigkeit
$59.99
Quantitative Analysis of Mineral and Energy Resources
$259.00
Objective Medical Decision-Making Systems Approach in Disease
$109.99
Degradation of Lignocellulosics in Ruminants and in Industrial Processes
$169.99
Sports Mega-Events in Asia
$139.99
The analysis of practical skills
$39.99
Principles and Practice of Geriatric Surgery
$169.99
Malnutrition in the Elderly
$84.99
Emerging Research in Electronics, Computer Science and Technology
$219.99
Regenerative-Adaptive Design for Sustainable Development
$109.00
Medical Imaging in Clinical Trials
$159.99
Music Representation and Transformation in Software
$49.99
The Validation of Risk Models
$139.99
Global Norm Compliance
$54.99
Changing Families
$54.99
Singularities in Gravitational Systems
$54.99
Shakespearean Celebrity in the Digital Age
$99.99
Die Entflechtung des amerikanischen Fernmeldemonopols
$69.99
Paediatric Neoplasia
$39.99
Spectral Theory and Quantum Mechanics
$49.99
Emissions Trading
$84.99
Alpin- und Hhenmedizin
$119.99
Erklrungsgren knftiger operativer Cash Flows
$59.99
Prozess-Steuerungen
$54.99
Filtering and Control of Random Processes
$39.99
Modern Analytic Mechanics
$109.99
Bad Guys in Mission Unpluckable (The Bad Guys #2)
$4.49
Heart and Head
$54.99
Markenpolitik des Bankbetriebs
$59.99
Cardio-Oncology
$139.99
Der Weg in die NetEconomy
$34.99
Bioluminescence
$249.99
German Postwar Films
$39.99
Surviving Globalization?
$109.99
Immigration and Integration in Post-Industrial Societies
$29.99
Consumer Innovation at the Base of the Pyramid
$54.99
Frontiers in Algorithmics
$54.99
