Verified System Development with the AutoFocus Tool Chain
This work addresses the need for reliable software development in safety-critical domains, but it appears incremental as it builds on existing model-based approaches with specific tool enhancements.
The authors tackled the problem of developing verified software systems by presenting a model-based development methodology and an AutoFocus tool chain, which includes verification of the system and checks on automatic generators to increase confidence in correctness.
This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles emphasizing the verification of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators.