The main goal of project ADVICeS is to develop a collection of tactics for system modelling based on formal methods in order to be able to efficiently design complex, dependable software systems that are correct by construction.
In order to reach the goal, the formal design method would be:
- Extended with metrics and measurements, which guide the formal development.
- Facilitated by the application of refinement patterns.
- Assisted by graphical representation of the software being developed.
- Composed with an adaptive development framework, to improve the management of the development.
The structure of the research in the project:
We believe that with the hybrid formal method the design of dependable, complex and safety-critical systems would be more flexible and effective and that there would be a positive impact on quality of the system, as well as on the development process and system maintenance.