Section: Application Domains
Our contribution to the safety in transport applications are twofold. In the context of the ModEasy Interreg project we have studied anti-collision radars for cars and in the context of the I-Trans competitiveness pole we collaborate with the INRETS on the model driven test of the ERTMS european railway signalization standard.
The automotive industry has specific problems, particularly due to increased safety requirements and legal framework. The automobile is a hostile environment: especially in the engine compartment. Some failure modes will be benign, whereas others may be dangerous and cause accidents and endanger human life. The Annex to the IEE Guidance Document on EMC and Functional Safety [ref] enumerates 21 electronic systems that may be present in the modern automobile. 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 want to model a cruise control connected to the satellite positioning system, GPS. From a UML specification and using classical verification and model checking techniques, we want to assure the correct behaviour of the system. Using model transformation allows the guarantee of these verifications at the lower levels like SystemC/VHDL.
Collision avoidance radars are now integrated into high end models by car manufacturers. The current devices are however based on the frequency modulation and their maximum range is limited if the emitted power is kept under the recommended values The receiver uses digital correlators which have been implemented via DSP microprocessors. The codes are generated using FPGA devices. In order to achieve greater integration and improve security, we are now seeking to design the major parts as embedded systems based on FPGA and SoC devices. In this context, the use of tools developed in the ModEasy project will improve and facilitate the design of such complex systems. 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.
Our other application that has started in late 2006 is the study of a model based test methodology for the ERTMS railway signalization standard. We aim at developping a test methodology that can be used to qualify parts of such a system. We develop general enough metamodels so that they can also be used to test applications developped with Gaspard2. Our approach is based on timing behaviour specifcation with MARTE time annotations and then derivation of test cases based on the analysis of these specifications (by Petri net tools for example).