A model management approach for assurance case reuse due to system evolution

No abstract is available for this paper.

• Publication year

  2016

• Venue

  ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

• Publication date

  2016-10-02

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2976767.2976792
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Management for Regulatory Compliance: A Position Paper

  2016cited by this paper
• MMINT: A Graphical Tool for Interactive Model Management

  2015cited by this paper
• Enriching megamodel management with collection-based operators

  2015cited by this paper
• Sound Merging and Differencing for Class Diagrams

  2014cited by this paper
• Lifting model transformations to product lines

  2014cited by this paper
• Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization

  2014cited by this paper
• Current and necessary insights into SACM: An analysis based on past publications

  2014cited by this paper
• Supporting the Evolution of UML Models in Model Driven Software Development : A Survey

  2013cited by this paper
• Mapping-Aware Megamodeling: Design Patterns and Laws

  2013cited by this paper
• Guided Merging of Sequence Diagrams

  2012cited by this paper
• A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies

  2012cited by this paper
• Formal Verification of a Safety Argumentation and Application to a Complex UAV System

  2012cited by this paper
• Slicing Techniques for UML Models

  2011cited by this paper
• From state- to delta-based bidirectional model transformations: the symmetric case

  2011cited by this paper
• A systematic review of goal-oriented requirements management frameworks for business process compliance

  2011cited by this paper
• Slicing of UML Models

  2010cited by this paper
• Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective

  2010cited by this paper
• Sequence Diagram Slicing

  2009cited by this paper
• The Who, Where, How, Why And When of Modular and Incremental Certification

  2007cited by this paper
• What are emergent properties and how do they affect the engineering of complex systems?

  2006cited by this paper
• A manifesto for model merging

  2006cited by this paper
• The Goal Structuring Notation – A Safety Argument Notation

  2004influential reference
• Feature interaction: a critical review and considered forecast

  2003cited by this paper
• Applying Model Management to Classical Meta Data Problems

  2003influential reference
• Safety Case Construction and Reuse Using Patterns

  1997cited by this paper
• On the Emergence of Properties in Component-Based Systems

  1996cited by this paper
• Safety as a system property

  1995cited by this paper
• Goal-Directed Requirements Acquisition

  1993cited by this paper

• Evaluation of Automotive OTA Updates Using Assurance Cases

  2024cites this paper
• CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

  2024cites this paper
• MMINT-A: A framework for model-based safety assurance

  2023cites this paper
• ATTEST: Automating the review and update of assurance case arguments

  2022cites this paper
• Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings

  2020cites this paper
• Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems

  2020cites this paper
• MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts

  2020cites this paper
• Assessing Adaptations based on Change Impacts

  2020cites this paper
• Toward a Negotiation Framework for Self-Integration

  2020cites this paper
• Um metamodelo para casos de garantia de sistemas críticos e intensivos em software baseado em análise do conceito inicial de sistemas teóricos

  2019cites this paper
• Evaluating Security Assurance Case Adaptation

  2019cites this paper
• Software Assurance in an Uncertain World

  2019cites this paper
• Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces

  2019cites this paper
• Leveraging Artifact Trees to Evolve and Reuse Safety Cases

  2019cites this paper
• Heterogeneous megamodel management using collection operators

  2019cites this paper
• Assurance via workflow+ modelling and conformance

  2019cites this paper
• McMaster Centre for Software Certification Assurance via Workflow + Modelling and Conformance (an extended version)

  2019cites this paper
• Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework

  2019cites this paper
• Self-Adaptation Strategies to Maintain Security Assurance Cases

  2018cites this paper
• MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases

  2018cites this paper
• Assurance via model transformations and their hierarchical refinement

  2018cites this paper
• Adaptive Coordination to Complete Mission Goals

  2018cites this paper
• Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach

  2017cites this paper
• SimPact: Impact Analysis for Simulink Models

  2017cites this paper
• Supporting Simulink Model Management

  2017cites this paper
• Managing Assurance Cases in Model Based Software Systems

  2017cites this paper
• Supporting Consensus-based Sofware Development: a Vision Paper

  2017cites this paper
• Diagnosing assumption problems in safety-critical products

  2017cites this paper
• Towards Agile Model-based Systems Engineering

  2017cites this paper
• Heterogeneous Megamodel Slicing for Model Evolution

  2016cites this paper