A Practical Approach to Real-time Systems: Selected Readings
Phillip A. Laplante
Institute of Electrical and Electronic Engineers, 2000 - Computers - 433 pages
Under the same cover, this volume offers both modern and classic papers focusing on real-time systems design and analysis. Rather than focusing in theoretical observations of real-time systems, it is intended for the practical professional who is building real real-time systems. The editor, himself the author of a course on real-time systems, has selected articles to provide a deep exploration of issues raised in his other works. In particular, emphasis is placed on applying practical, but theoretically sound approaches in software engineering rate-monotonic design and analysis, testing and architecting systems for real-time applications.
What people are saying - Write a review
We haven't found any reviews in the usual places.
REQUIREMENTS AND DESIGN ENGINEERING
3 other sections not shown
abstraction analysis analyze applications approach architecture ASIP automata automaton behavior block bounds cache CFSM Codesign communication compiler complete components Computer Science computer system concurrent constraints construct data model deadlines defined described device dynamic embedded systems environment example execution formal methods formal verification function graph hard real-time hardware-software hybrid automaton IEEE Trans IEEE TRANSACTIONS implementation input interactions interface logic loop machine methodology microcontroller modules monitoring mutex Node object object-oriented operation optimal output partitioning performance Petri nets priority priority inversion Proc processor programming language queue reactive real-time computing real-time databases real-time systems represent requirements RISC robot run-time scheduling algorithm scheduling problem Section semantics sensor sequence signal simulation Software Engineering specification static structure synchronous synthesis system design task techniques temporal timer tion transition valid variables verification WCET