Articles liés à Formal Development of a Network-Centric RTOS: Software...
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 98,54
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Formal Development of a Network-Centric RTOS: Software...
Image fournie par le vendeur
Formal Development of a Network-Centric RTOS
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 soft. N° de réf. du vendeur 11466923
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Development of a Network-Centric RTOS
Edité par
Springer US, Springer US Okt 2014, 2014
ISBN 10 : 148999288X
ISBN 13 : 9781489992888
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 240 pp. Englisch. N° de réf. du vendeur 9781489992888
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Development of a Network-Centric RTOS : Software Engineering for Reliable Embedded Systems
Edité par
Springer US, Springer US, 2014
ISBN 10 : 148999288X
ISBN 13 : 9781489992888
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9781489992888
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Development of a Network-Centric RTOS
Edité par
Springer US, Springer US Okt 2014, 2014
ISBN 10 : 148999288X
ISBN 13 : 9781489992888
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. N° de réf. du vendeur 9781489992888
Quantité disponible : 1 disponible(s)
Image d'archives
Verhulst:Formal Development of a Networ (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 47e25a050a1f95114bc0a33f33fe7b9d
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Development of a Network-Centric RTOS: Software.
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 240. N° de réf. du vendeur 26356423217
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Development of a Network-Centric RTOS: Software.
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 240 This item is printed on demand. N° de réf. du vendeur 357116398
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Development of a Network-Centric RTOS: Software.
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 240. N° de réf. du vendeur 18356423227
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Development of a Network-Centric Rtos: Software Engineering for Reliable Embedded Systems
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 236 pages. 9.25x6.10x0.55 inches. In Stock. N° de réf. du vendeur 148999288X
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Edité par
Springer, 2014
ISBN 10 : 148999288X
ISBN 13 : 9781489992888
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA800148999288X6
Quantité disponible : 1 disponible(s)