Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering

@InProceedings{MPM4CPS2024,
  author       = {Kevin Feichtinger and
                  Karl Kegel and
                  Romain Pascual and
                  Uwe A\ss{}mann and
                  Bernhard Beckert and
                  Ralf Reussner},
  title        = {Towards Formalizing and Relating Different Notions of
                  Consistency in Cyber-Physical Systems Engineering},
  year         = {2024},
  isbn         = {9798400706226},
  publisher    = {Association for Computing Machinery},
  address      = {New York, NY, USA},
  doi          = {10.1145/3652620.3688565},
  abstract     = {Cyber-Physical Systems (CPSs) are highly complex
                  systems integrating computational and physical
                  processes and consist of many interdependent and
                  composed parts. Engineers from different domains,
                  e.g., mechanical, electrical, and software engineering,
                  cooperate to develop and deploy new CPSs. Engineers
                  often only work on task-specific artifacts and models
                  to reduce the complexity of the overall CPS. These
                  models and artifacts form different views on the CPS,
                  which must be kept consistent to enable development and
                  system analysis. However, this inter-view consistency
                  management lacks tool support and remains a tedious
                  manual task. Hence, this results in late integration
                  risks and may even lead to failed products during
                  deployment. To manage consistency between models,
                  artifacts, and views sufficiently, we need an
                  understanding of the available notions of consistency
                  and their properties. We need to identify, classify,
                  formalize, and relate notions of consistency from
                  different domains to derive a common definition for a
                  consistency-aware, view-based development process for
                  CPSs. This vision paper presents a set of existing
                  notions of consistency we can build on and outline our
                  vision towards consistency-aware CPS engineering.},
  booktitle    = {Proceedings of the ACM/IEEE 27th International
                  Conference on Model Driven Engineering Languages and
                  Systems},
  pages        = {915--919},
  numpages     = {5},
  keywords     = {cyber-physical systems engineering,
                  notions of consistency, vision},
  venue        = {Linz, Austria},
  eventdate    = {2024-09-22/2024-09-27},
  series       = {MODELS Companion '24}
}