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

Pomante, Luigi; Muttillo, Vittoriano; Křena, Bohuslav; Vojnar, Tomáš; Veljković, Filip; Magnin, Pacôme; Matschnig, Martin; Fischer, Bernhard; Martínez, Jabier; Gruber, Thomas

doi:10.1016/j.micpro.2019.05.013

Cited by 16 publications

(16 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The two case studies of this work stems from the AQUAS project (Aggregated Quality Assurance for Systems) [25] which objective is to provide a holistic approach to Safety/Security/Performance Co-Engineering. In the presented work, we have focused only on the design stage of two diverse domains, earth observation and medical devices, that we introduce below.…”

Section: Case Studiesmentioning

confidence: 99%

“…For instance, safety experts and security experts tackle the analysis of feared events in different ways [32]. Also, they are forced to show compliance to standards, jurisdictions, and regulations focusing only on one aspect [25] which usually impose the lifecycle, activities, methods, terminology conventions that they should follow, and the expected artefacts that they should produce.…”

Section: Introductionmentioning

confidence: 99%

“…Co-engineering safety and security is still a challenge [13,24] affecting several industrial scenarios such as medical devices, industrial automation, railway, air traffic management or space [25]. Safety and security separation led to redundant efforts [27] and, most importantly for this work, to late identification of conflicts and trade-offs in safety and security requirements [25]. The costs of not identifying issues related to safety and security concerns during early phases of the product life-cycle can be very significant.…”

Section: Introductionmentioning

confidence: 99%

“…Interference analysis refers to techniques analysing the mutual influence and inter-links of different quality attributes [5]. Notably, there is a debate about what triggers trade-off meetings and interaction points [25]. They may either be scheduled interaction points or interaction points triggered when a sufficient critical mass of interference needs to be treated.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Safety and Security Interference Analysis in the Design Stage

Martínez

Godot

Ruíz

et al. 2020

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Self Cite

View full text Add to dashboard Cite

Safety and security engineering have been traditionally separated disciplines (e.g., different required knowledge and skills, terminology, standards and life-cycles) and operated in quasi-silos of knowledge and practices. However, the co-engineering of these two critical qualities of a system is being largely investigated as it promises the removal of redundant work and the detection of trade-offs in early stages of the product development life-cycle. In this work, we enrich an existing safetysecurity co-analysis method in the design stage providing capabilities for interference analysis. Reports on interference analyses are crucial to trigger co-engineering meetings leading to the trade-offs analyses and system refinements. We detail our automatic approach for this interference analysis, performed through fault trees generated from safety and security local analyses. We evaluate and discuss our approach from the perspective of two industrial case studies on the space and medical domains.

show abstract

Section: Case Studiesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Safety and Security Interference Analysis in the Design Stage

Martínez

Godot

Ruíz

et al. 2020

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Self Cite

View full text Add to dashboard Cite

show abstract

“…One of the challenges when designing embedded systems is to satisfy altogether its safety, security and performance requirements. The advantages of designing embedded systems while taking the interactions of safety, security and performance requirements into consideration early in the design cycle is highlighted in several approaches [18][16] [28]. To study the requirements dependencies, simulation and verification shall be used as early as possible in the design process.…”

Section: Introductionmentioning

confidence: 99%

SysML models

Zoor

Apvrille

Pacalet

2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

View full text Add to dashboard Cite

Designing safe, secure and efficient embedded systems implies understanding interdependencies between safety, security and performance requirements and mechanisms. In this paper, we introduce a new technique for analyzing the performance impact of safety/security implemented as hardware and software mechanisms and described in SysML models. Our analysis approach extracts a dependency graph from a SysML model. The SysML model is then simulated to obtain a list of simulation transactions. Then, to study the latency between two events of interest, we progressively taint the dependency graph according to simulation transactions and to dependencies between all software and hardware components. The simulation transactions are finally classified according to which vertex taint they correspond, and are displayed according to their timing and related hardware device. Thus a designer can easily spot which components need to be re-modeled in order to meet the performance requirement. A Rail Carriage use case studied in the scope of the H2020 AQUAS project illustrates our approach, in particular how tainting can handle the multiple occurrences of the same event. CCS CONCEPTS • Computer systems organization → Embedded software.

show abstract

Execution trace analysis for a precise understanding of latency violations

et al. 2023

View full text Add to dashboard Cite

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

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

Cited by 16 publications

References 9 publications

Safety and Security Interference Analysis in the Design Stage

Safety and Security Interference Analysis in the Design Stage

SysML models

Execution trace analysis for a precise understanding of latency violations

Contact Info

Product

Resources

About