This website presents the activities and results of FIDEL project, a joint collaboration between the Department of Computer Science of University of Verona and Inria Sophia Antipolis Méditerranée.
Staff
- Franco Fummi
- Davide Quaglia
- Riccardo Muradore
- Michele Lora
- Antonio Portaluri
- Giovanni Liboni
- Stefano Centomo
- Enrico Fraccaroli
- Julien Deantoni
- Robert De Simone
Abstract
Cyber-Physical Systems (CPS) mangle aspects of the physical world (usually continuous) with cyber reactive systems (usually discrete). Nowadays, each domain is covered by dedicated tools offering simulation capabilities (e.g., ANSYS Fluent for fluid dynamics or Scade for cyber controllers). In order to understand the whole system, co-simulation, where the different models/simulators are jointly working, isrequired.
The last years showed a growing interest in the Functional Mockup interface (FMI), a tool-independent industry-supported standard to co-simulate multi-domain systems. FMI provides a standardized interface for the different models and their simulators. Then, an integrator is in charge of manually writing the so called master algorithm, which is used to convey data and ensure time consistency between the different models/simulators at specific discrete time points. This does not fit well cyber models for digital hardware or network where a discrete-event simulator is used. The current solution consists in forcing simulators to work synchronously at the speed of the slowest one thus limiting simulation speed. Finally, even if FMI is currently supported by 89 tools from 16 companies and research institutions, common hardware description languages (e.g., VHDL, Verilog and SystemC) are not supported.
To address the highlighted problems the project has the following objectives: 1) a methodology to import HDL models into FMI co-simulation; 2) use of models information to automatically generate an efficient and correct by construction master algorithm; 3) identify limits of current FMI interface to propose a revision of the standard. The project outcomes will be demonstrated on a control scenario in which the cyber part is a virtual platform executing the control policy while the plant is modeled by an industry-level tool such as Matlab/Simulink and Scilab/Xcos.
Continue Reading here
Follow Project
