Imagen de Portada

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Krook, Jonas, Selvaraj, Yuvaraj, Ahrendt, Wolfgang, Fabian, Martin
Formato:	Preprint
Publicado:	2022
Materias:	Software Engineering Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
por: Patel, Milin, et al.
Publicado: (2025)

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
por: Salem, Nayel Fabian, et al.
Publicado: (2024)

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

Formalized Identification Of Key Factors In Safety-Relevant Failure Scenarios
por: Julitz, Tim Maurice, et al.
Publicado: (2024)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
por: Zacchi, João-Vitor, et al.
Publicado: (2025)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
por: Abbaspour, Alireza, et al.
Publicado: (2026)

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

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
por: Alexopoulos, Angelos, et al.
Publicado: (2025)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
por: Mittal, Saurabh, et al.
Publicado: (2024)

Formalization of the AADL Run-Time Services with Time
por: Larson, Brian R, et al.
Publicado: (2025)

Towards Using Behavior Trees in Industrial Automation Controllers
por: Sidorenko, Aleksandr, et al.
Publicado: (2024)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
por: Granberry, George, et al.
Publicado: (2025)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
por: Anik, Sheik Murad Hassan, et al.
Publicado: (2024)

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
por: Hans, Ole, et al.
Publicado: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
por: Ogundare, Oluwatosin, et al.
Publicado: (2026)

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

An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
por: Nouri, Ali, et al.
Publicado: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
por: Schubert, Richard, et al.
Publicado: (2026)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
por: Sinitsyn, Viktor, et al.
Publicado: (2025)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
por: Ellwein, Carsten, et al.
Publicado: (2025)

ACT: Automated CPS Testing for Open-Source Robotic Platforms
por: Krishnan, Aditya A., et al.
Publicado: (2026)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
por: Sidorenko, Aleksandr, et al.
Publicado: (2024)

LADRI: LeArning-based Dynamic Risk Indicator in Automated Driving System
por: Patel, Anil Ranjitbhai, et al.
Publicado: (2024)

LEADS: Lightweight Embedded Assisted Driving System
por: Fu, Tianhao, et al.
Publicado: (2024)

DarTwin made precise by SysMLv2 -- An Experiment
por: Haugen, Øystein, et al.
Publicado: (2025)

Automating Physics-Based Reasoning for SysML Model Validation
por: Chambers, Candice, et al.
Publicado: (2025)

A Theory-driven Interpretation and Elaboration of Verification and Validation
por: Kannan, Hanumanthrao, et al.
Publicado: (2025)

A SysML Profile for the Standardized Description of Processes during System Development
por: Beers, Lasse, et al.
Publicado: (2024)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
por: Clausen, Christian Skafte Beck, et al.
Publicado: (2024)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
por: Chrysostomou, Demetris, et al.
Publicado: (2025)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
por: Lewis, Charles, et al.
Publicado: (2026)

Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
por: Cavalcante, Everton, et al.
Publicado: (2024)

RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
por: Ueltschey, Charles Marion, et al.
Publicado: (2025)

EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
por: Yang, Huanqi, et al.
Publicado: (2024)

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
por: Wan, Hanlong, et al.
Publicado: (2025)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
por: Baumann, Nicolas, et al.
Publicado: (2024)

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
por: Ghosh, Bineet, et al.
Publicado: (2022)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
por: Zuo, Jian, et al.
Publicado: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
por: Wheaton, James S., et al.
Publicado: (2024)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
por: Jayasuriya, Dinithi, et al.
Publicado: (2026)