Model-driven development in hardware-software co-design of controllers for cyber-physical systems
Lúıs Gomes, Anikó Costa · 2023
In this paper a model-driven development approach based on Petri nets behavioural descriptions and fully supported by a web-based tool framework is presented. Its application and exploitation within a MSc course on hardware-software co-design supported by reconfigurable systems is used to validate its adequacy. The proposed model-driven development approach (based on Petri nets modeling) is targeted to address distributed controllers systems as part of cyber-physical systems (seen as globally-asynchronous locally-synchronous systems) and supports all the development phases from modeling and specification to deployment into implementation platforms (without writing a line of code), and including analysis activities, such as simulation and properties verification, as well as full support to integrate hardware-software co-design techniques when mapping components into execution platforms.