Abstract The Unified Foundational Ontology (UFO) was developed over the last two decades
by consistently putting together theories from areas such as formal ontology in philosophy …

Cyber-physical systems have emerged as a new engineering paradigm, which combine the
cyber and physical world with comprehensive computational and analytical tools to solve …

Considerations of safety and security in the early stage of system life cycle are essential to
collect and prioritize operation needs, determine feasibility of the desired system, and …

While ontology comparison and alignment have been extensively researched in the last
decade, there are still some challenges to these disciplines, such as incomplete ontologies …

As a part of the digital revolution of railway systems, an autonomous driving train will use a
complete and precise map of railway infrastructure to conduct operational actions …

Integrating new functions into the aircraft can, for example, increase performance or reduce
fuel consumption. Since the installation of such additional functions increases the overall …

This paper presents the Ontology Language for the Dependability of Automated Systems
(OLDAS), a modeling language based on Unified Modeling Language (UML) that aims to …

Safety requirements describe risk mitigations against failures that may cause catastrophic
consequences on human life, environment and facilities. To be able to implement the correct …

The progressively dominant role of software in safety-critical systems raise concerns about
the software dependability. There are limited mature practices and guides for assessing …

Industrial equipment, containing or converting hazardous substances, is subject to ageing
phenomena, which can affect the safety levels of the entire establishment as they increase …