The field of knowledge representation and safety-critical systems is witnessing significant developments, driven by the need for more effective and efficient methods for representing and analyzing complex systems. A key direction in this area is the integration of knowledge graphs and semantic modeling to facilitate the synthesis of meaningful fault trees and improve system-level diagnostics. Another important trend is the formalization of operational design domains (ODDs) to ensure rigorous assessments of operational contexts and enable the development of more reliable and trustworthy systems. Noteworthy papers in this regard include 'Fault Tree Synthesis from Knowledge Graphs' and 'Formalizing Operational Design Domains with the Pkl Language'. These papers demonstrate innovative approaches to advancing the field, with potential applications in various domains, including automotive and aerospace. Overall, the field is moving towards more comprehensive and systematic methods for representing and analyzing complex systems, with a focus on improving safety, reliability, and trustworthiness.
Advancements in Knowledge Representation and Safety-Critical Systems
Sources
Fault Tree Synthesis from Knowledge Graphs
The Differential Meaning of Models: A Framework for Analyzing the Structural Consequences of Semantic Modeling Decisions
Disentangling the schema turn: Restoring the information base to conceptual modelling
Methodology for Test Case Allocation based on a Formalized ODD
Formalizing Operational Design Domains with the Pkl Language
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
Semantically Reflected Programs
Oruga: An Avatar of Representational Systems Theory
Evaluation and Comparison Semantics for ODRL
Code2MCP: A Multi-Agent Framework for Automated Transformation of Code Repositories into Model Context Protocol Services
Agentic Software Engineering: Foundational Pillars and a Research Roadmap
HECATE: An ECS-based Framework for Teaching and Developing Multi-Agent Systems
Modeling in the Design Multiverse
Design and Implementation of a Domain-specific Language for Modelling Evacuation Scenarios Using Eclipse EMG/GMF Tool
Paper2Agent: Reimagining Research Papers As Interactive and Reliable AI Agents
EnvX: Agentize Everything with Agentic AI
Safety Factories -- a Manifesto