By Topic

Embedded system design: a case study

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Sveda, M. ; Dept. of Comput. Sci. & Eng., Tech. Univ. of Brno, Czech Republic

The paper presents an original design method dedicated to embedded distributed systems using dispenser control as an example. The techniques applied during all stages of design stem from a local time concept: a system-wide global clock is utilized neither as an abstract model launching specifications nor as some obligatory, application-independent synchronization of local clocks completing implementations. After a description of the method encompassing environment specification, system functional specification, logical structure description, prototyping, and implementation, a brief survey relates the method to current theory and practice. The core part of the paper deals with an application example concerning a dispenser with a counter/controller for a petrol pumping station, which is safety critical because of the danger of explosion in the case of uncontrolled petrol flow and, also, loss of money in the case of unregistered flow

Published in:

Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on

Date of Conference:

11-15 Mar 1996