Nowadays systems are becoming more and more connected. Consequently, the co-
engineering of (cyber) security and safety life cycles becomes paramount. Currently, no …

Many cyber–physical systems (CPS) are subject to rigorous assurance and certification
processes to provide confidence that undue risks are not posed and thus the systems are …

Certification of large systems requires reasoning over complex, diverse evidential datasets
to determine whether its software is fit for purpose. This requires a detailed understanding of …

Cyber-physical systems are usually subject to assurance and certification processes,
including thorough requirements engineering tasks, to ensure that they are acceptably …

The rise of complex Cyber-Physical Systems has led to many initiatives to promote
automation of the assurance of their dependability. There exists mature practices and tools …

The complexity of develo** embedded electronic systems has been increasing especially
in the automotive domain due to recently added functional requirements concerning eg …

Most safety-critical systems must undergo assurance and certification processes. The
associated activities can be complex and labour-intensive, thus practitioners need suitable …

An evaluation of safety and security properties performed by an independent organisation
can be an important step towards establishing trust in Automated Driving Systems (ADS) …

Safety-critical systems are subject to rigorous verification and validation activities to
guarantee that their quality is sufficient and acceptable. Quality analysis does not only need …

To assure certain critical quality properties (eg, safety, security, or privacy), supervisory
authorities and industrial associations provide reference frameworks such as standards or …