Dr. Wang teaches you the best tutorials about hardware devices, components, memory and input output devices. You will study deeply about architectures, communication protocols, interfacing peripherals or real time operating systems, Embedded Systems. Book includes advanced chapters based on real time tasks and execution with scheduled algorithms using timers and interrupts with the help of other hardware resources. PSIX and Concurrent system programming is discussed extensively. Focusing on Model Checking, where students will experience practicals and theory about temporal logic and NuSMV a popular model checking tool. The later chapter gives detailed explanations about embedded software development, aging, safety, reliability and power management.
1. Book focuses on real time embedded software architecture modeling and design with finite state machines, Petri nets and UML. Using tools like NuSMV.
2. Book features live examples of embedded system state machines with model checking, real time operating system working and design with UML.
3. It covers embedded computer programming and designing to develop reliable and safe applications.
4. Teaches how to use power management systems for efficient use of power resources
5. Discuss with live practicals topics live embedded software reliability, rejuvenation, security, aging and power source management.
Table of contents
1 Introduction to Real-Time Embedded Systems
Real-Time Embedded Systems, Example: Automobile Anti Lock Braking System, Slip Rate and Brake Force, ABS Components, Sensors, Valves and Pumps, Electrical Control Unit, ABS Control ,Real-Time Embedded System Characteristics, System Structure, Real-Time Response, Highly Constrained Environments, Concurrency, Predictability, Safety and Reliability, Hard and Soft Real-Time Embedded Systems
2 Hardware Components
Processors, Microprocessors, Microcontrollers, Application-Specific Integrated Circuits (ASICs), Field-Programmable Gate Arrays (FPGAs), Digital Signal Processors (DSPs), Application-Specific Instruction Set Processors (ASIPs), Multicore Processors, Von Neumann Architecture and Harvard Architecture 21, Complex Instruction Set Computing and Reduced Instruction Set Computing, Memory and Cache, Read-Only Memory (ROM), Random-Access Memory (RAM), Cache Memory, Interfaces, Sensors and Actuators,Timers and Counters.
3 Real-Time Operating Systems
Main Functions of General-Purpose Operating Systems, Process Management, Memory Management, Interrupts Management, Multitasking, File System Management, Management, Characteristics of RTOS Kernels, Clocks and Timers, Priority Scheduling, Inter task Communication and Resource Sharing, Real-Time Signals, Semaphores, Message Passing, Shared Memory, Asynchronous I/O, Memory Locking, RTOS Examples, LynxOS, OSE, QNX, VxWorks, Windows Embedded Compact.
4 Task Scheduling
Tasks, Task Specification, Task States, Precedence Constraints, Task Assignment and Scheduling, Clock-Driven Scheduling, Structured Clock-Driven Scheduling, Frames, Task Slicing, Scheduling Aperiodic Tasks, Scheduling Sporadic Tasks, Round-Robin Approach, Priority-Driven Scheduling Algorithms, Fixed-Priority Algorithms, Schedulability Test Based on Time Demand Analysis, Deadline-Monotonic Algorithm, Dynamic-Priority Algorithms, Earliest-Deadline-First (EDF) Algorithm, Optimality of EDF, Priority-Driven Scheduling of Aperiodic and Sporadic Tasks, Scheduling of Aperiodic Tasks, Scheduling of Sporadic Tasks, Practical Factors, Non Preemptive, Self-Suspension, Context Switches, Schedulability Test, Task Assignment, Bin-Packing Algorithms, First-Fit Algorithm, First-Fit Decreasing Algorithm, Rate-Monotonic First-Fit (RMFF) Algorithm, Assignment with Communication Cost
5 Resource Sharing and Access Control
Resource Sharing, Resource Operation, Resource Requirement Specification, Priority Inversion and Deadlocks, Resource Access Control, Non Preemptive Critical Section Protocol, Priority Inheritance Protocol, Rules of Priority Inheritance Protocol, Properties of Priority Inheritance Protocol, Priority Ceiling Protocol, Rules of Priority Ceiling Protocol, Properties of Priority Ceiling Protocol, Worst-Case Blocking Time, Stack-Sharing Priority Ceiling Protocol, Rules of Stack-Sharing Priority Ceiling Protocol, Properties of Stack-Sharing Priority Ceiling Protocol.
6 Concurrent Programming
Introduction, POSIX Threads, Synchronization Primitives, Race Conditions and Critical Sections, Mutex, Condition Variables, Semaphores, Communication among Tasks, Message Queues, Shared Memory, Shared Memory Protection, Real-Time Facilities, Real-Time Signals, Blocking Signals, Dealing with Signals, Timers, Implement Periodic Tasks, Using sleep() Function, Using Timers, Implement an Application with Multiple Periodic Tasks.
7 Finite-State Machines
Finite State Machine Basics, Deterministic Finite Automaton (DFA), Moore Machines, Mealy Machines, Nondeterministic Finite Automaton, Programming Finite-State Machines.
8 UML State Machines
States, Transitions, Events, Composite States, Hierarchy, Orthogonality, Submachine States, Pseudo states 206, History Pseudostates, Entry and Exit Points, Fork and Join Pseudo states, Terminate Pseudostates, UML State Machine of Antilock Braking System 211
9 Timed Petri Nets
Petri Net Definition, Transition Firing, Modeling Power, Petri Net Properties, Behavioral Properties, Reachability, Markings, Reachability Analysis Algorithm, Boundedness and Safeness, Liveness, Structural Properties, T-Invariants and S-Invariants, Siphons and Traps, Timed Petri Nets, Deterministic Timed Petri Nets, Performance Evaluation Based on DTPNs, Time Petri Nets, States in a Time Petri Net, Enabling and Firing Conditions of Transitions, Firing Rules.
10. Model Checking
Introduction to Model Checking, Temporal Logic, Linear Temporal Logic, Syntax of LTL, Parse Trees for LTL Formulas, Semantics of LTL, Equivalencies of LTL Formulas, System Property Specification, Computation Tree logic, Syntax of CTL, Semantics of CTL, Equivalencies of CTL Formulas, LTL versus CTL, The NuSMV Model Checking Tool, Description Language, Single-Module SMV Program, Multi Module SMV Program, Asynchronous Systems, Specifications, Running NuSMV, Real-Time Computation Tree Logic
11. Practical Issues
Software Reliability, Software Faults, Reliability Measurement, Improving Software Reliability, Fault Avoidance, Fault Removal, Fault Tolerance, Fault Recovery, Software Aging and Rejuvenation, Security, Challenges, Common Vulnerabilities, Secure Software Design, Safety, Power Conservation.