MOSAIK

The project ‘MOSAIK’ has contributed to the methods for the embedded software development with predefined, tailored process steps and documentation blocks. Requirements and basic conditions of SMEs were taken into account to facilitate the development of IT secure and reliable devices with a significant decrease in effort and risk. Besides the work of holistic methods and their tool-supported realisation (framework of a tool chain), the project also contributed to the consideration of IT security in the design process, formalisation of requirement engineering and the automation of verification and validation.