- 5 Results
Lowest price: € 85.59, highest price: € 106.99, average price: € 98.47
1
Formal Development of a Network-Centric RTOS - Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev
Order
at Springer.com
€ 85.59
Order
Details & Shipping
Sponsored link
Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev:

Formal Development of a Network-Centric RTOS - new book

ISBN: 9781441997364

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 an… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
2
Formal Development of a Network-Centric RTOS - Eric Verhulst/ Raymond T. Boute/ José Miguel Sampaio Faria/ Bernhard H. C. Sputh/ Vitaliy Mezhuyev
Order
at Hugendubel.de
€ 106.99
Shipment: € 0.001
Order
Provider details
Sponsored link

Eric Verhulst/ Raymond T. Boute/ José Miguel Sampaio Faria/ Bernhard H. C. Sputh/ Vitaliy Mezhuyev:

Formal Development of a Network-Centric RTOS - new book

ISBN: 9781441997364

Formal Development of a Network-Centric RTOS ab 106.99 € als pdf eBook: Software Engineering for Reliable Embedded Systems. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik, Medien… More...

Nr. 16830134. Shipping costs:, , DE. (EUR 0.00)
close (x)
3
Formal Development of a Network-Centric RTOS - Eric Verhulst/ Raymond T. Boute/ José Miguel Sampaio Faria/ Bernhard H. C. Sputh/ Vitaliy Mezhuyev
Order
at eBook.de
€ 96.49
Order
Details & Shipping
Sponsored link
Eric Verhulst/ Raymond T. Boute/ José Miguel Sampaio Faria/ Bernhard H. C. Sputh/ Vitaliy Mezhuyev:
Formal Development of a Network-Centric RTOS - new book

ISBN: 9781441997364

Formal Development of a Network-Centric RTOS - Software Engineering for Reliable Embedded Systems: ab 96.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH eBo… More...

Shipping costs:in stock, , , plus verzendkosten., plus shipping costs
close (x)
4
Formal Development of a Network-Centric RTOS - Raymond T. Boute; Jose Miguel Sampaio Faria; Vitaliy Mezhuyev; Bernhard H.C. Sputh; Eric Verhulst
Order
at lehmanns.de
€ 96.29
Shipment: € 9.951
Order
Provider details
Sponsored link
Raymond T. Boute; Jose Miguel Sampaio Faria; Vitaliy Mezhuyev; Bernhard H.C. Sputh; Eric Verhulst:
Formal Development of a Network-Centric RTOS - new book

2011, ISBN: 9781441997364

Software Engineering for Reliable Embedded Systems, eBooks, eBook Download (PDF), 2011, [PU: Springer US], Springer US, 2011

Shipping costs:Download sofort lieferbar. (EUR 9.95)
close (x)
5
Formal Development of a Network-Centric RTOS - Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev
Order
at lehmanns.de
€ 106.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev:
Formal Development of a Network-Centric RTOS - new book

2011, ISBN: 9781441997364

Software Engineering for Reliable Embedded Systems, eBooks, eBook Download (PDF), 2011, [PU: Springer US], Springer US, 2011

Shipping costs:Download sofort lieferbar. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Formal Development of a Network-Centric RTOS
Author:
Title:
ISBN:

9781441997364

Details of the book - Formal Development of a Network-Centric RTOS


EAN (ISBN-13): 9781441997364
ISBN (ISBN-10): 1441997369
Publishing year: 2011
Publisher: Springer US
219 Pages
Language: eng/Englisch

Book in our database since 2012-07-26T08:26:35+01:00 (London)
Detail page last modified on 2023-05-25T22:28:33+01:00 (London)
ISBN/EAN: 9781441997364

ISBN - alternate spelling:
1-4419-9736-9, 978-1-4419-9736-4
Alternate spelling and related search-keywords:
Book author: verhulst jos, raymond bernhard, vital, vitali, schapira
Book title: embedded systems, development software, software engineering, network centric

Information from Publisher

Author: Eric Verhulst; Raymond T. Boute; José Miguel Sampaio Faria; Bernhard H.C. Sputh; Vitaliy Mezhuyev
Title: Formal Development of a Network-Centric RTOS - Software Engineering for Reliable Embedded Systems
Publisher: Springer; Springer US
219 Pages
Publishing year: 2011-08-23
New York; NY; US
Language: English
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XVII, 219 p.

EA; E107; eBook; Nonbooks, PBS / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Architectural Semantics; Concurrent Programming; Embedded Systems; Formal Methods; Industrial Formal Methods; Model Driven Engineering; RTOS; Real-time embedded systems; Real-time operating systems; Software Engineering; Unified Semantics; B; Electronic Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Engineering; Computer-Aided Design (CAD); BB

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.


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.
< to archive...