Obiettivo
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).
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione software software applicativi software di sistema
- scienze naturali informatica e scienze dell'informazione software sviluppo software
- ingegneria e tecnologia ingegneria meccanica ingegneria dei veicoli ingegneria dell'autoveicolo
- scienze umanistiche filosofia, etica e religione filosofia
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
88046 FRIEDRICHSHAFEN
Germania
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.