Objectif
Both the rising complexity of and requirements to software systems and the need of a higher and more systematic degree of reuse demand for a formal way to specify and implement software. Although methods and tools are available, they are not applied in the current software development process. It is the aim of TOGETHER to systematically apply and combine CASE technology for software specification with automatic code generation and software testing mechanisms. Due to significantly better validation and verification conditions it is expected that linking the CASE specification of software with existing testing procedures will improve quality and accelerate development cycles of software components, for instance within automotive industry.
Objectives:
The primary objective is to achieve a seamless software development of software components of embedded systems using the state-of-the-art technologies in the area of software component specification, testing and automatic code generation. It is intended to benefit from an advantageous combination of current technologies and adapt methods and tools only if necessary.
The results will be a shorter development cycle, a better inter-changeability due to the application of CASE models for the software and a higher quality of the final code due to the replacement of error-prone hand written by automatically generated code.
Work description:
The work contents within TOGETHER can roughly be divided into two main categories. The first one is the evaluation and integration of automatic code generation for software components given as a CASE model. This provides that the specification of a complex software system is done using formal CASE models. In tight contact to the baseline project, this software design philosophy is practiced and evaluated with the focus on assessment of the quality of the automatically generated code regarding criteria suc as RAM, ROM consummation, execution time and overall quality but also the desired transformation of model structure into the code level. Moreover, the quality of generated integer code will be examined. The results will directly be compared with the baseline project. The paradigm of defining software components in form of CASE models will be verified. The second main work content refers to the application of latest, model-based test methodologies for the CASE model, making use of the fact that model-based verification technologies like test can be much more efficient and complete on model level than it would be on code level. Within TOGETHER, recent model-based test technologies are integrated into the existing design process working on the methodological ad interfacing level. It will be examined, how software test on code level can be automatically derived from a test specification on model level. As an important result, a modelling guide for the CASE specification ("de-sign for testability") will ease and optimise the way, how software components should be modelled. A test bench on CASE level will be developed implementing the atomised test process. On C-code and binary level, a software-in-the-loop and hardware-in-the-loop component test environment will be developed which obtains test algorithms and test suites from the model-based test specification. On binary level, real time testing aspects are considered.
Milestones:
Milestones
- Component tests have been implemented and automated for specification-in-the-loop (8th month);
- Code generator is integrated in the development process (13th month).
Expected results:
- the application of component based engineering techniques for embedded systems (technological);
- a better inter-changeability due to the application of CASE models for the software (technological)
- a higher quality of the final code (technical) - a shorter development cycle which implies reduced costs (business).
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.
- sciences naturelles informatique et science de l'information logiciel logiciel d’application logiciel système
- sciences naturelles informatique et science de l'information logiciel développement logiciel
- ingénierie et technologie génie mécanique génie automobile ingénierie automobile
- lettres philosophie, éthique et religion philosophie
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
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.
Données non disponibles
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.
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
88046 FRIEDRICHSHAFEN
Allemagne
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.