METHOD FOR ASSISTANCE WITH THE CONSTRUCTION AND VALIDATION OF AN AVIONICS PLATFORM
First Claim
1. A method for assisting the construction of an avionics platform, using a tool comprising a first functional database in which is stored a functional description of the said platform, a second material database in which is stored a material description of the said platform, and a workstation, linked to the first and second databases, said method being intended to implement a set of avionics functions, where each avionics function (Function) comprises one or more software modules (SystemFunctionOc), where any two software modules can exchange messages by means of a link (FctLinkOc), known as a functional link occurrence, where said avionics platform also comprises items of equipment (EquipmentOc) linked together by unidirectional or bidirectional physical links (PhysicalLink) belonging to different types of networks, paths (Path) enabling to link said equipment where each path consists either of a single direct physical link between a source equipment and a destination equipment, or of a first physical link between said source equipment and a first network node, a second physical link between said destination equipment and a second network node, and at least a third physical link between said first and second nodes (NetPath), characterised in that each software module is associated with an item of equipment onto which it is intended to be hosted, and each functional link occurrence is associated with at least one path intended to let pass through it the messages of this link, and in that a check is made for each equipment (m) as to whether it has sufficient material resources (β
-
m(α
j)) to allow execution of the software module or modules which is/are associated with it.
1 Assignment
0 Petitions
Accused Products
Abstract
The invention concerns a method for assisting the construction and validation of an avionics platform. It uses, on the one hand, a functional description of the platform using avionics functions, software modules suitable for executing these functions, and functional link occurrences between these modules and, on the other hand, a material description of this platform using calculation or communication items of equipment and physical links between these equipment. The method according to the invention enables to generate paths between the various items of equipment by using direct physical links and/or physical links belonging to one or more network(s), and subsequently to associate at least one such path to be each functional link occurrence. It also enables to associate to each software module an item of equipment adapted to host it.
38 Citations
11 Claims
-
1. A method for assisting the construction of an avionics platform, using a tool comprising a first functional database in which is stored a functional description of the said platform, a second material database in which is stored a material description of the said platform, and a workstation, linked to the first and second databases, said method being intended to implement a set of avionics functions, where each avionics function (Function) comprises one or more software modules (SystemFunctionOc), where any two software modules can exchange messages by means of a link (FctLinkOc), known as a functional link occurrence, where said avionics platform also comprises items of equipment (EquipmentOc) linked together by unidirectional or bidirectional physical links (PhysicalLink) belonging to different types of networks, paths (Path) enabling to link said equipment where each path consists either of a single direct physical link between a source equipment and a destination equipment, or of a first physical link between said source equipment and a first network node, a second physical link between said destination equipment and a second network node, and at least a third physical link between said first and second nodes (NetPath), characterised in that each software module is associated with an item of equipment onto which it is intended to be hosted, and each functional link occurrence is associated with at least one path intended to let pass through it the messages of this link, and in that a check is made for each equipment (m) as to whether it has sufficient material resources (β
-
m(α
j)) to allow execution of the software module or modules which is/are associated with it. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
m(α
Specification