Objective
Incremental prototyping is a way of coping with constantly increasing complexity and risks associated with the industrial development of embedded computer systems. The technology of incremental prototyping addresses the development needs of large, distributed and multi-supplier embedded real-time systems. As a technical basis, the semi-formal graphical notation SA/RT, the formal graphical high-level Petri nets, the formal textual language VDM-SL and the object-oriented paradigm have been harnessed.
The concept of incremental prototyping is a way of coping with constantly increasing complexity and risks associated with the industrial development of embedded computer systems. Incremental prototyping technology will address the development needs of large, distributed and multisupplier embedded real time systems.
An incremental prototyping technology for embedded real time systems (IPTES) database or document system has been set up. This system aims to be a standard and could eventually be used by other ESPRIT projects. Project results have been made available to the industry and research communities and a number of articles for international conferences have been produced and published. In addition, dissemination on a local basis has been undertaken. The platform on which the precompetitive IPTES toolset will be implemented has been defined having been chosen after investigating the short term and medium term requirements of such a platform. A preliminary overall design of the IPTES toolset has been made and the design identifies the different tool components and their interconnection and purpose, and specifies and organization of components in layers. Methodological guidelines for the use of Boehm's spiral life cycle model are being developed and the executable models to be supported in the IPTES toolset have been defined. The implementation of IPTES toolset has been initiated with the computation of a first prototype of the IPTES Meta-IV (VDM) interpreter and implementation of the logical model animator has been initiated. The machine level of the IPTES architecture is defined as are the internal execution mechanisms to support the execution of distributed, heterogeneous prototypes. The run time adaptation mechanisms which also enable the execution of models where parts are represented by target code have been defined. Furthermore, the implementation of a run time adaptation system and the development of demonstrator applications have been initiated.
The methodology developed and the supporting tools have been evaluated in a number of case studies for selected safety-critical, real-time process control applications in industry.
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.
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.
Data not available
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.
Data not available
Coordinator
5230 ODENSE
Denmark
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.