Industrial cyber–physical systems (iCPSs) are the backbone of the fourth industrial
revolution, facing more safety and security (S&S) challenges compared to traditional …

The safety-critical systems we are building today employ software, use physical and
cybernetic components, and have more interactions (including hierarchical controllers) …

Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …

Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. We need robust methods for handling the ever …

In the context of Safety Critical Systems (SCSs), safety measures derived from the
dysfunctional analysis are generally expressed in an informal way. However, in an early …

La sécurité-innocuité est une propriété émergente des systèmes critiques de sécurité (SCS),
notamment les systèmes ferroviaires. Cet aspect émergent complexifie leur processus du …

Safety and security ontologies quickly become essential support for integrating
heterogeneous knowledge from various sources. Today, there is little standardization of …

Traditional process modeling focuses on modeling activities for functional requirements. For
dependability requirements, a knowledge‐based aspect‐oriented software process …

Research in recent years has probed the integration of research in the fields of Software
Engineering and Semantic Web technologies in several domains. Semantic approaches in …

Modern collaborative and dynamic systems, such as System of Systems (SoS), can be
considered as a set of interacting entities where the interactions are seen as the core activity …