Multidirectional Modular Conditional Safety Certificates Clause Samples

Multidirectional Modular Conditional Safety Certificates. The Multidirectional Modular Conditional Safety Certificates (M2C2) [1] are an evolution of application runtime safety certification that takes into consideration vertical and horizontal interfaces. The approach is realized through the synergy between VerSaI [2] (in the context of vertical interfaces) and ConSerts [3] (in the context of horizontal interfaces). In the next subsections we will further develop these concepts.