Imagen de Portada

Model Based System Assurance Using the Structured Assurance Case Metamodel

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wei, Ran, Kelly, Tim P., Dai, Xiaotian, Zhao, Shuai, Hawkins, Richard
Formato:	Preprint
Publicado:	2019
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
por: Wei, Ran, et al.
Publicado: (2024)

Confidence in Assurance 2.0 Cases
por: Bloomfield, Robin, et al.
Publicado: (2024)

Using Assurance Cases to Guide Verification and Validation of Research Software
por: Smith, W. Spencer, et al.
Publicado: (2024)

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
por: Odu, Oluwafemi, et al.
Publicado: (2024)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
por: Chen, Shufeng, et al.
Publicado: (2025)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
por: Murphy, Logan, et al.
Publicado: (2024)

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
por: Gohar, Usman, et al.
Publicado: (2024)

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
por: Mohamad, Mazen
Publicado: (2024)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
por: Gohar, Usman, et al.
Publicado: (2025)

Evaluating Assurance Cases as Text-Attributed Graphs for Structure and Provenance Analysis
por: Ikhwantri, Fariz, et al.
Publicado: (2026)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
por: McGeorge, Dag, et al.
Publicado: (2024)

Reconciling Safety Measurement and Dynamic Assurance
por: Denney, Ewen, et al.
Publicado: (2024)

Quality Assurance Practices in Agile Methodology
por: Wakili, Almustapha A., et al.
Publicado: (2024)

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
por: Yu, Gerhard, et al.
Publicado: (2025)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
por: Shahandashti, Kimya Khakzad, et al.
Publicado: (2024)

Towards Continuous Assurance with Formal Verification and Assurance Cases
por: Abeywickrama, Dhaminda B., et al.
Publicado: (2025)

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
por: Odu, Oluwafemi, et al.
Publicado: (2024)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
por: Murphy, Logan, et al.
Publicado: (2025)

Continuous Observability Assurance in Cloud-Native Applications
por: Borges, Maria C., et al.
Publicado: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
por: Lubos, Sebastian, et al.
Publicado: (2024)

Embedding Quality Assurance in project-based learning
por: Spichkova, Maria
Publicado: (2025)

OntoGSN: An Ontology-Based Framework for Semantic Management and Extension of Assurance Cases
por: Momcilovic, Tomas Bueno, et al.
Publicado: (2025)

Explainable Compliance Detection with Multi-Hop Natural Language Inference on Assurance Case Structure
por: Ikhwantri, Fariz, et al.
Publicado: (2025)

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering
por: Dornauer, Benedikt, et al.
Publicado: (2025)

State-Of-The-Practice in Quality Assurance in Java-Based Open Source Software Development
por: Khatami, Ali, et al.
Publicado: (2023)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
por: Murugesan, Anitha, et al.
Publicado: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
por: Mohamad, Mazen
Publicado: (2025)

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
por: Sorokin, Lev, et al.
Publicado: (2024)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
por: Fransson, Max, et al.
Publicado: (2024)

Business Process Modeling Using a Metamodeling Approach
por: Vitolins, Valdis
Publicado: (2025)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
por: Chechik, Marsha, et al.
Publicado: (2025)

Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism Application Testing
por: Ahmed, Bestoun S., et al.
Publicado: (2025)

VibeContract: The Missing Quality Assurance Piece in Vibe Coding
por: Wang, Song
Publicado: (2026)

What Makes a Great Software Quality Assurance Engineer?
por: Farias, Roselane Silva, et al.
Publicado: (2024)

Fostering Microservice Maintainability Assurance through a Comprehensive Framework
por: Abdelfattah, Amr S.
Publicado: (2024)

Towards a Robust Quality Assurance Framework for Cloud Computing Environments
por: Alharbi, Mohammed, et al.
Publicado: (2025)

AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems
por: Badagi, Chitra, et al.
Publicado: (2026)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
por: Skoglund, Martin, et al.
Publicado: (2025)

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
por: Bouchekir, Radouane, et al.
Publicado: (2025)

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
por: Momcilovic, Tomas Bueno, et al.
Publicado: (2024)