Modeling and rapid prototyping of avionics using STATEMATE

The paper presents a methodology and an experiment for rapid avionics prototyping using the STATEMATE environment. The methodology is based on SA-RT structured analysis principles. It shows first the context of STATEMATE use in the current avionics development process. Therefore, it sets up some key steps and use recommendations in order to enhance the modeling quality The experiment deals with the re-design of all existing avionics system that is part of the AIRBUS A340 on-board systems family. It highlights the STATEMATE modeling, validation and rapid prototyping facilities. Results and perspectives are also outlined.