| 000 -LEADER |
|---|
| fixed length control field |
03393nam a22004455i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310143333.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110812s2011 xxu| s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781441997364 |
|
978-1-4419-9736-4 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
621.3815 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
Boston, MA : |
| -- |
Springer US : |
| -- |
Imprint: Springer, |
| -- |
2011. |
| 912 ## - |
|---|
| -- |
ZDB-2-ENG |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Verhulst, Eric. |
| Relator term |
author. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Formal Development of a Network-Centric RTOS |
| Medium |
[electronic resource] : |
| Remainder of title |
Software Engineering for Reliable Embedded Systems / |
| Statement of responsibility, etc |
by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XVII, 219p. 54 illus. |
| Other physical details |
online resource. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Part I: Trustworthy Embedded Systems -- Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology -- Requirements and Specifications for the OpenComRTOS Project -- Part II: Formal Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification in TLA+ -- Part III: OpenComRTOS Design -- Formal Modelling of the RTOS Entities -- Final Architecture of the RTOS -- Task Interaction Models in OpenComRTOS -- Results: Code Size and Performance -- Part IV: Appendix -- OpenComRTOS-Suite 1.3 Usage Tutorial -- Foundations for TLA+ and Temporal Logic -- Comparison of Formal Methods -- List of Figures -- List of Tables -- Glossary -- References -- Index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Engineering. |
|
|---|
| Topical term or geographic name as entry element |
Computer aided design. |
|
|---|
| Topical term or geographic name as entry element |
Systems engineering. |
|
|---|
| Topical term or geographic name as entry element |
Engineering. |
|
|---|
| Topical term or geographic name as entry element |
Circuits and Systems. |
|
|---|
| Topical term or geographic name as entry element |
Computer-Aided Engineering (CAD, CAE) and Design. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Boute, Raymond T. |
| Relator term |
author. |
|
|---|
| Personal name |
Faria, José Miguel Sampaio. |
| Relator term |
author. |
|
|---|
| Personal name |
Sputh, Bernhard H.C. |
| Relator term |
author. |
|
|---|
| Personal name |
Mezhuyev, Vitaliy. |
| Relator term |
author. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9781441997357 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-1-4419-9736-4 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
