Complexity Challenges in Cyber Physical Systems

8Simulation Model Continuity for Efficient Development of Embedded Controllers in Cyber‐Physical Systems

Rodrigo Castro¹, Ezequiel Pecker Marcosig², and Juan I. Giribet³

¹ Departamento de Computación, FCEyN, Universidad de Buenos Aires and Instituto de Ciencias de la Computación, CONICET, Buenos Aires, Argentina

² Departamento de Ingeniería Electrónica, FIUBA, Universidad de Buenos Aires and Instituto de Ciencias de la Computación, CONICET, Buenos Aires, Argentina

³ Departamento de Ingeniería Electrónica y Matemática, FIUBA, Universidad de Buenos Aires, and Instituto Argentino de Matemática Alberto Calderón, CONICET, Buenos Aires, Argentina

8.1 Introduction and Motivation

The efficient development of embedded controllers for Cyber‐Physical Systems (CPS) is under unprecedented pressure, driven by an upsurge of markets combining the Internet of Things (IoT) and flexible production systems (Marwedel 2018). Salient properties in this setting are the uncertainty and rapid evolution of requirements, pushed by a pervasive availability of cheap, yet powerful technology for sensors, actuators, and embedded computing platforms.

For decades the software engineering community has spent a tremendous effort in creating formal methods and tools to develop controllers for embedded systems, in particular for those of hybrid nature and with real‐time constraints. Modern design methods for hybrid controllers tend to rely on unified modeling frameworks, which capture and combine together the expressive ...