Copertina

Formal Approach to Safety‐Driven Dynamic Procedure Modeling

Fuente: Wiley Open Access

Salvato in:

Dettagli Bibliografici
Autori principali:	Jean‐Charles Chaudemar, Kevin Delmas, Charles Mathou, Pierre de Saqui‐Sannes
Natura:	Artículo Open Access
Pubblicazione:	Wiley 2026
Soggetti:	Systems Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning‐Enabled Autonomous Agent
di: Parth Ganeriwala, et al.
Pubblicazione: (2025)

Design of Safety Pattern for eVTOL Aircraft Systems Based on MBSE—A Comprehensive Approach
di: Boyang Li, et al.
Pubblicazione: (2025)

Transforming Natural Language Requirements to Formalism Using LLMs
di: Baoluo Meng, et al.
Pubblicazione: (2025)

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

Addressing Complexity in System of Systems With GraphRAG: An AI‐Driven Framework for Dynamic Data Integration
di: Yinchien Huang, et al.
Pubblicazione: (2025)

Model‐Driven Engineering for Digital Twins: Opportunities and Challenges
di: Judith Michael, 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)

Model‐Based Approach for Civil Aviation Material Support System Modeling
di: Jie Chen, et al.
Pubblicazione: (2025)

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

Model‐Based Modularization Approach for Reconfigurable System Architecture Design
di: Zhemei Fang, et al.
Pubblicazione: (2026)

Lean Modeling and Simulation Approach for Improving CFB Boiler Start‐Up Capability
di: Timo Yli‐Fossi, et al.
Pubblicazione: (2025)

Computational Foundations for Strategic Coopetition: Formalizing Trust and Reputation Dynamics
di: Pant, Vik, et al.
Pubblicazione: (2025)

A Model‐Based System Reliability Design Method Combining Dynamic Visualization Analysis
di: Yuan Wenqiang, et al.
Pubblicazione: (2026)

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

Model‐based systems engineering and safety assessment: A workflow for mechatronic systems design
di: Imane Bouhali, et al.
Pubblicazione: (2024)

TDFlow: Agentic Workflows for Test Driven Development
di: Han, Kevin, et al.
Pubblicazione: (2025)

Quantifying the Epistemic Value of Verification: An Information‐Theoretic Approach
di: Jack Fitzpatrick, et al.
Pubblicazione: (2025)

Spiral Approach for Non‐Software Product and Engineering System Development
di: Isha Amod Gujarathi, et al.
Pubblicazione: (2025)

Computational Foundations for Strategic Coopetition: Formalizing Interdependence and Complementarity
di: Pant, Vik, et al.
Pubblicazione: (2025)

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
di: da Silva, Luis Miguel Vieira, et al.
Pubblicazione: (2025)

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

Advancing Human‐AI Collaboration in Small and Medium‐Sized Enterprises: A Systems Engineering Approach
di: Luis Flavio Ortolano, et al.
Pubblicazione: (2025)

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

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

An Approach to Include Web-based Interaction Into Systems of Systems
di: Miguel Angel, Barcelona, et al.
Pubblicazione: (2016)

Safety Monitoring of Machine Learning Perception Functions: a Survey
di: Ferreira, Raul Sena, et al.
Pubblicazione: (2024)

Accelerating Drug Discovery Through Agentic AI: A Multi-Agent Approach to Laboratory Automation in the DMTA Cycle
di: Fehlis, Yao, et al.
Pubblicazione: (2025)

Assuring Safety of Vision-Based Swarm Formation Control
di: Hsieh, Chiao, et al.
Pubblicazione: (2022)

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

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
di: Bhardwaj, Varun Pratap
Pubblicazione: (2026)

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

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

Towards an Approach for Specifying Intelligent Systems Involving Foundation Model Based Agents
di: Araújo, Julia, et al.
Pubblicazione: (2025)

Data-Driven Estimation of Failure Probabilities in Correlated Structure-Preserving Stochastic Power System Models
di: Zhao, Hongli, et al.
Pubblicazione: (2024)

Traceability Support for Engineering Reviews of Horizontal Model Evolution
di: Johan Cederbladh, et al.
Pubblicazione: (2025)

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

Product Line Modeling Process to Manage Requirements Confidentiality and Variability
di: Michel Bourdellès, et al.
Pubblicazione: (2026)

Artificial Intelligence Enabled Systems Engineering Modeling With Retrieval Augmented Generation
di: Tomi Esho, et al.
Pubblicazione: (2026)