Section: Application Domains
Our contribution to the safety in transport applications were twofold. In the context of the ModEasy Interreg project (http://www2.lifl.fr/modeasy ) we have studied anti-collision radars for cars and in the context of the I-Trans competitiveness pole we collaborated with the INRETS on the model driven test of the ERTMS European railway signalization standard. Today we continue to develop signal and image processing for transportation in the MED 3+3 project.
The automotive industry has specific problems, particularly due to increased safety requirements and legal framework. Some of these electronic systems have the potential to endanger the safety of vehicle occupants or other road users should an error or a mis-operation occur.
In the ModEasy Interreg project we modeled a cruise control connected to the satellite positioning system, GPS. From a UML specification and using classical verification and model checking techniques, we assured the correct behavior of the system. The codes are generated using FPGA devices. Moreover, as ModEasy is based on metamodels and transformations between metamodels, new algorithms or new FPGAs can rapidly be integrated in the system by the re-use of existing functional blocks.
Today form the Gaspard2 environment, we propose to model Network on Chip dedicated to Image processing. Using transformation chain, we target FPGA connected to intelligent camera. The embedded characteristics of this system can benefit of the SystemC simulation before synthesis to find the good number of processors on the NoC.