Embedded system design: a case study

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.