We present an introduction to the usage of Rig, our Cinco product for the graphical modeling
of CI/CD workflows. While CI/CD has become a de facto standard in modern software …

The integration of connected and autonomous technologies in safety-critical and cyber-
physical systems offers great potential in the vital application domains of transportation …

Correctness-by-Construction (CbC) is an incremental software development technique in
the field of formal methods to create functionally correct programs guided by a specification …

Considering the design of safety-critical embedded systems for future mobility solutions, the
XANDAR project employs the X-by-Construction paradigm to meet non-functional …

We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in
an existing programming language in the presence of traditional post-hoc verification (PhV) …

Implementing safety-critical systems on heterogeneous multicore platforms is a challenging
task. Especially in mixed-criticality scenarios, it requires fine-grained control over potentially …

Correctness-by-Construction (CbC) is an incremental program construction process to
construct functionally correct programs. The programs are constructed stepwise along with a …

During the past decade, researchers have investigated X-by-Construction (XbC),
encompassing extensions beyond correctness concerns as in the more traditional …

The seamless and secure integration of subsystems is a pivotal requirement within
contemporary automotive development, necessitating the application of design …

The safe and secure implementation of increasingly complex features is a major challenge
in the development of autonomous and distributed embedded systems. Automated design …