Copertina

Safety Factories - a Manifesto

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cârlan, Carmen, Ratiu, Daniel, Wagner, Michael
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

The Open Autonomy Safety Case Framework
di: Wagner, Michael, et al.
Pubblicazione: (2024)

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

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

Manifesto from Dagstuhl Perspectives Workshop 24452 -- Reframing Technical Debt
di: Avgeriou, Paris, et al.
Pubblicazione: (2025)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
di: A., Gustavo Quiros, et al.
Pubblicazione: (2025)

Machine Learning with Requirements: a Manifesto
di: Giunchiglia, Eleonora, et al.
Pubblicazione: (2023)

SWE-Factory: Your Automated Factory for Issue Resolution Training Data and Evaluation Benchmarks
di: Guo, Lianghong, et al.
Pubblicazione: (2025)

Measuring Agile Agreement: Development and Validation of the Manifesto and Principle Scales
di: Matton, Nicolas, et al.
Pubblicazione: (2025)

Is It Safe To Learn And Share? On Psychological Safety and Social Learning in (Agile) Communities of Practice
di: Verwijs, Christiaan, et al.
Pubblicazione: (2025)

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

Different Debt: An Addition to the Technical Debt Dataset and a Demonstration Using Developer Personality
di: Graf-Vlachy, Lorenz, et al.
Pubblicazione: (2024)

The Type to Take Out a Loan? A Study of Developer Personality and Technical Debt
di: Graf-Vlachy, Lorenz, et al.
Pubblicazione: (2023)

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
di: Aslam, Iqra, et al.
Pubblicazione: (2023)

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

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
di: Eris, Halit, et al.
Pubblicazione: (2025)

Developing Compelling Safety Cases
di: Hawkins, Richard
Pubblicazione: (2025)

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
di: Hassani, Shabnam, et al.
Pubblicazione: (2025)

Centralization potential of automotive E/E architectures
di: Mauser, Lucas, et al.
Pubblicazione: (2024)

The Capability of Code Review as a Communication Network
di: Dorner, Michael, et al.
Pubblicazione: (2025)

The AI-Native Large-Scale Agile Software Development Manifesto
di: Britto, Ricardo, et al.
Pubblicazione: (2026)

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

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

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

Comparing ML-Specific and General Python Code Smells Across Project Characteristics
di: Agh, Halimeh, 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)

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
di: Blyth, Scott, et al.
Pubblicazione: (2025)

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)

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)

Instruction Adherence in Coding Agent Configuration Files: A Factorial Study of Four File-Structure Variables
di: McMillan, Damon
Pubblicazione: (2026)

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)

Information-Theoretic Detection of Unusual Source Code Changes
di: Torres, Adriano, et al.
Pubblicazione: (2025)

Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review
di: Zyberaj, Denesa, et al.
Pubblicazione: (2025)

Comparing Open-Source and Commercial LLMs for Domain-Specific Analysis and Reporting: Software Engineering Challenges and Design Trade-offs
di: Koraag, Theo, et al.
Pubblicazione: (2025)

GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
di: Amareen, Saleh, et al.
Pubblicazione: (2026)

Thermal Modeling and Optimal Allocation of Avionics Safety-critical Tasks on Heterogeneous MPSoCs
di: Benedikt, Ondřej, et al.
Pubblicazione: (2025)