Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

Project Details


The main objective of the project ADVICeS is to develop a collection of tactics for system modelling that is based on formal methods. The aim is to make the formal design process more efficient, flexible and maintainable for developing complex, dependable software systems that are correct by construction. A combination of an adaptive design framework with formal methods is meant to augment the development flexibility and give faster response to changes and, hence, will aid to achieve a feasible formal development process that enhances maintainability. Integrating metrics and quality measurements with the formal design will provide additional development guidelines to support the modelling and enable the assessment of the suitability of the proposed hybrid method.
Effective start/end date01/09/1331/08/17