Cover Image

Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hunter, Josh, McDermid, John, Burton, Simon
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Insights from Railway Professionals: Rethinking Railway assumptions regarding safety and autonomy
by: Hunter, Josh, et al.
Published: (2025)

Milestone Determination for Autonomous Railway Operation
by: Hunter, Josh, et al.
Published: (2025)

Key Safety Design Overview in AI-driven Autonomous Vehicles
by: Vyas, Vikas, et al.
Published: (2024)

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

Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
by: Barhoumi, Oumaima, et al.
Published: (2026)

Foundational Analysis of Safety Engineering Requirements (SAFER)
by: Chemo, Noga, et al.
Published: (2026)

Liquid Interfaces: A Dynamic Ontology for the Interoperability of Autonomous Systems
by: de Sá, Dhiogo, et al.
Published: (2026)

Generative AI for Testing of Autonomous Driving Systems: A Survey
by: Song, Qunying, et al.
Published: (2025)

LLM-Empowered Functional Safety and Security by Design in Automotive Systems
by: Petrovic, Nenad, et al.
Published: (2026)

Multimodal Learning for Just-In-Time Software Defect Prediction in Autonomous Driving Systems
by: Mohammad, Faisal, et al.
Published: (2025)

Agyn: A Multi-Agent System for Team-Based Autonomous Software Engineering
by: Benkovich, Nikita, et al.
Published: (2026)

Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems
by: Amini, Mohammad Hossein, et al.
Published: (2024)

A Case Study on AI Engineering Practices: Developing an Autonomous Stock Trading System
by: Grote, Marcel, et al.
Published: (2023)

Welcome Your New AI Teammate: On Safety Analysis by Leashing Large Language Models
by: Nouri, Ali, et al.
Published: (2024)

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

A Process Mining-Based System For The Analysis and Prediction of Software Development Workflows
by: Dorado, Antía, et al.
Published: (2025)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
by: Cheng, Mingfei, et al.
Published: (2025)

Agentsway -- Software Development Methodology for AI Agents-based Teams
by: Bandara, Eranga, et al.
Published: (2025)

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
by: Kumar, Aman, et al.
Published: (2024)

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
by: Biagiola, Matteo, et al.
Published: (2023)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
by: Gleirscher, Mario
Published: (2019)

Beyond Code Snippets: Benchmarking LLMs on Repository-Level Question Answering
by: Alebachew, Yoseph Berhanu, et al.
Published: (2026)

Upstream and Downstream AI Safety: Both on the Same River?
by: McDermid, John, et al.
Published: (2024)

AgileCoder: Dynamic Collaborative Agents for Software Development based on Agile Methodology
by: Nguyen, Minh Huynh, et al.
Published: (2024)

A Methodology for Selecting and Composing Runtime Architecture Patterns for Production LLM Agents
by: Srinivasan, Vasundra
Published: (2026)

AI as Consumer and Participant: A Co-Design Agenda for MBSE Substrates and Methodology
by: Ji, Siyuan
Published: (2026)

AutoCodeRover: Autonomous Program Improvement
by: Zhang, Yuntong, et al.
Published: (2024)

Cognitive Platform Engineering for Autonomous Cloud Operations
by: Punniyamoorthy, Vinoth, et al.
Published: (2026)

Methodological Framework for Quantifying Semantic Test Coverage in RAG Systems
by: Broestl, Noah, et al.
Published: (2025)

Evaluating Large Language Models in Code Generation: INFINITE Methodology for Defining the Inference Index
by: Christakis, Nicholas, et al.
Published: (2025)

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

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
by: Zhang, Tian, et al.
Published: (2023)

Prompt2DAG: A Modular Methodology for LLM-Based Data Enrichment Pipeline Generation
by: Alidu, Abubakari, et al.
Published: (2025)

A Low-Code Methodology for Developing AI Kiosks: a Case Study with the DIZEST Platform
by: Moon, SunMin, et al.
Published: (2025)

Automated Root Cause Analysis System for Complex Data Products
by: Demarne, Mathieu, et al.
Published: (2024)

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
by: Bouzenia, Islem, et al.
Published: (2024)

ARIS: Autonomous Research via Adversarial Multi-Agent Collaboration
by: Yang, Ruofeng, et al.
Published: (2026)

MCP-Zero: Active Tool Discovery for Autonomous LLM Agents
by: Fei, Xiang, et al.
Published: (2025)

A Comprehensive Survey on Root Cause Analysis in (Micro) Services: Methodologies, Challenges, and Trends
by: Wang, Tingting, et al.
Published: (2024)