Research Area A: Formalizing Consistency
Research Area A is concerned with formalizing concepts of consistency in CPS development. This includes understanding different notions of consistency, their properties (in particular in terms of induced complexity when designing V-SUM meta-models) and taking into account specific aspects of CPS.