The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)
| Title | The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications) |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Puccetti, Armand |
| Conference Name | 2019 22nd Euromicro Conference on Digital System Design (DSD) |
| Date Published | Aug. 2019 |
| Publisher | IEEE |
| ISBN Number | 978-1-7281-2862-7 |
| Keywords | certification, 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 |
| Abstract | This 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. |
| URL | https://ieeexplore.ieee.org/document/8875036 |
| DOI | 10.1109/DSD.2019.00089 |
| Citation Key | puccetti_european_2019 |
- IoT security
- verification engineering of safety and security critical dynamic industrial applications
- tools
- static analysis
- Source code analysis
- software fault tolerance
- Software
- security of data
- Security and Safety Analysis
- security
- Safety
- Resiliency
- pubcrawl
- program diagnostics
- Metrics
- certification
- IoT
- Internet of Things
- high-criticality applications
- formal verification
- Formal Specification
- formal methods
- European H2020 project VESSEDIA
- Europe
- embedded systems
- Cyber-security
- cyber-physical systems
- cyber-attacks
- connected systems security
- composability