< retour aux publications

Co-specification for co-design in the development of avionics systems

Auteur(s) : A.E.K. Sahroui, A. Romdhani, A. Jeffroy, A. A. Jerraya

Journal : Control Engineering Practice

Volume : 4

Issue : 6

Pages : 871-876

Doi : 10.1016/0967-0661(96)00080-9

Hardware-software concurrent design, referred to as "co-design", is a new methodology that integrates the development of both hardware and software. It is made up mainly by the steps of specification, partitioning, and prototyping. This paper addresses the specification step. It proposes a specification paradigm based on the use of more than one single language. This approach is referred to as "co-specification". It deals with formalizing the requirements through several partial specifications. These are therefore composed in a unified model that is used for later co-design steps. The approach is illustrated through the specification of an avionics system that is part of the Airbus A340 on-board systems family.