Methodology for fast prototyping of distributed real-time systems

Development of complex systems requires the use of design methodologies in order to respect time constraints and accurately fit in the specifications. We propose a general methodology to help fast prototyping of distributed real-time systems. It consists of taking advantage from available tools based on rigorous methods and implementing fast and not very costly distributed and real-time complex systems. Firstly, the tool Tina is used to specify and verify the system's discrete part and subsequently, the Stateflow tool is used to design it. Finally the Simulink tool is used to design the system's continuous part. The ultimate purpose of this methodology is to generate the code for the final test automatically.