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

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 specifica...

Full description

Saved in:
Bibliographic Details
Published in:Control engineering practice 1996, Vol.4 (6), p.871-876
Main Authors: Sahraoui, A.E.K, Romdhani, M, Jeffroy, A, Jerraya, A.A
Format: Article
Language:English
Subjects:
computer hardware
computer software
Engineering Sciences
Micro and nanotechnologies
Microelectronics
systems design
Systems methodology
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0967-0661
1873-6939
DOI:10.1016/0967-0661(96)00080-9