The economic rationale of verification tool-based certification for software safety and security
The society needs secure and safe applications to be used on IoT devices, but this is challenging. Advanced verification tools and methodologies help, but it implies constraints in terms of time, costs and other types of resources. Those efforts yield specific advantages, such as risk mitigation.
It may be difficult to justify the efforts spent for conformance to a demanding methodology, as the requirements may be perceived as non-revenue generating activities.
Following the development of a new methodology, called VESSEDIA, and with the support of a candidate ISO standard, we analyze the cost structure and the benefits of applying the methodology and the selected tools.
Nutzen für den Teilnehmer:
Introduction of a candidating new ISO standard in software verification.
Updates on latest development in software verification.
Connection with EU Project: https://vessedia.eu/
Beyond the common criteria, a software safety and security verification process is not executed under commonly agreed guidance with regards to the quality and performance of the tools used for verification.
Unternehmen: Turku University of Applied Sciences
Zielgruppe: Developers, validators and certificatoion bodies who are concerned with or involved in software verification