Search

Verification and validation (V&V) are complex processes combining different approaches and incorporating many different methods including many activities. System engineers regularly face the question if their V&V activities lead to better products, and having appropriate criteria at hand for evaluation of safety and cybersecurity of the systems would help to answer such a question. Additionally, when there is a demand to improve the quality of an already managed V&V process, there is a struggle over what criteria to use in order to measure the improvement. This paper presents an extensive set of criteria suitable for safety and cybersecurity evaluation of cyberphysical systems. The evaluation criteria are agreed upon by 60 researchers from 32 academic and industrial organizations jointly working in a large-scale European research project on 13 real-world use cases from the domains of automotive, railway, aerospace, agriculture, healthcare, and industrial robotics.

The “Tailored Mutation-based Software Fault Injection Tool (IM-FIT)” is a versatile tool developed for evaluating the robustness of safety-critical system software, specifically Python-based and ROS-based systems. IM-FIT employs mutation-based tests to simulate different conditions under which the system operates. This paper introduces IM-FIT, a tool that contributes significantly to the field of safety-critical systems by creating comprehensive fault libraries for ROS-based and Python-based systems and implementing mutation-based testing methods. IM-FIT leverages a customizable RegEx and AST-based software structure, making it a valuable asset for system verification and validation (V&V). The tool not only enhances system robustness but also optimizes the V&V process by reducing effort, cost, and time. This paper outlines the key features, applications, and benefits of IM-FIT in the context of safety-critical system software.