Managing Assurance Cases in Model Based Software Systems

No abstract is available for this paper.

• Publication year

  2017

• Venue

  2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

• Publication date

  2017-05-20

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/ICSE-C.2017.44
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases

  2018cited by this paper
• How Do Practitioners Perceive Assurance Cases in Safety-Critical Software Systems?

  2018cited by this paper
• Two Decades of Assurance Case Tools: A Survey

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

  2017cited by this paper
• A systematic approach and tool support for GSN-based safety case assessment

  2017cited by this paper
• Managing design-time uncertainty

  2017cited by this paper
• Semantically Enhanced Software Traceability Using Deep Learning Techniques

  2017influential reference
• Model-Connected Safety Cases

  2017cited by this paper
• ExplicitCase: Integrated Model-Based Development of System and Safety Cases

  2017cited by this paper
• Principles for Systematic Development of an Assurance Case Template from ISO 26262

  2017cited by this paper
• Tool support for assurance case development

  2017influential reference
• Supporting the Management of Reusable Automotive Software

  2017cited by this paper
• Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

  2017influential reference
• Heterogeneous Megamodel Slicing for Model Evolution

  2016cited by this paper
• A model management approach for assurance case reuse due to system evolution

  2016cited by this paper
• A systematic approach and tool support for assessing GSN-based safety case

  2016influential reference
• A categorization of GSN-based safety cases and patterns

  2016cited by this paper
• Looking into the Crystal Ball: Requirements Evolution over Time

  2016cited by this paper
• ACBuilder: A tool for hardware architecture security evaluation

  2016cited by this paper
• Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary Analysis

  2016influential reference
• An Industrial Survey of Safety Evidence Change Impact Analysis Practice

  2016cited by this paper
• Software For Dependable Systems Sufficient Evidence

  2016cited by this paper
• Systematic Maintenance of Safety Cases to Reduce Risk

  2016cited by this paper
• Model Management for Regulatory Compliance: A Position Paper

  2016cited by this paper
• Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel

  2016cited by this paper
• Weaving an Assurance Case from Design: A Model-Based Approach

  2015influential reference
• Enriching megamodel management with collection-based operators

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

  2015cited by this paper
• Safety Case Development with SBVR-Based Controlled Language

  2015cited by this paper
• EMF-IncQuery: An integrated development environment for live model queries

  2015cited by this paper
• An evidential reasoning approach for assessing confidence in safety evidence

  2015cited by this paper
• Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE

  2015cited by this paper
• From Requirements Engineering to Safety Assurance: Refinement Approach

  2015cited by this paper
• Evidence management for compliance of critical systems with safety standards: A survey on the state of practice

  2015cited by this paper
• Consistency checking of safety arguments in the Goal Structuring Notation standard

  2014influential reference
• Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation

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

  2014cited by this paper
• Goal-oriented compliance with multiple regulations

  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
• A Modeling Approach to Support Safety Assurance in the Automotive Domain

  2014cited by this paper
• A Model-Driven Safety Certification Method for Process Compliance

  2014influential reference
• Combining MILS with Contract-Based Design for Safety and Security Requirements

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

  2014cited by this paper
• From Conceptual Models to Safety Assurance

  2014cited by this paper
• Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic

  2014influential reference
• Resolute: an assurance case language for architecture models

  2014cited by this paper
• SCT: A Safety Case Toolkit

  2014influential reference
• Extracting Models from ISO 26262 for Reusable Safety Assurance

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

  2013cited by this paper
• A survey of code‐based change impact analysis techniques

  2013cited by this paper
• Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation

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

  2013cited by this paper
• A goal-based approach for qualification of new technologies: Foundations, tool support, and industrial validation

  2013cited by this paper
• Typing artifacts in megamodeling

  2013cited by this paper
• Tool Integration with the Evidential Tool Bus

  2013cited by this paper
• Assure-It: A Runtime Synchronization Tool of Assurance Cases

  2013cited by this paper
• SafetyMet: A Metamodel for Safety Standards

  2013cited by this paper
• Guided Merging of Sequence Diagrams

  2012cited by this paper
• Kompren: modeling and generating model slicers

  2012cited by this paper
• Supporting Assurance by Evidence-Based Argument Services

  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
• Model-Driven Software Engineering in Practice

  2012cited by this paper
• DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance

  2012cited by this paper
• Modeling the linguistic architecture of software products

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

  2012cited by this paper
• Reviewing Software Models in Compliance with ISO 26262

  2012cited by this paper
• Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based Design

  2012cited by this paper
• A general model-based slicing framework

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

  2011influential reference
• A systematic review of goal-oriented requirements management frameworks for business process compliance

  2011influential reference
• SafeSlice: a model slicing and design safety inspection tool for SysML

  2011cited by this paper
• CertWare: A workbench for safety case production and analysis

  2011influential reference
• MoScript: A DSL for Querying and Manipulating Model Repositories

  2011cited by this paper
• Towards dynamic backward slicing of model transformations

  2011cited by this paper
• Modeling model slicers

  2011influential reference
• A Dynamic Slicing Technique for UML Architectural Models

  2011influential reference
• Emerging Challenges in Information Systems Research for Regulatory Compliance Management

  2010influential reference
• A Dependability Case Editor with Pattern Library

  2010cited by this paper
• Slicing of UML Models

  2010cited by this paper
• Henshin: advanced concepts and tools for in-place EMF model transformations

  2010influential reference
• Model-Based Assurance for Justifying Automotive Functional Safety

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

  2010cited by this paper
• Analysing Dependability Case Arguments Using Quality Models

  2009cited by this paper
• The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification

  2009cited by this paper
• Sequence Diagram Slicing

  2009cited by this paper
• Safety Case Development as an Information Modelling Problem

  2009cited by this paper
• Using Macromodels to Manage Collections of Related Models

  2009cited by this paper
• Program slicing

  2008cited by this paper
• MOOGLE: A Model Search Engine

  2008cited by this paper
• A Model-Driven Approach to Assuring Process Reliability

  2008cited by this paper
• UniTI: a unified transformation infrastructure

  2007cited by this paper
• An Eclipse-based tool framework for software model management

  2007influential reference
• Google's MapReduce programming model - Revisited

  2007cited by this paper
• The Benefits of Electronic Safety Cases

  2007cited by this paper
• Towards a compliance support framework for global software companies

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

  2007influential reference
• A manifesto for model merging

  2006cited by this paper
• Performing systematic literature reviews in software engineering

  2006cited by this paper
• Model-Driven Software Development: Technology, Engineering, Management

  2006cited by this paper

• Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study

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

  2020cites this paper
• Just Enough Formality in Assurance Argument Structures

  2020cites this paper
• Querying Automotive System Models and Safety Artifacts with MMINT and Viatra

  2019cites 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

  2019influential citation
• Heterogeneous megamodel management using collection operators

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

  2018cites this paper