Download Embedded Systems - Lee and Seshia, Introduction to Embedded PDF

TitleEmbedded Systems - Lee and Seshia, Introduction to Embedded
TagsEmbedded Systems Embedded System
LanguageEnglish
File Size22.6 MB
Total Pages-
Table of Contents
                            Preface
Introduction
	Applications
	Motivating Example
	The Design Process
	Summary
I Modeling Dynamic Behaviors
	Continuous Dynamics
		Newtonian Mechanics
		Actor Models
		Properties of Systems
		Feedback Control
		Summary
		Exercises
	Discrete Dynamics
		Discrete Systems
		The Notion of State
		Finite-State Machines
		Extended State Machines
		Nondeterminism
		Behaviors and Traces
		Summary
		Exercises
	Hybrid Systems
		Modal Models
		Classes of Hybrid Systems
		Summary
		Exercises
	Composition of State Machines
		Concurrent Composition
		Hierarchical State Machines
		Summary
		Exercises
	Concurrent Models of Computation
		Structure of Models
		Synchronous-Reactive Models
		Dataflow Models of Computation
		Timed Models of Computation
		Summary
		Exercises
II Design of Embedded Systems
	Embedded Processors
		Types of Processors
		Parallelism
		Summary
		Exercises
	Memory Architectures
		Memory Technologies
		Memory Hierarchy
		Memory Models
		Summary
		Exercises
	Input and Output
		I/O Hardware
		Sequential Software in a Concurrent World
		The Analog/Digital Interface
		Summary
		Exercises
	Multitasking
		Imperative Programs
		Threads
		Processes and Message Passing
		Summary
		Exercises
	Scheduling
		Basics of Scheduling
		Rate Monotonic Scheduling
		Earliest Deadline First
		Scheduling and Mutual Exclusion
		Multiprocessor Scheduling
		Summary
		Exercises
III Analysis and Verification
	Invariants and Temporal Logic
		Invariants
		Linear Temporal Logic
		Summary
		Exercises
	Equivalence and Refinement
		Models as Specifications
		Type Equivalence and Refinement
		Language Equivalence and Containment
		Simulation
		Bisimulation
		Summary
		Exercises
	Reachability Analysis and Model Checking
		Open and Closed Systems
		Reachability Analysis
		Abstraction in Model Checking
		Model Checking Liveness Properties
		Summary
		Exercises
	Quantitative Analysis
		Problems of Interest
		Programs as Graphs
		Factors Determining Execution Time
		Basics of Execution Time Analysis
		Other Quantitative Analysis Problems
		Summary
		Exercises
IV Appendices
	Sets and Functions
		Sets
		Relations and Functions
		Sequences
		Exercises
	Complexity and Computability
		Effectiveness and Complexity of Algorithms
		Problems, Algorithms, and Programs
		Turing Machines and Undecidability
		Intractability: P and NP
		Summary
		Exercises
	Bibliography
	Notation Index
	Index
                        

Similer Documents