loading...
Embedded system design: a case study
Friedrichshafen, GERMANY March 11-March 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494537IEEE Symposium and Workshop on Engine ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
M. Sveda, 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.
Index Terms:
real-time systems; systems analysis; software prototyping; clocks; safety-critical software; formal specification; synchronisation; flow control; distributed processing; distributed control; control system CAD; pumps; embedded system design; embedded distributed systems; dispenser control; local time concept; system-wide global clock; environment specification; system functional specification; logical structure description; prototyping; implementation; counter; controller; petrol pumping station; safety critical system; explosion danger; uncontrolled petrol flow
Citation:
M. Sveda, "Embedded system design: a case study," ecbs, pp.260, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.