SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems

@inproceedings{Montecchi2017SafeConcertAM,
  title={SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems},
  author={Leonardo Montecchi and Barbara Gallina},
  booktitle={IMBSA},
  year={2017}
}
Socio-technical systems are characterized by the interplay of heterogeneous entities i.e., humans, organizations, and technologies. Application domains such as petroleum, e-health, and many others rely on solutions based on safety-critical socio-technical systems. To ensure a safe operation of these interacting heterogeneous entities, multifaceted and integrated modeling and analysis capabilities are needed. Currently, such capabilities are not at disposal. To contribute to the provision of… 

Figures from this paper

A case study for risk assessment in AR-equipped socio-technical systems
Towards Assessing Risk of Reality Augmented Safety-critical Socio-technical Systems
TLDR
This short paper proposes an extension for modeling safetycritical socio-technical systems containing augmented reality-extended humans that builds on top of SafeConcert, which is a metamodel for modeling component-based system architectures composed of hardware, software, humans and organizations.
A Framework for Risk Assessment in Augmented Reality-Equipped Socio-Technical Systems
  • Soheila Sheikh Bahaei
  • Computer Science
    2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S)
  • 2020
TLDR
This research aims at providing a framework for risk assessment in AR-equipped socio-technical systems by identifying AR-extended human failures and AR-caused faults leading to human failures, and extends modeling elements in an existing metamodel for modeling socio- technical systems, to enable AR-relevant dependability threats modeling.
A Framework for Risk Assessment in Augmented Reality-Equipped Socio-Technical Systems
TLDR
This research aims at providing a framework for risk assessment in AR-equipped socio-technical systems by identifying AR-extended human failures and AR-caused faults leading to human failures, and extends modeling elements in an existing metamodel for modeling socio- technical systems, to enable AR-relevant dependability threats modeling.
A variability modeling and transformation approach for safety-critical systems
TLDR
This paper describes in this paper an experience report showing how a novel annotative modeling approach and tool can be used to derive system models enriched with functional safety information.
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
TLDR
A recent initiative called AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) to promote harmonization, reuse and automation of labour-intensive certification-oriented activities via using model-based approaches and incremental techniques.
Extending SafeConcert for Modelling Augmented Reality-equipped Socio-technical Systems*
TLDR
An extension for modelling safety-critical socio-technical systems, to model augmented reality-extended humans by using a taxonomy that contains AR-specific human's failure behavior is proposed, by investigating faults leading to human failures including faults because of augmented reality.
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence
TLDR
This paper presents a systematic process to guide designers and analysts in the usage of the CHESS toolset for model-based dependability analysis of safety-critical systems in compliance with ISO 26262 Parts 3 and 4, SAE ARP 4754A safety process, and DO-331 model- based development principles.
An Approach to Support Variant Management on Safety Analysis using CHESS Error Models
TLDR
This paper proposes a systematic approach, built upon the AMASS platform, to support the reuse of safety assets and generation certifiable evidence for variant-intensive systems.
Effect of Augmented Reality on Faults Leading to Human Failures in Socio-technical Systems*
TLDR
This paper develops and reviews state-of-the-art taxonomies of faults leading to human failures and includes the new faults, which might be due to AR, which are presented and used to discuss about the usefulness of the taxonomy.
...
1
2
...

References

SHOWING 1-10 OF 25 REFERENCES
Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis
TLDR
This paper provides an extension based on a pre-existing classification of socio-failures and combines it with the one used in CHESS-FLA for technical failures, thereby giving birth to a novel approach to analysis of socio -technical systems.
ARRL: A Criterion for Composable Safety and Systems Engineering
TLDR
A novel concept called Assured Reliability and Resilience Level is developed as a criterion that takes the industrial practice into account and shows how it complements the Safety Integrity Level concept.
Towards a MDE Transformation Workflow for Dependability Analysis
TLDR
This research direction presenting a transformation work flow for dependability analysis that is part of an industrial-quality infrastructure for the specification, analysis and verification of extra-functional properties, currently under development within the ARTEMIS-JU CHESS project is explored.
Failure logic modelling : a pragmatic approach
TLDR
The general metamodel-based approach adopted by the thesis and proposed has helped identify some significant ‘emergent’ characteristics and limitations of failure logic modelling that, to date, have not been reported.
A profile and tool for modelling safety information with design information in SysML
TLDR
A SysML profile designed for modelling the safety-related concerns of a system allows for greater consistency between safety information and system design information and can aid in communicating that information to stakeholders.
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models
  • Lars Grunske, Jun Han
  • Computer Science
    2008 11th IEEE High Assurance Systems Engineering Symposium
  • 2008
TLDR
This paper reviews the key concepts that are introduced by the error annex of the Architecture Analysis and Description Language, and compares it to the existing safety evaluation techniques regarding its ability in providing modeling, process and tool support.
A reusable modular toolchain for automated dependability evaluation
TLDR
The design and implementation of the toolchain for state-based dependability analysis developed within the CHESS project is described and designed to be adapted to different modeling languages and analysis tools.
A dependability profile within MARTE
TLDR
A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment.
A Model-Driven Dependability Analysis Method for Component-Based Architectures
TLDR
CHESS-FLA allows designers to model the nominal as well as the failure behaviour of their architectures, automatically perform dependability analysis through a model transformation, and ease the interpretation of the analysis results through back-propagation onto the original architectural model.
...
1
2
3
...