1.6.2 An Experience with a Multiformalism Specification of an Avionics System
Issa Traoré, A. Jeffroy, P. de Chazelles, M. Romdhani, A.E.K. Sahraoui · INCOSE International Symposium · 1998
ABSTRACT This paper introduces a novel approach in the development of systems. The approach is based on a selective use of formal/semi‐formal specification languages by using the multiparadigm/multiformalism approach. It allows to combine different specification languages in the same environment. Used methods are StateCharts, SAO, and SDL for a specific avionics system as CMWC340. We give also an extended approach based on the same framework using Statemate 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 perspective is the use of a common format based on industrial standard as VHDL‐AMS.