Skip to main content
CORDIS - Forschungsergebnisse der EU
CORDIS

Aggregated Quality Assurance for Systems

Leistungen

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.).

Veröffentlichungen

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

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

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

Autoren: Peter Popov
Veröffentlicht in: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), 2017, Seite(n) 228-239, ISBN 978-1-5386-0941-5
Herausgeber: IEEE
DOI: 10.1109/ISSRE.2017.23

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

Autoren: Vittoriano Muttillo, Giacomo Valente, Daniele Ciambrone, Vincenzo Stoico, Luigi Pomante
Veröffentlicht in: Proceedings of the Rapido'18 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO '18, 2018, Seite(n) 1-6, ISBN 9781-450364171
Herausgeber: ACM Press
DOI: 10.1145/3180665.3180670

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

Autoren: Vittoriano Muttillo, Giacomo Valente, Luigi Pomante, Vincenzo Stoico, Fausto D'Antonio, Fabio Salice
Veröffentlicht in: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18, 2018, Seite(n) 119-122, ISBN 9781-450356299
Herausgeber: ACM Press
DOI: 10.1145/3185768.3186291

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

Autoren: Vittoriano Muttillo, Giacomo Valente, Luigi Pomante
Veröffentlicht 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, Seite(n) 63-68, ISBN 9781-450364447
Herausgeber: ACM Press
DOI: 10.1145/3183767.3183782

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

Autoren: Vittoriano Muttillo, Giacomo Valente, Luigi Pomante
Veröffentlicht in: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18, 2018, Seite(n) 45-46, ISBN 9781-450356299
Herausgeber: ACM Press
DOI: 10.1145/3185768.3185769

Smart Systems Everywhere – how much Smartness is tolerable?

Autoren: Schoitsch Erwin
Veröffentlicht in: IDIMT-2017, Digitalization in Management, Society and Economy, Ausgabe 5, 2017, Seite(n) 361-373, ISBN 978-3-99062-119-6
Herausgeber: Trauner Verlag
DOI: 10.5281/zenodo.1043959

Smart Systems Everywhere – Intelligence, Autonomy, Technology and Society

Autoren: Schoitsch Erwin
Veröffentlicht in: IDIMT-2018, Strategic Modeling in Management, Economy and Society, Ausgabe 4, 2018, Seite(n) 153-165, ISBN 978-3-99062-339-8
Herausgeber: Trauner verlag
DOI: 10.5281/zenodo.2590948

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

Autoren: Jan Fiedor, Monika Mužikovská, Aleš Smrčka, Ondřej Vašíček, Tomáš Vojnar
Veröffentlicht in: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Seite(n) 356-359, ISBN 9781-450356992
Herausgeber: ACM Press
DOI: 10.1145/3213846.3229505

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

Autoren: Vittoriano Muttillo, Giuseppe Fiorilli, Tania Di Mascio
Veröffentlicht 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, Seite(n) 1-4, ISBN 9781-450363211
Herausgeber: ACM Press
DOI: 10.1145/3310411.3310412

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

Autoren: Radek Fujdiak, Petr Mlynek, Petr Blazek, Maros Barabas, Pavel Mrnustik
Veröffentlicht in: 2018 41st International Conference on Telecommunications and Signal Processing (TSP), 2018, Seite(n) 1-5, ISBN 978-1-5386-4695-3
Herausgeber: IEEE
DOI: 10.1109/tsp.2018.8441496

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

Autoren: Radek Fujdiak, Petr Blazek, Ludovic Apvrille, Zdenek Martinasek, Petr Mlynek, Renaud Pacalet, David Smekal, Pavel Mrnustik, Maros Barabas, Maysam Zoor
Veröffentlicht in: 2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Seite(n) 1-6, ISBN 978-1-7281-1740-9
Herausgeber: IEEE
DOI: 10.1109/meco.2019.8760043

Developing Battery of Vulnerability Tests for Industrial Control Systems

Autoren: Radek Fujdiak, Petr Blazek, Petr Mlynek, Jiri Misurec
Veröffentlicht in: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), 2019, Seite(n) 1-5, ISBN 978-1-7281-1542-9
Herausgeber: IEEE
DOI: 10.1109/ntms.2019.8763810

Managing the Secure Software Development

Autoren: Radek Fujdiak, Petr Mlynek, Pavel Mrnustik, Maros Barabas, Petr Blazek, Filip Borcik, Jiri Misurec
Veröffentlicht in: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), 2019, Seite(n) 1-4, ISBN 978-1-7281-1542-9
Herausgeber: IEEE
DOI: 10.1109/ntms.2019.8763845

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

Autoren: Vittoriano Muttillo, Paolo Giammatteo, Giuseppe Fiorilli, Luigi Pomante
Veröffentlicht 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, Seite(n) 1-6, ISBN 9781-450375450
Herausgeber: ACM
DOI: 10.1145/3381427.3381431

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

Autoren: Ruiz, Alejandra; Puelles, Javier; Martinez, Jabier; Gruber, Thomas; Matschnig, Martin; Fischer, Bernhard
Veröffentlicht in: http://www.erts2020.org/, Ausgabe 1, 2020
Herausgeber: HAL

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

Autoren: Schoitsch, Erwin
Veröffentlicht in: Ausgabe 1, 2019, Seite(n) 387-400
Herausgeber: Trauner Verlag
DOI: 10.5281/zenodo.3605685

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

Autoren: Vittoriano Muttillo, Luigi Pomante, Patricia Balbastre, Jose Simo, Alfons Crespo
Veröffentlicht in: 2019 22nd Euromicro Conference on Digital System Design (DSD), 2019, Seite(n) 554-561, ISBN 978-1-7281-2862-7
Herausgeber: IEEE
DOI: 10.1109/DSD.2019.00085

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

Autoren: Lorenzo Strigini and Marwa Gadala
Veröffentlicht in: 2020
Herausgeber: Scitepress

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

Autoren: Radek Fujdiak, Jiri Misurec, Jiri Pokorny, Lukas Zobal, Peter Popov, Vladimir Stankovic, Petr Mlynek, Pavel Mrnustik, Petr Blazek, Petr Musil
Veröffentlicht in: 2019 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), 2019, Seite(n) 1-5, ISBN 978-1-7281-5764-1
Herausgeber: IEEE
DOI: 10.1109/icumt48472.2019.8970670

Ontology-based security tool for critical cyber-physical systems

Autoren: Abdelkader Magdy Shaaban, Thomas Gruber, Christoph Schmittner
Veröffentlicht in: Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19, 2019, Seite(n) 1-4, ISBN 9781-450366687
Herausgeber: ACM Press
DOI: 10.1145/3307630.3342397

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

Autoren: Vittoriano Muttillo
Veröffentlicht in: 2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Seite(n) 1-5, ISBN 978-1-7281-1740-9
Herausgeber: IEEE
DOI: 10.1109/meco.2019.8760288

Impact of Security Measures on Performance Aspects in SysML Models

Autoren: Maysam Zoor, Ludovic Apvrille, Renaud Pacalet
Veröffentlicht in: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020, Seite(n) 373-380, ISBN 978-989-758-400-8
Herausgeber: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0008970203730380

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

Autoren: Shuai Li, Matteo Morelli, Ansgar Radermacher, Jérémie Tatibouët, Pauline Deville, Arnault Lapitre, Sébastien Gérard and Chokri Mraidha
Veröffentlicht in: RTSS@Work, 2019
Herausgeber: RTSS@Work

Tackling the challenges of IoT security testing using ontologies

Autoren: Abdelkader Magdy Shaaban, Christoph Schmittner, and Thomas Gruber
Veröffentlicht in: IDIMT-2019 Innovation and Transformation in a Digital World, 2019
Herausgeber: Trauner Verlag

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

Autoren: Marc Sango, Jean Godot, Antonio Gonzalez, Ricardo Ruiz Nolasco
Veröffentlicht in: 2019 Design of Medical Devices Conference, 2019, ISBN 978-0-7918-4103-7
Herausgeber: American Society of Mechanical Engineers
DOI: 10.1115/dmd2019-3210

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

Autoren: O. Netkachov, P. Popov, K. Salako
Veröffentlicht in: Advanced Sciences and Technologies for Security Applications series, 2018
Herausgeber: Ed. F. Flammini, Springer

Discovering Concurrency Errors

Autoren: João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
Veröffentlicht in: Lectures on Runtime Verification, 2018, Seite(n) 34-60, ISBN 978-3-319-75631-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-75632-5_2

Co-Engineering-in-the-Loop

Autoren: Thomas Gruber, Christoph Schmittner, Martin Matschnig, Bernhard Fischer
Veröffentlicht in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Ausgabe 11088, 2018, Seite(n) 151-163, ISBN 978-3-319-98653-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-99229-7_14

Application of IEC 62443 for IoT Components

Autoren: Abdelkader Magdy Shaaban, Erwin Kristen, Christoph Schmittner
Veröffentlicht in: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, Ausgabe 11088, 2018, Seite(n) 214-223, ISBN 978-3-319-98653-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-99229-7_19

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

Autoren: Oleksandr Netkachov, Peter Popov, Kizito Salako
Veröffentlicht in: Resilience of Cyber-Physical Systems - From Risk Modelling to Threat Counteraction, 2019, Seite(n) 89-121, ISBN 978-3-319-95596-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-95597-1_5

Assuring Compliance with Protection Profiles with ThreatGet

Autoren: Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner
Veröffentlicht in: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, Ausgabe 11699, 2019, Seite(n) 62-73, ISBN 978-3-030-26249-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-26250-1_5

Combined Approach for Safety and Security

Autoren: Siddhartha Verma, Thomas Gruber, Christoph Schmittner, P. Puschner
Veröffentlicht in: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, Ausgabe 11699, 2019, Seite(n) 87-101, ISBN 978-3-030-26249-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-26250-1_7

Security and Privacy in Communication Networks

Autoren: Robert Deng, Jian Weng, Kui Ren, Vinod Yegneswaran
Veröffentlicht in: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2017, ISBN 978-3-319-59608-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-59608-2

Platforms4CPS Key Outcomes and Recommendations

Autoren: 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
Veröffentlicht in: 2018, ISBN 978-3-95663-183-2
Herausgeber: Steinbeis-Edition

Ravenscar Support for Time-Triggered Scheduling

Autoren: Jorge Real, Sergio Sáez, Alfons Crespo
Veröffentlicht in: ACM SIGAda Ada Letters, Ausgabe 38/1, 2018, Seite(n) 41-54, ISSN 1094-3641
Herausgeber: ACM
DOI: 10.1145/3241950.3241957

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

Autoren: John Favaro, Silvia Mazzini, Peter Popov, Lorenzo Strigini
Veröffentlicht in: Ada User Journal, Ausgabe 39(4), 2018, Seite(n) 261-263, ISSN 1381-6551
Herausgeber: Ada Language UK Ltd.

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

Autoren: Luigi Pomante, Vittoriano Muttillo, Bohuslav Křena, Tomáš Vojnar, Filip Veljković, Pacôme Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber
Veröffentlicht in: Microprocessors and Microsystems, Ausgabe 69, 2019, Seite(n) 54-67, ISSN 0141-9331
Herausgeber: Elsevier BV
DOI: 10.1016/j.micpro.2019.05.013

Benchmarking Analysis and Characterization of Hypervisors for Space Multicore Systems

Autoren: Vittoriano Muttillo, Luca Tiberi, Luigi Pomante, Paolo Serri
Veröffentlicht in: Journal of Aerospace Information Systems, Ausgabe 16/11, 2019, Seite(n) 500-511, ISSN 2327-3097
Herausgeber: American Institute of Aeronautics and Astronautics, Inc.
DOI: 10.2514/1.i010745

Insight Into Insiders and IT

Autoren: Ivan Homoliak, Flavio Toffalini, Juan Guarnizo, Yuval Elovici, Martín Ochoa
Veröffentlicht in: ACM Computing Surveys, Ausgabe 52/2, 2019, Seite(n) 1-40, ISSN 0360-0300
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3303771

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

Autoren: Giacomo Valente, Paolo Giammatteo, Vittoriano Muttillo, Luigi Pomante, Tania Di Mascio
Veröffentlicht in: Advances in Science, Technology and Engineering Systems Journal, Ausgabe 4/4, 2019, Seite(n) 561-573, ISSN 2415-6698
Herausgeber: ASTES Publishers
DOI: 10.25046/aj040467

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

Autoren: Petr Mlynek, Radek Fujdiak, Pavel Mrnustik, Bohuslav Krena, Ludovic Apvrille
Veröffentlicht in: International Journal of Advances in Telecommunications, Electrotechnics, Signals and Systems, Ausgabe 9(1), 2020, ISSN 1805-5443
Herausgeber: International Society for Science and Engineering

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

Autoren: Pieter Hartel, Ivan Homoliak, Daniel Reijsbergen
Veröffentlicht in: IEEE Access, Ausgabe 7, 2019, Seite(n) 177539-177555, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2957284

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

Autoren: Luigi Pomante, Vittoriano Muttillo, Marco Santic, Paolo Serri
Veröffentlicht in: Microprocessors and Microsystems, Ausgabe 72, 2020, Seite(n) 102898, ISSN 0141-9331
Herausgeber: Elsevier BV
DOI: 10.1016/j.micpro.2019.102898

Rechte des geistigen Eigentums

Amesim FMI interface upgrade

Antrags-/Publikationsnummer: FR Amesim 2020.1
Datum: 2020-04-30

CHESS Mobius Feature

Antrags-/Publikationsnummer: none none
Datum: 2019-05-29
Antragsteller: INTECS SOLUTIONS SPA

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor