Objectif
In the Clean Sky consortium, several members are working on modelling and simulation of aircraft systems with the multi-domain modelling language Modelica. The final goal is to not only utilize these models for design and evaluation, but also to directly use Modelica controller models for generation of certified code in embedded systems. On one hand this will improve the system design process, since controllers developed in Modelica won’t need to be coded manually in a different language. On the other hand advanced nonlinear controllers could possibly be certified and thus applied on-board an aircraft.
The objective of the CertMod project is to define the type of models and the Modelica 3.3 subset that shall be handled. This subset will be based on the discrete extensions of Modelica 3.3 including clocks and state machines. Once this subset is identified a prototype of a DO-178B Level A qualified code generator will be developed. This code generator will be an extension of the already existing SCADE Suite KCG code generator that has been qualified at Level A for DO-178B on numerous aircraft projects (Airbus A380, Boeing 787, etc.) by all civilian aeronautics certification authorities (FAA, EASA, etc.) . It will produce the C source code the controller that can be guaranteed to be a correct implementation of the input Modelica model. In order to do so, a preliminary phase will be added to KCG in order to perform a translation from the identified Modelica 3.3 subset into an intermediate form of KCG.
Work will be performed to prototype the elements of the code generator that are necessary to qualify the tool. This includes traceability from the input Modelica model down to the C generated code, various types of specification and design documents, and a procedure to extensively test the code generator.
Two representative Modelica models will be provided by DLR, the topic manager, and will be used to validate the code generator prototype.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- ingénierie et technologie génie mécanique génie automobile génie aérospatial avion
- ingénierie et technologie génie mécanique génie automobile génie aérospatial ingénierie aéronautique
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
SP1-JTI-CS-2012-03
Voir d’autres projets de cet appel
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
78990 Elancourt
France
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.