The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems. These techniques, however, are not easy to apply. In particular, methodological guidance is often unsatisfactory. We address this problem by the concept of an agenda. An agenda is a list of activities to be performed for solving a task in software engineering. Agendas used to support the application of formal speci cation techniques provide detailed guidance for speci ers, templates of the used speci cation language that only need to be instantiated, and application independent validation criteria. We apply the agenda approach to a particular class of embedded safety-critical systems, the formal speci cation of which has been investigated in the case-studies of the German Espress project during the last two years.
Grieskamp et al. demonstrated the use of the agenda approach to support the systematic development of requirement specifications for a particular class of embedded safetycritical systems REF .
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components
Sci. Comput. Program.
Computer Science