Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
5.3.2 Properties of Priority Inheritance Protocol -- 5.4 Priority Ceiling Protocol -- 5.4.1 Rules of Priority Ceiling Protocol -- 5.4.2 Properties of Priority Ceiling Protocol -- 5.4.3 Worst-Case Blocking Time -- 5.5 Stack-Sharing Priority Ceiling Protocol -- 5.5.1 Rules of Stack-Sharing Priority Ceiling Protocol -- 5.5.2 Properties of Stack-Sharing Priority Ceiling Protocol -- Suggestion for Reading -- References -- Chapter 6 Concurrent Programming -- 6.1 Introduction -- 6.2 POSIX Threads -- 6.3 Synchronization Primitives -- 6.3.1 Race Conditions and Critical Sections -- 6.3.2 Mutex -- 6.3.3 Condition Variables -- 6.3.4 Semaphores -- 6.4 Communication among Tasks -- 6.4.1 Message Queues -- 6.4.2 Shared Memory -- 6.4.3 Shared Memory Protection -- 6.5 Real-Time Facilities -- 6.5.1 Real-Time Signals -- 6.5.1.1 Blocking Signals -- 6.5.1.2 Dealing with Signals -- 6.5.2 Timers -- 6.5.3 Implement Periodic Tasks -- 6.5.3.1 Using sleep() Function -- 6.5.3.2 Using Timers -- 6.5.4 Implement an Application with Multiple Periodic Tasks -- Suggestions for Reading -- References -- Chapter 7 Finite-State Machines -- 7.1 Finite State Machine Basics -- 7.2 Deterministic Finite Automation (DFA) -- 7.2.1 Moore Machines -- 7.2.2 Mealy Machines -- 7.3 Nondeterministic Finite Automation -- 7.4 Programming Finite-State Machines -- Suggestions for Reading -- References -- Chapter 8 UML State Machines -- 8.1 States -- 8.2 Transitions -- 8.3 Events -- 8.4 Composite States -- 8.4.1 Hierarchy -- 8.4.2 Orthogonality -- 8.4.3 Submachine States -- 8.5 Pseudostates -- 8.5.1 History Pseudostates -- 8.5.2 Entry and Exit Points -- 8.5.3 Fork and Join Pseudostates -- 8.5.4 Terminate Pseudostates -- 8.6 UML State Machine of Antilock Braking System -- Suggestions for Reading -- References -- Chapter 9 Timed Petri Nets -- 9.1 Petri Net Definition -- 9.1.1 Transition Firing.
9.1.2 Modeling Power -- 9.2 Petri Net Properties -- 9.2.1 Behavioral Properties -- 9.2.1.1 Reachability -- 9.2.1.2 ω Markings -- 9.2.1.3 Reachability Analysis Algorithm -- 9.2.1.4 Boundedness and Safeness -- 9.2.1.5 Liveness -- 9.2.2 Structural Properties -- 9.2.2.1 T-Invariants and S-Invariants -- 9.2.2.2 Siphons and Traps -- 9.3 Timed Petri Nets -- 9.3.1 Deterministic Timed Petri Nets -- 9.3.1.1 Performance Evaluation Based on DTPNs -- 9.3.2 Time Petri Nets -- 9.3.2.1 States in a Time Petri Net -- 9.3.2.2 Enabling and Firing Conditions of Transitions -- 9.3.2.3 Firing Rules -- Suggestions for Reading -- References -- Chapter 10 Model Checking -- 10.1 Introduction to Model Checking -- 10.2 Temporal Logic -- 10.2.1 Linear Temporal Logic -- 10.2.1.1 Syntax of LTL -- 10.2.1.2 Parse Trees for LTL Formulas -- 10.2.1.3 Semantics of LTL -- 10.2.1.4 Equivalencies of LTL Formulas -- 10.2.1.5 System Property Specification -- 10.2.2 Computation Tree logic -- 10.2.2.1 Syntax of CTL -- 10.2.2.2 Semantics of CTL -- 10.2.2.3 Equivalencies of CTL Formulas -- 10.2.3 LTL versus CTL -- 10.3 The NuSMV Model Checking Tool -- 10.3.1 Description Language -- 10.3.1.1 Single-Module SMV Program -- 10.3.1.2 Multimodule SMV Program -- 10.3.1.3 Asynchronous Systems -- 10.3.2 Specifications -- 10.3.3 Running NuSMV -- 10.4 Real-Time Computation Tree Logic -- Suggestions for Reading -- References -- Chapter 11 Practical Issues -- 11.1 Software Reliability -- 11.1.1 Software Faults -- 11.1.2 Reliability Measurement -- 11.1.3 Improving Software Reliability -- 11.1.3.1 Fault Avoidance -- 11.1.3.2 Fault Removal -- 11.1.3.3 Fault Tolerance -- 11.1.3.4 Fault Recovery -- 11.2 Software Aging and Rejuvenation -- 11.3 Security -- 11.3.1 Challenges -- 11.3.2 Common Vulnerabilities -- 11.3.3 Secure Software Design -- 11.4 Safety -- 11.5 Power Conservation -- Suggestions for Reading.
References -- Index -- EULA.
"Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification; Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMV Features real-world examples in finite state machines, model checking, real-time system design with UML, and more Covers embedded computer programing, designing for reliability, and designing for safety Explains how to make engineering trade-offs of power use and performance Investigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses"--
"This book offers comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification"--