Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Language: English
Published by Springer-Verlag New York Inc., 2011
- Hardcover
- New
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
AbeBooks seller since June 14, 2006
Condition: New
US$ 191.92
Quantity: Over 20 available
Add to basketItem description from seller
This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Seller Inventory # C9781441997357
- Title
- Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
- Author
- Eric Verhulst
- Publisher
- Springer-Verlag New York Inc.
- Publication year
- 2011
- Condition
- New
- Binding
- Hardback
- Language
- English
- ISBN 10
- 1441997350
- ISBN 13
- 9781441997357
- Item weight
- 544 grams
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.
"Synopsis" may belong to another edition of this title.
From the Back Cover
Using the formal methods described in this book produces results that are more reliable and higher performance. This methodology is unique because it covers the full range of product development, from requirements and specifications to the final execution platform. It is compatible with safety related engineering standards, such as IEC61508.
- Uses formal methods to develop Network-centric Real-time Operating Systems
- Unified Semantics provides a solid base for model driven systems development and can be tuned to an application-specific, concurrent programming paradigm
- Methods presented enable model-driven, high-reliability, high-performance software & systems engineering
- Compatible with International Electrotechnical Commission (IEC) 61508, the standard governing functional safety of programmable electronic systems.
"About the title" may belong to another edition of this title.
THE SAINT BOOKSTORE
Southport, United Kingdom
AbeBooks seller since June 14, 2006
Shipping rates from United Kingdom to U.S.A.
| Item | 7 to 28 business days | 7 to 28 business days |
|---|---|---|
| First item | US$ 21.69 | US$ 24.37 |
Payment methods
Store description
The Saint Bookstore has a range of over 1 million titles available.
Specialty
GeneralSeller's business information
SB ONLINE LTD
50 Devonshire Road
Southport, United Kingdom PR9 7BZ
Terms of sale
Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.
Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.
As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk
Shipping terms
Most orders usually ship within 1-3 business days, but some can take up to 7 days.