Visible to the public The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)

TitleThe European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)
Publication TypeConference Paper
Year of Publication2019
AuthorsPuccetti, Armand
Conference Name2019 22nd Euromicro Conference on Digital System Design (DSD)
Date Publishedaug
Keywordscertification, composability, connected systems security, cyber-attacks, Cyber-physical systems, cyber-security, Embedded systems, Europe, European H2020 project VESSEDIA, formal methods, formal specification, formal verification, high-criticality applications, Internet of Things, IoT, IoT security, Metrics, program diagnostics, pubcrawl, Resiliency, Safety, security, Security and Safety Analysis, security of data, Software, software fault tolerance, Source code analysis, static analysis, Tools, verification engineering of safety and security critical dynamic industrial applications
AbstractThis paper presents an overview of the H2020 project VESSEDIA [9] aimed at verifying the security and safety of modern connected systems also called IoT. The originality relies in using Formal Methods inherited from high-criticality applications domains to analyze the source code at different levels of intensity, to gather possible faults and weaknesses. The analysis methods are mostly exhaustive an guarantee that, after analysis, the source code of the application is error-free. This paper is structured as follows: after an introductory section 1 giving some factual data, section 2 presents the aims and the problems addressed; section 3 describes the project's use-cases and section 4 describes the proposed approach for solving these problems and the results achieved until now; finally, section 5 discusses some remaining future work.
DOI10.1109/DSD.2019.00089
Citation Keypuccetti_european_2019