Copertina

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gleirscher, Mario, Carlan, Carmen
Natura:	Preprint
Pubblicazione:	2017
Soggetti:	Software Engineering Systems and Control
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 Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
di: Foster, Simon, et al.
Pubblicazione: (2020)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
di: Gleirscher, Mario, et al.
Pubblicazione: (2021)

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

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

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

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

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

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

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

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
di: Mulayim, Ozan Baris, et al.
Pubblicazione: (2025)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
di: Gleirscher, Mario
Pubblicazione: (2019)

Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
di: Bora, Arunabh
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
di: Deantoni, Julien, et al.
Pubblicazione: (2024)

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

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
di: Xu, Kangwei, et al.
Pubblicazione: (2025)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
di: Mandrioli, Claudio, et al.
Pubblicazione: (2024)

COOCK project Smart Port 2025 D3.1: "To Twin Or Not To Twin"
di: Paredis, Randy, et al.
Pubblicazione: (2024)

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

Continuous Evolution of Digital Twins using the DarTwin Notation
di: Mertens, Joost, et al.
Pubblicazione: (2024)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
di: Van Kenhove, Michiel, et al.
Pubblicazione: (2024)

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
di: Goffi, Pierre-Emmanuel, et al.
Pubblicazione: (2025)

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

Exploring LLMs for Verifying Technical System Specifications Against Requirements
di: Reinpold, Lasse M., et al.
Pubblicazione: (2024)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
di: Bhadani, Rahul, et al.
Pubblicazione: (2024)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
di: Paul, Kawshik Kumar, et al.
Pubblicazione: (2025)