The AMASS Tool Platform: An innovative solution for assurance and certification of cyber-physical systems

Cyber-physical systems are usually subject to assurance and certifica- tion processes, including thorough requirements engineering tasks, to ensure that they are acceptably dependable. The underlying activities can be complex and labour-intensive, thus practitioners need tools that facilitate them. We present the AMASS Tool Platform as an example of these tools. This Platform is an open source solution that supports the main activities for assurance and certification. It also provides advanced features such as argument fragment composition and automated assurance evidence generation and collection. In addition, we present the main insights gained from tool usage. Among them, practitioners expect improvement in relation to usability, performance, and ease of configuration. Videos showing tool usage are available online, including general usage scenarios¹.