Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Ruíz, Alejandra; Gallina, Barbara; Mazzini, Silvia; Espinoza, Huáscar

doi:10.1007/978-3-319-45480-1_25

Cited by 14 publications

(7 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This has led to the emergence of multiconcern assurance and coassurance, where two or more dependability concerns, including safety, security, reliability, and the like, are considered at the same time in an integrated manner during software assurance activities. 3 The need for the integration of assurance activities capable of addressing the wide range of concerns of software-intensive systems throughout the software development lifecycle (SDLC) was identified in several ongoing and recently completed, large-scale, collaborative (academic and industry) research and development projects. In particular, architecture-based and argumentation-based approaches have contributed fundamental research that, although not directly targeted, are also applicable to deliver assurance artifacts.…”

Section: The Emergence Of Multiconcern Assurancementioning

confidence: 99%

Software Design Trends Supporting Multiconcern Assurance

2022

View full text Add to dashboard Cite

Section: The Emergence Of Multiconcern Assurancementioning

confidence: 99%

Software Design Trends Supporting Multiconcern Assurance

2022

View full text Add to dashboard Cite

“…To deal with requirements of different kind (safety, security, performance), industrial and academic partners collaborated on several projects including MERgE [2], Sesamo [3], CRYSTAL [6]. While most of these projects considered the relation between safety and security, some also added performance to the scope like, for example, SAFURE [8], AMASS [29], EVITA [1] and AQUAS [4].…”

Section: Related Workmentioning

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

“…Failure modes are assigned to ports by defining failure mode groups based on domain [16]. SafeConcert is implemented in CHESS toolset [51] developed within CHESS [52] and Concerto [53] projects and has been included within recently released, open-source AMASS platform for certification [54]. This toolset offers modelling and analysis capabilities targeting high integrity systems as well as socio-technical systems.…”

Section: Chapter 2 Backgroundmentioning

confidence: 99%

A Framework for Risk Assessment in Augmented Reality-Equipped Socio-Technical Systems

Bahaei

2020

2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S)

View full text Add to dashboard Cite

New technologies, such as augmented reality (AR) are used to enhance human capabilities and extend human functioning; nevertheless they may cause distraction and incorrect human functioning. Systems including socio entities (such as humans) and technical entities (such as augmented reality) are called socio-technical systems. In order to assess risk in such systems, considering new dependability threats (i.e., faults, errors, and failures) caused by augmented reality is essential. For example, failure of extended human functions is a new type of dependability threat introduced to the system because of new technologies. In particular, it is required to identify these new dependability threats and analyze entities and system behavior to be able to uncover their potential impact.This thesis aims at providing a framework for risk assessment in AR-equipped socio-technical systems by identifying and classifying human failures including AR-extended human failures and by identifying and classifying faults leading to human failures including AR-caused faults. Our work also provides modeling capabilities for socio-technical systems, to enable modeling of AR-relevant dependability threats used for extending analysis techniques to address the requirements for AR-equipped socio-technical systems analysis. To achieve this, we propose a human function taxonomy by extracting functions from state-of-the-art human failure taxonomies, organizing and harmonizing them in addition to extending the taxonomy by adding AR-extended functions extracted from experiments and studies on augmented reality. Besides, we propose a taxonomy of faults leading to human failures by extracting faults from state-of-the-art taxonomies, organizing and harmonizing them in addition to extending the taxonomy by adding AR-caused faults extracted from studies and experiments on augmented reality. In the context of socio-technical system modeling, AR-extended human functions and AR-caused faults are transformed into i ii enhanced modeling elements for both human and organizational entities. SafeConcert, which is a metamodel for modeling socio-technical systems, is used as the basis for extension of socio entities modeling elements. This extended metamodel can then be used to augment the risk analysis techniques used for socio-technical systems analysis. Concerto-FLA, which is a risk analysis technique for analyzing socio-technical systems, is used as the basis for analyzing system behavior. We show the applicability of our modeling extensions on academic examples and we also conduct a case study to evaluate the analysis capabilities of the provided extensions.First and foremost, I would like to express my immense gratitude to my main supervisor Barbara Gallina.Thank you for your patience, guidance, encouragement and your perseverance that have inspired me during my research. I also wish to express my gratitude to

show abstract

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

Cited by 14 publications

References 5 publications

Software Design Trends Supporting Multiconcern Assurance

Software Design Trends Supporting Multiconcern Assurance

SysML models

A Framework for Risk Assessment in Augmented Reality-Equipped Socio-Technical Systems

Contact Info

Product

Resources

About