Research Area C: Engineering with Consistency

In Research Area C, we will investigate how the methods developed in this CRC for maintaining consistency in the distributed and incremental development of CPS can reduce the effort and improve the quality of products. More specifically, we see two areas of challenges which arise through unmanaged dependencies:

  • Managing Product Generations, Versions, Variants: How can a common configuration space for a technical system across multiple tools (resulting in different views), variants, and product generations be achieved? How can dependencies introduced through the re-use of models across product generations be handled?
  • Incremental Quality Analyses and Certification: How can evidence of quality properties be transferred from one variant or version to another How can the model analyses affected by changes at the component or subsystem level be identified? How can the formal approaches of this CRC be applied for use in certification processes of OTA updates, such as UNECE 156, under real-world conditions?