Ziel
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).
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Informatik und Informationswissenschaften Software Anwendungssoftware Systemsoftware
- Naturwissenschaften Informatik und Informationswissenschaften Software Softwareentwicklung
- Technik und Technologie Maschinenbau Fahrzeugbau Automobiltechnik
- Geisteswissenschaften Philosophie, Ethik und Religion Philosophie
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
88046 FRIEDRICHSHAFEN
Deutschland
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.