Objective
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).
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences software software applications system software
- natural sciences computer and information sciences software software development
- engineering and technology mechanical engineering vehicle engineering automotive engineering
- humanities philosophy, ethics and religion philosophy
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
88046 FRIEDRICHSHAFEN
Germany
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.