Formal Development of a Network-Centric RTOS (Record no. 106113)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03508nam a22004815i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-1-4419-9736-4 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140220083730.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 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-1-4419-9736-4 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK7888.4 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TJFC |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC008010 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.3815 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Verhulst, Eric. |
| Relator term | author. |
| 245 10 - TITLE STATEMENT | |
| 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. |
| 264 #1 - | |
| -- | Boston, MA : |
| -- | Springer US : |
| -- | Imprint: Springer, |
| -- | 2011. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XVII, 219p. 54 illus. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer aided design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Systems engineering. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Circuits and Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| 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. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Faria, José Miguel Sampaio. |
| Relator term | author. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sputh, Bernhard H.C. |
| Relator term | author. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| 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 |
| 912 ## - | |
| -- | ZDB-2-ENG |
No items available.