DESIGN METHOD, FAIL-STOP SAFETY MODEL, AND EMBEDDED APPLICATION

The paper presents a design method aimed at embedded distributed syste ms using a dispenser control development based on fail-stop safety mod el as a running example. The method meets not only design errors elimi nation but also operational errors management from the beginning of de sign cycle. The techniques used stem from local time concept (omitting global clocks) and configurations (domain knowledge representation). However, the role of designer is considered dominant and not replaceab le by any automated design tools.