Buchumschlag

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Salem, Nayel Fabian, Nolte, Marcus, Haber, Veronica, Menzel, Till, Steege, Hans, Graubohm, Robert, Maurer, Markus
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Artificial Intelligence Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Assumptions with Respect to Occlusions in Urban Environments for Automated Vehicle Speed Decisions
von: Graubohm, Robert, et al.
Veröffentlicht: (2023)

A Review of Conceptualizations of Safety and Risk in Current Automated Driving Regulation
von: Nolte, Marcus, et al.
Veröffentlicht: (2025)

Risk Management Core -- Towards an Explicit Representation of Risk in Automated Driving
von: Salem, Nayel Fabian, et al.
Veröffentlicht: (2023)

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
von: Vogelsang, Andreas, et al.
Veröffentlicht: (2025)

Toward a Harmonized Approach -- Requirement-based Structuring of a Safety Assurance Argumentation for Automated Vehicles
von: Loba, Marvin, et al.
Veröffentlicht: (2025)

Approaching Safety-Argumentation-by-Design: A Requirement-based Safety Argumentation Life Cycle for Automated Vehicles
von: Loba, Marvin, et al.
Veröffentlicht: (2025)

What's Really Different with AI? -- A Behavior-based Perspective on System Safety for Automated Driving Systems
von: Nolte, Marcus, et al.
Veröffentlicht: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
von: Krook, Jonas, et al.
Veröffentlicht: (2022)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
von: Gao, Hui, et al.
Veröffentlicht: (2023)

Towards Automated Driving Violation Cause Analysis in Scenario-Based Testing for Autonomous Driving Systems
von: Wan, Ziwen, et al.
Veröffentlicht: (2024)

Enhancing Requirements Traceability Link Recovery: A Novel Approach with T-SimCSE
von: Wang, Ye, et al.
Veröffentlicht: (2026)

Towards an Ontology for the Foundations of Software Languages
von: Lämmel, Ralf
Veröffentlicht: (2026)

UOOR: Seamless and Traceable Requirements
von: Naumcheva, Maria, et al.
Veröffentlicht: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework
von: de Gelder, E., et al.
Veröffentlicht: (2020)

Natural Language Processing for Requirements Traceability
von: Guo, Jin L. C., et al.
Veröffentlicht: (2024)

Understanding Collective Social Behavior in OSS Communities: A Co-editing Network Analysis of Activity Cascades
von: Qarkaxhija, Lisi, et al.
Veröffentlicht: (2025)

Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study
von: Ceka, Ira, et al.
Veröffentlicht: (2025)

Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications
von: Borg, Markus
Veröffentlicht: (2024)

Specification Vibing for Automated Program Repair
von: Zhu, Taohong, et al.
Veröffentlicht: (2026)

Introducing Traceability in GitHub for Medical Software Development
von: Stirbu, Vlad, et al.
Veröffentlicht: (2021)

Taxonomic Trace Links: Rethinking Traceability and its Benefits
von: Abdeen, Waleed, et al.
Veröffentlicht: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
von: Tagliaferro, Alberto, et al.
Veröffentlicht: (2026)

Auxiliary Artifacts in Requirements Traceability: A Systematic Mapping Study
von: Abdeen, Waleed, et al.
Veröffentlicht: (2025)

Classifier or Prompt: A Case Study on Legal Requirements Traceability
von: Etezadi, Romina, et al.
Veröffentlicht: (2025)

A Minimal Executable Proof for Multi-Language Contract Traceability
von: Kasselman, Werner
Veröffentlicht: (2026)

Towards Using Behavior Trees in Industrial Automation Controllers
von: Sidorenko, Aleksandr, et al.
Veröffentlicht: (2024)

Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks
von: Masoudifard, Arsalan, et al.
Veröffentlicht: (2024)

Automated Validation of Insurance Applications against Calculation Specifications
von: Datar, Advaita, et al.
Veröffentlicht: (2022)

Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
von: Fuchß, Dominik, et al.
Veröffentlicht: (2025)

ReqToCode: Embedding Requirements Traceability as a Structural Property of the Codebase
von: Schlathölter, Thorsten
Veröffentlicht: (2026)

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications
von: Sridhar, Chandrasekar, et al.
Veröffentlicht: (2025)

Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
von: Nath, Sristy Sumana, et al.
Veröffentlicht: (2025)

SoK: Systematizing Software Artifacts Traceability via Associations, Techniques, and Applications
von: Chen, Zhifei, et al.
Veröffentlicht: (2026)

Automated LTL Specification Generation from Industrial Aerospace Requirements
von: Ma, Zhi, et al.
Veröffentlicht: (2026)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

Approaching Current Challenges in Developing a Software Stack for Fully Autonomous Driving
von: Sagmeister, Simon, et al.
Veröffentlicht: (2025)

Treating Run-time Execution History as a First-Class Citizen: Co-Versioning Run-time Behavior alongside Code
von: Kessel, Marcus
Veröffentlicht: (2026)

On the Robustness Evaluation of 3D Obstacle Detection Against Specifications in Autonomous Driving
von: Pham, Tri Minh Triet, et al.
Veröffentlicht: (2024)

STADA: Specification-based Testing for Autonomous Driving Agents
von: Saha, Joy, et al.
Veröffentlicht: (2026)