Copertina

Developing Compelling Safety Cases

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Hawkins, Richard
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Model Based System Assurance Using the Structured Assurance Case Metamodel
di: Wei, Ran, et al.
Pubblicazione: (2019)

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

A Structured Approach to Safety Case Construction for AI Systems
di: Lee, Sung Une, et al.
Pubblicazione: (2026)

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

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
di: Imrie, Calum Corrie, et al.
Pubblicazione: (2025)

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
di: Hunter, Michael C., et al.
Pubblicazione: (2025)

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

The Role of Generative AI in Software Development Productivity: A Pilot Case Study
di: Coutinho, Mariana, et al.
Pubblicazione: (2024)

Safety Case Patterns for VLA-based driving systems: Insights from SimLingo
di: Yu, Gerhard, et al.
Pubblicazione: (2026)

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

Developer Productivity With and Without GitHub Copilot: A Longitudinal Mixed-Methods Case Study
di: Stray, Viktoria, et al.
Pubblicazione: (2025)

Enablers and Barriers of Empathy in Software Developer and User Interaction: A Mixed Methods Case Study
di: Gunatilake, Hashini, et al.
Pubblicazione: (2024)

How Do Developers Use Migration Guides? A Case Study of Log4j
di: Monno, Takahiro, et al.
Pubblicazione: (2026)

An Empirical Study of Developers' Challenges in Implementing Workflows as Code: A Case Study on Apache Airflow
di: Yasmin, Jerin, et al.
Pubblicazione: (2024)

Structured Safety Auditing for Balancing Code Correctness and Content Safety in LLM-Generated Code
di: Tan, Honghao, et al.
Pubblicazione: (2026)

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
di: Furia, Carlo A., et al.
Pubblicazione: (2021)

Safety Factories - a Manifesto
di: Cârlan, Carmen, et al.
Pubblicazione: (2025)

Governing the Commons: Code Ownership and Code-Clones in Large-Scale Software Development
di: Sundelin, Anders, et al.
Pubblicazione: (2024)

What's DAT? Three Case Studies of Measuring Software Development Productivity at Meta With Diff Authoring Time
di: Beller, Moritz, et al.
Pubblicazione: (2025)

Aspect-Oriented Programming in Secure Software Development: A Case Study of Security Aspects in Web Applications
di: Ukor, Mterorga
Pubblicazione: (2025)

Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson
di: Chaudhary, Daksh, et al.
Pubblicazione: (2024)

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

Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study
di: Liu, Mingwei, et al.
Pubblicazione: (2025)

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

Assessing a Safety Case: Bottom-up Guidance for Claims and Evidence Evaluation
di: Schnelle, Scott, et al.
Pubblicazione: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
di: Krook, Jonas, et al.
Pubblicazione: (2022)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
di: Gleirscher, Mario, et al.
Pubblicazione: (2017)

Safety Verification and Optimization in Industrial Drive Systems
di: Hasrat, Imran Riaz, et al.
Pubblicazione: (2025)

One Developer Is All You Need: A Case Study of an AI-Augmented One-Person Squad in a Brownfield Enterprise
di: Boas, Marcelo Vilas, et al.
Pubblicazione: (2026)

Causality-aware Safety Testing for Autonomous Driving Systems
di: Tang, Wenbing, et al.
Pubblicazione: (2025)

Relating System Safety and Machine Learnt Model Performance
di: Pai, Ganesh
Pubblicazione: (2025)

Towards Safety-Compliant Transformer Architectures for Automotive Systems
di: Kirchner, Sven, et al.
Pubblicazione: (2026)

Towards an Argument Pattern for the Use of Safety Performance Indicators
di: Ratiu, Daniel, et al.
Pubblicazione: (2024)

Reasoning over Precedents Alongside Statutes: Case-Augmented Deliberative Alignment for LLM Safety
di: Jin, Can, et al.
Pubblicazione: (2026)

Psychological Safety Framework in Pull-based Open Source Projects
di: Sesari, Emeralda, et al.
Pubblicazione: (2025)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
di: Jåtten, Bjørnar Haugstad, et al.
Pubblicazione: (2025)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
di: Kirchner, Sven, et al.
Pubblicazione: (2025)

GOOSE: Goal-Conditioned Reinforcement Learning for Safety-Critical Scenario Generation
di: Ransiek, Joshua, et al.
Pubblicazione: (2024)

SafePlanner: Testing Safety of the Automated Driving System Plan Model
di: Kim, Dohyun, et al.
Pubblicazione: (2026)

Adopting Use Case Descriptions for Requirements Specification: an Industrial Case Study
di: Frattini, Julian, et al.
Pubblicazione: (2025)