Cel
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).
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze informatyka oprogramowanie aplikacje komputerowe oprogramowanie systemowe
- nauki przyrodnicze informatyka oprogramowanie tworzenie oprogramowania
- inżynieria i technologia przemysł maszynowy inżynieria pojazdów inżynieria motoryzacyjna
- nauki humanistyczne filozofia, etyka i religia filozofia
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
88046 FRIEDRICHSHAFEN
Niemcy
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.