Objective
The central focus of the OMI/TOOLS project is the validation and observation of combined hardware/software systems, in particular of embedded control systems (ECS). By validation we mean the derivation of statements about the correct function and the adequate timing (performance) of a given system. By observation we mean the collection, storage, retrieval and visualisation of relevant performance and design flow data.
The objective of the OMI/TOOLS project is the horizontal and vertical integration of the hardware and software design process. For that purpose the project will use and adapt existing tools and develop new ones. These tools will be embedded in a common framework which allows the exchange of design data and provides a common user interface and visualisation approach.
The result of the OMI/TOOLS project is a set of tools integrated in an existing framework.
The tools will not cover the entire development cycle. Instead they will focus on some areas of the development cycle, namely
- verification
- system modelling and simulation
- monitoring
- performance evaluation
- traceability
Horizontal validation tools support the validation of combined software/hardware system representations on different abstraction levels. A mixed-level simulation environment provides simulation on the system level as well as behavioural, physical, execution-driven, instruction-driven and OS kernel modules. Monitoring of hardware/software systems is supported as well.
Vertical validation tools maintain the design consistency between different abstraction levels. An observation and performance analysis component provides a consistent view of the system behaviour and performance data throughout the design process. A verification tool supports a formal method to guarantee the correctness of an implementation against a specification. A tool for design flow tracing allows to trace the design history. The horizontal as well as the vertical tools will be embedded into a common tool framework environment. The OMI/TOOLS project will evaluate existing frameworks such as SIFRAME (developed within the JESSI Common Frame project) for that purpose.
The target platforms for all tools and supports are Unix workstations and in particular SUN workstations. This is clearly a constraint for the search of the integration framework.
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.
- engineering and technology electrical engineering, electronic engineering, information engineering electronic engineering control systems
- humanities history and archaeology history
- natural sciences computer and information sciences software software applications system software
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
20127 Milano
Italy
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.