Skip to main content

Aggregated Quality Assurance for Systems

Deliverables

Combined Safety, Security and Performance Analysis and Assessment Techniques -Preliminary

This deliverable will demonstrate, through example applications, the application of combined analysis and assessment of safety, security and performance, that is, how the “interaction point” concept can be implemented in practice with the techniques considered. The examples will be on small systems (e.g. parts of the demonstrators), suitable for demonstrating the methods so as to support application in the use cases. Each planned interaction point (one or more per use case) will be specified by collaboration of the one or more WP3 partners that provide the techniques, in general formats harmonised, as far as feasible, by consensus with the use case owners under co-ordination by City.

Specification of Safety, Security and Performance Analysis and Assessment Techniques

This deliverable will focus on the safety, security and performance metrics to be assessed and on the methods and techniques for the assessment of these properties separately. It will also identify likely interaction points in the co-engineering process for the demonstrators, as input to WP2 and to Task 3.2. It will use input about the use cases as documented in the deliverables D2.x.1 and parts of D2.x.2. The outlines of application of the techniques to each use case will be written by the WP3 partners offering the techniques for each use case; and the likely interaction points will be identified collaboratively and co-ordinate by the T3.1 coordinator, UNIVAQ.

Report on the evolution of co-engineering standards v2

This report will be based on the analysis of current standards and best practices. It will provide a description of the gaps and shortcomings and collect concrete recommendations, target organisations and effective actions to achieve awareness and progress in the co-engineering standards for their evolution in the short term and their application in the long term. In this second version of the report, the Consortium will include different activities performed to reduce identified gaps and increase awareness for co-engineering in relevant standardisation groups.

Report on the evolution of co-engineering standards

M18, M30 This report will be based on the analysis of current standards and best practices. It will provide a description of the gaps and shortcomings and collect concrete recommendations, target organisations and effective actions to achieve awareness and progress in the co-engineering standards for their evolution in the short term and their application in the long term. The second version will include activities by the AQUAS project to reduce identified gaps and increase awareness for co-engineering in relevant standardisation groups.

Report on co-engineering process support

This report will specify required functionalities enabling tools support of co-engineering process. Functionalities will be described for common and global factors as well as their tool-specific implementation.

Report on tools prototyping and integration

This report will present the tool extensions developed in task T4.4 in order to provide the most relevant co-engineering support for demonstrators. These extensions will be described for each tool and a comprehensive view of their interoperability will be presented.

Report on dynamic simulation co-engineering support

This report will expose the technical approaches enabling dynamic simulation supporting co-engineering. Model types, coupling technologies and foreseen prototyping will be defined and preliminary test results presented (capabilities, scalability).

Report on the future challenges to be overcome for co-engineering

Lead: AIT, Intecs, Tecnalia This report will be based on the development of the demonstrators. It will provide a description of the next steps that should be taken for furthering progress in the co-engineering domain for both the short term and the long term.

Report on system models co-engineering analysis

This deliverable will gather information about the works and results obtained in order to provide system models that allow co-engineering analysis. Model types and structures will be defined as well as the metrics they express after analysis. Preliminary test results will be provided.

Communication/dissemination material v3

Communication/dissemination material V3 (M33: Public) Incrementally updated dissemination material (posters, leaflets, brochures, newsletters, etc.). This is the final version, V3, of this deliverable.

Website

Website, including both public and private sites.

Communication/dissemination material

Communication/dissemination material V1, V2, & V3 (M9, M21, M33: Public) Incrementally updated dissemination material (posters, leaflets, brochures, newsletters, etc.).

Publications

SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting

Author(s): Maysam Zoor, Ludovic Apvrille, and Renaud Pacalet
Published in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020
DOI: 10.1145/3417990.3419225

Models of Reliability of Fault-Tolerant Software Under Cyber-Attacks

Author(s): Peter Popov
Published in: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), 2017, Page(s) 228-239
DOI: 10.1109/ISSRE.2017.23

HEPSYCODE-RT - a Real-Time Extension for an ESL HW/SW Co-Design Methodology

Author(s): Vittoriano Muttillo, Giacomo Valente, Daniele Ciambrone, Vincenzo Stoico, Luigi Pomante
Published in: Proceedings of the Rapido'18 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO '18, 2018, Page(s) 1-6
DOI: 10.1145/3180665.3180670

CC4CS - an Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies

Author(s): Vittoriano Muttillo, Giacomo Valente, Luigi Pomante, Vincenzo Stoico, Fausto D'Antonio, Fabio Salice
Published in: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18, 2018, Page(s) 119-122
DOI: 10.1145/3185768.3186291

Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems

Author(s): Vittoriano Muttillo, Giacomo Valente, Luigi Pomante
Published in: Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms - PARMA-DITAM '18, 2018, Page(s) 63-68
DOI: 10.1145/3183767.3183782

Criticality-aware Design Space Exploration for Mixed-Criticality Embedded Systems

Author(s): Vittoriano Muttillo, Giacomo Valente, Luigi Pomante
Published in: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18, 2018, Page(s) 45-46
DOI: 10.1145/3185768.3185769

Smart Systems Everywhere – how much Smartness is tolerable?

Author(s): Schoitsch Erwin
Published in: IDIMT-2017, Digitalization in Management, Society and Economy, Issue 5, 2017, Page(s) 361-373
DOI: 10.5281/zenodo.1043959

Smart Systems Everywhere – Intelligence, Autonomy, Technology and Society

Author(s): Schoitsch Erwin
Published in: IDIMT-2018, Strategic Modeling in Management, Economy and Society, Issue 4, 2018, Page(s) 153-165
DOI: 10.5281/zenodo.2590948

Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs

Author(s): Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, Tomáš Vojnar
Published in: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Page(s) 356-359
DOI: 10.1145/3213846.3229505

Tuning DSE for Heterogeneous Multi-Processor Embedded Systems by means of a Self-Equalized Weighted Sum Method

Author(s): Vittoriano Muttillo, Giuseppe Fiorilli, Tania Di Mascio
Published in: Proceedings of the 10th and 8th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms - PARMA-DITAM 2019, 2019, Page(s) 1-4
DOI: 10.1145/3310411.3310412

Seeking the Relation Between Performance and Security in Modern Systems: Metrics and Measures

Author(s): Radek Fujdiak, Petr Mlynek, Petr Blazek, Maros Barabas, Pavel Mrnustik
Published in: 2018 41st International Conference on Telecommunications and Signal Processing (TSP), 2018, Page(s) 1-5
DOI: 10.1109/tsp.2018.8441496

Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle

Author(s): Radek Fujdiak, Petr Blazek, Ludovic Apvrille, Zdenek Martinasek, Petr Mlynek, Renaud Pacalet, David Smekal, Pavel Mrnustik, Maros Barabas, Maysam Zoor
Published in: 2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Page(s) 1-6
DOI: 10.1109/meco.2019.8760043

Developing Battery of Vulnerability Tests for Industrial Control Systems

Author(s): Radek Fujdiak, Petr Blazek, Petr Mlynek, Jiri Misurec
Published in: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), 2019, Page(s) 1-5
DOI: 10.1109/ntms.2019.8763810

Managing the Secure Software Development

Author(s): Radek Fujdiak, Petr Mlynek, Pavel Mrnustik, Maros Barabas, Petr Blazek, Filip Borcik, Jiri Misurec
Published in: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), 2019, Page(s) 1-4
DOI: 10.1109/ntms.2019.8763845

An OpenMP Parallel Genetic Algorithm for Design Space Exploration of Heterogeneous Multi-processor Embedded Systems

Author(s): Vittoriano Muttillo, Paolo Giammatteo, Giuseppe Fiorilli, Luigi Pomante
Published in: Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2020, Page(s) 1-6
DOI: 10.1145/3381427.3381431

Preliminary Safety and Security Co-engineering Process in the Industrial Automation Sector

Author(s): Ruiz, Alejandra; Puelles, Javier; Martinez, Jabier; Gruber, Thomas; Matschnig, Martin; Fischer, Bernhard
Published in: http://www.erts2020.org/, Issue 1, 2020

BEYOND SMART SYSTEMS – CREATING A SOCIETY OF THE FUTURE (5.0) RESOLVING DISRUPTIVE CHANGES AND SOCIAL CHALLENGES

Author(s): Schoitsch, Erwin
Published in: Issue 1, 2019, Page(s) 387-400
DOI: 10.5281/zenodo.3605685

HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems Considering Xtratum-Based SW Partitions

Author(s): Vittoriano Muttillo, Luigi Pomante, Patricia Balbastre, Jose Simo, Alfons Crespo
Published in: 2019 22nd Euromicro Conference on Digital System Design (DSD), 2019, Page(s) 554-561
DOI: 10.1109/DSD.2019.00085

Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards

Author(s): Lorenzo Strigini and Marwa Gadala
Published in: 2020

Security and Performance Trade-offs for Data Distribution Service in Flying Ad-Hoc Networks

Author(s): Radek Fujdiak, Jiri Misurec, Jiri Pokorny, Lukas Zobal, Peter Popov, Vladimir Stankovic, Petr Mlynek, Pavel Mrnustik, Petr Blazek, Petr Musil
Published in: 2019 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), 2019, Page(s) 1-5
DOI: 10.1109/icumt48472.2019.8970670

Ontology-based security tool for critical cyber-physical systems

Author(s): Abdelkader Magdy Shaaban, Thomas Gruber, Christoph Schmittner
Published in: Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19, 2019, Page(s) 1-4
DOI: 10.1145/3307630.3342397

J4CS: An Early-Stage Statement-Level Metric for Energy Consumption of Embedded SW

Author(s): Vittoriano Muttillo
Published in: 2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Page(s) 1-5
DOI: 10.1109/meco.2019.8760288

Impact of Security Measures on Performance Aspects in SysML Models

Author(s): Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
Published in: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020, Page(s) 373-380
DOI: 10.5220/0008970203730380

Polygraph Tool Suite: Configuration and Conformity Validation for Data Flow Based Real-Time Systems

Author(s): Shuai Li, Matteo Morelli, Ansgar Radermacher, Jérémie Tatibouët, Pauline Deville, Arnault Lapitre, Sébastien Gérard and Chokri Mraidha
Published in: RTSS@Work, 2019

Tackling the challenges of IoT security testing using ontologies

Author(s): Abdelkader Magdy Shaaban, Christoph Schmittner, and Thomas Gruber
Published in: IDIMT-2019 Innovation and Transformation in a Digital World, 2019

Model-Based System, Safety and Security Co-Engineering Method and Toolchain for Medical Devices Design

Author(s): Marc Sango, Jean Godot, Antonio Gonzalez, Ricardo Ruiz Nolasco
Published in: 2019 Design of Medical Devices Conference, 2019
DOI: 10.1115/dmd2019-3210

Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures

Author(s): O. Netkachov, P. Popov, K. Salako
Published in: Advanced Sciences and Technologies for Security Applications series, 2018

Discovering Concurrency Errors

Author(s): João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
Published in: Lectures on Runtime Verification, 2018, Page(s) 34-60
DOI: 10.1007/978-3-319-75632-5_2

Co-Engineering-in-the-Loop

Author(s): Thomas Gruber, Christoph Schmittner, Martin Matschnig, Bernhard Fischer
Published in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Issue 11088, 2018, Page(s) 151-163
DOI: 10.1007/978-3-319-99229-7_14

Application of IEC 62443 for IoT Components

Author(s): Abdelkader Magdy Shaaban, Erwin Kristen, Christoph Schmittner
Published in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Issue 11088, 2018, Page(s) 214-223
DOI: 10.1007/978-3-319-99229-7_19

Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures

Author(s): Oleksandr Netkachov, Peter Popov, Kizito Salako
Published in: Resilience of Cyber-Physical Systems - From Risk Modelling to Threat Counteraction, 2019, Page(s) 89-121
DOI: 10.1007/978-3-319-95597-1_5

Assuring Compliance with Protection Profiles with ThreatGet

Author(s): Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner
Published in: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, Issue 11699, 2019, Page(s) 62-73
DOI: 10.1007/978-3-030-26250-1_5

Combined Approach for Safety and Security

Author(s): Siddhartha Verma, Thomas Gruber, Christoph Schmittner, P. Puschner
Published in: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, Issue 11699, 2019, Page(s) 87-101
DOI: 10.1007/978-3-030-26250-1_7

Security and Privacy in Communication Networks

Author(s): Robert Deng, Jian Weng, Kui Ren, Vinod Yegneswaran
Published in: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2017
DOI: 10.1007/978-3-319-59608-2

Platforms4CPS Key Outcomes and Recommendations

Author(s): Haydn Thompson, Meike Reimann, Daniela Ramos-Hernandez, Steve Bageritz, Adrien Brunet, Charles Robinson, Björn Sautter, Johannes Linzbach, Holger Pfeifer, Vincent Aravantinos, Martin Törngren, Fredrik Asplund, Xinhai Zhang, Isabelle de Sutter
Published in: 2018

Ravenscar Support for Time-Triggered Scheduling

Author(s): Jorge Real, Sergio Sáez, Alfons Crespo
Published in: ACM SIGAda Ada Letters, Issue 38/1, 2018, Page(s) 41-54, ISSN 1094-3641
DOI: 10.1145/3241950.3241957

AQUAS: A project to bridge the gaps between safety and security processes

Author(s): John Favaro, Silvia Mazzini, Peter Popov, Lorenzo Strigini
Published in: Ada User Journal, Issue 39(4), 2018, Page(s) 261-263, ISSN 1381-6551

The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle

Author(s): Luigi Pomante, Vittoriano Muttillo, Bohuslav Křena, Tomáš Vojnar, Filip Veljković, Pacôme Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber
Published in: Microprocessors and Microsystems, Issue 69, 2019, Page(s) 54-67, ISSN 0141-9331
DOI: 10.1016/j.micpro.2019.05.013

Benchmarking Analysis and Characterization of Hypervisors for Space Multicore Systems

Author(s): Vittoriano Muttillo, Luca Tiberi, Luigi Pomante, Paolo Serri
Published in: Journal of Aerospace Information Systems, Issue 16/11, 2019, Page(s) 500-511, ISSN 2327-3097
DOI: 10.2514/1.i010745

Insight Into Insiders and IT

Author(s): Ivan Homoliak, Flavio Toffalini, Juan Guarnizo, Yuval Elovici, Martín Ochoa
Published in: ACM Computing Surveys, Issue 52/2, 2019, Page(s) 1-40, ISSN 0360-0300
DOI: 10.1145/3303771

A Lightweight, Hardware-Based Support for Isolation in Mixed-Criticality Network-on-Chip Architectures

Author(s): Giacomo Valente, Paolo Giammatteo, Vittoriano Muttillo, Luigi Pomante, Tania Di Mascio
Published in: Advances in Science, Technology and Engineering Systems Journal, Issue 4/4, 2019, Page(s) 561-573, ISSN 2415-6698
DOI: 10.25046/aj040467

Co-Engineering Gap Analysis of ANSI/ISA‑62443‑3‑3

Author(s): Petr Mlynek, Radek Fujdiak, Pavel Mrnustik, Bohuslav Krena, Ludovic Apvrille
Published in: International Journal of Advances in Telecommunications, Electrotechnics, Signals and Systems, Issue 9(1), 2020, ISSN 1805-5443

An Empirical Study Into the Success of Listed Smart Contracts in Ethereum

Author(s): Pieter Hartel, Ivan Homoliak, Daniel Reijsbergen
Published in: IEEE Access, Issue 7, 2019, Page(s) 177539-177555, ISSN 2169-3536
DOI: 10.1109/access.2019.2957284

SystemC-based electronic system-level design space exploration environment for dedicated heterogeneous multi-processor systems

Author(s): Luigi Pomante, Vittoriano Muttillo, Marco Santic, Paolo Serri
Published in: Microprocessors and Microsystems, Issue 72, 2020, Page(s) 102898, ISSN 0141-9331
DOI: 10.1016/j.micpro.2019.102898