Add to ORKGInternational audienceThe PAM project has developed techniques and tools based on constraint solving to assist the avionics platform design team to select the adequate number of resources, the topology of resource interconnection and the safe allocation of resources to functions and data-flows of the supported applications. We explain how avionics platforms and supported functions are modelled and what constraints are taken into account by the PAM approach. The approach is illustrated by a fire detection system case-study
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
Constraint-satisfaction programming is a method that can be applied to choose appropriate flight pat...
In the area of interactive computer graphics, two important approaches to deal with the complexity o...
International audienceThe PAM project has developed techniques and tools based on constraint solving...
Future avionic systems will be increasingly automated. The size and complexity of the avionics f...
Configuring flight test systems can be a complex process due to the large number of choices that mus...
The importance of supporting the early stages of design is widely accepted. In particular, the devel...
Abstract: "Design can be viewed as a constraint satisfaction problem: given constraints on functiona...
While many procedures exist to support the systematic development of a product, it is often difficul...
This master's thesis addresses a scheduling problem arising when designing avionics – the electronic...
Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The co...
In conceptual aircraft design phase, the aircraft configuration and several design variables are fre...
This thesis has shown that the concept of constraint management is instrumental in understanding the...
International audienceAvionic systems are integrating more and more functions to cope with the incre...
Modern computer systems in aircraft are based on an integrated modular avionic architecture. In this...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
Constraint-satisfaction programming is a method that can be applied to choose appropriate flight pat...
In the area of interactive computer graphics, two important approaches to deal with the complexity o...
International audienceThe PAM project has developed techniques and tools based on constraint solving...
Future avionic systems will be increasingly automated. The size and complexity of the avionics f...
Configuring flight test systems can be a complex process due to the large number of choices that mus...
The importance of supporting the early stages of design is widely accepted. In particular, the devel...
Abstract: "Design can be viewed as a constraint satisfaction problem: given constraints on functiona...
While many procedures exist to support the systematic development of a product, it is often difficul...
This master's thesis addresses a scheduling problem arising when designing avionics – the electronic...
Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The co...
In conceptual aircraft design phase, the aircraft configuration and several design variables are fre...
This thesis has shown that the concept of constraint management is instrumental in understanding the...
International audienceAvionic systems are integrating more and more functions to cope with the incre...
Modern computer systems in aircraft are based on an integrated modular avionic architecture. In this...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
Constraint-satisfaction programming is a method that can be applied to choose appropriate flight pat...
In the area of interactive computer graphics, two important approaches to deal with the complexity o...