Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996, Issue 1494
Springer Science & Business Media, Oct 14, 1998 - Computers - 421 pages
This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been solicited for inclusion in the present book in order to complete coverage of the relevant topics.
The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Verification of Clocked and Hybrid Systems
Analyzing and Synthesizing Hybrid Control Systems
Model Checking Timed Automata
On Modeling RealTime Task Systems
A Modular Approach for Programming Embedded Systems
ProofBased System Engineering and Embedded Systems
A Design Notation and Toolset for HighPerformance Embedded Systems Development
Object Oriented Development of Embedded Systems with the Octopus Method
Engineering of RealTime Systems with an Experiment in Hybrid Control
Formal Methods in the Design of a Storm Surge Barrier Control System
Structured Analysis and ObjectOrientation
Embedded Systems in Consumer Products
The Long Road from Research to Telecommunication Applications
Development of Embedded Software at ICT
The Maturity of ObjectOriented Methodologies
Other editions - View all
abstract Actor model actors analysis application architecture assertion associated automata automaton behavior bisimulation Boolean bounds clock constraint clocked transition systems complexity components Computer Science construct consumer products deadline defined denote dimensioning discrete domain duration calculus dynamical system embedded software embedded systems event example execution feasibility Figure finite formal methods formula function global graph hardware hybrid control systems hybrid systems IEEE implementation Integer interface labeled logic Lyapunov Lyapunov functions Lyapunov stability mapping node non-zeno notation object model object-orientation object-oriented methodologies operations parallelism phase problem proof proof-based properties reachable real-time systems region requirements resp RTsynchronizers rule S/W modules satisfies scheduling sensor sequence simulation Software Engineering specification statecharts structure subsystem switching synchronous system design system engineering task task models techniques temporal logic Theorem tool transition relation valid values variables verification diagram