An experience with a multiformalism Specificantion of an Avionics System

摘要

This paper introduces a novel approach~1 in the development of systems. The approch is based on a selective use of formaly/semiformal specification languages by using the multiparadigm/multiformalism approach. It alsows to combine different specification langeuages in the same environoment. Used methods are StateCharts, SAO, and SDL for a specific avionics system as CMWC340. We given also an extended approach based on the same framework using statmeate and VDM to derive a global formal specification for the systems. This work can be considered as an experience return with preliminary results and also in an infrastructure/exploratory study. An ongoing dperspective is the use of a common format based on industrial standard as VHDL-AMS.