Beschreibung:
<jats:p>
Model-based design and development has been applied successfully to design and development of complex systems, including safety critical systems. It is also a promising approach for designing cyber-physical systems (CPSs). In this paper we propose a methodology for model-based design of CPSs where,
<jats:italic>logic programming</jats:italic>
extended with
<jats:italic>coinduction, constraints over reals</jats:italic>
, and
<jats:italic>coroutining</jats:italic>
is used for modeling CPSs. This logic programming realization can be used for verifying interesting properties as well as generating implementations of CPSs. We use the reactor temperature control system as a running example to illustrate the various steps of our methodology. We present a model of the system using our framework and verify the safety property of the system. We also show how parametric analysis can be performed in our framework.
</jats:p>