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:

Behandelte Problemstellungen:
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.

Vorgetragen von: Emmanuel Querrec
Unternehmen: Turku University of Applied Sciences

Vortragssprache: Englisch
Level: Einsteiger
Zielgruppe: Developers, validators and certificatoion bodies who are concerned with or involved in software verification

Partner 2019

ASQF e.V ATB - Austrian Testing Board CON•ECT Eventmanagement GmbH dpunkt.verlag GmbH Heise Medien GmbH & Co. KG IREB GmbH iSQI GmbH IT Verlag GmbH IT-Cluster der Business Upper Austria GmbH Österreichische Computer Gesellschaft (OCG) TU Wien, Inst f. Information Systems Eng., CDL-SQ Verband Österreichischer Software Industrie (VÖSI)