Tools4safety: Summary report of the results from the development of the a2k tool

The objective of this project has been to achieve significant progress in the development of safety-critical software using an advanced model-driven development paradigm. This approach addresses the specific needs and requirements of the processes involved in such developments. The results of the project have been integrated into a2k (art2kitekt). This document compiles the main technical results of the project, describing the main developments of the a2k tool. a2k is a web-based solution that assists engineers in designing, analysing, simulating, and verifying critical embedded systems.