The project’s work packages and their interaction are shown in the Figure below and is discribed in the following.
In WP1 we will develop a framework for specifying mixed-critical systems including their functional and extrafunctional requirements. This framework will be applied on the industrial use-cases to capture the respective formal specifications. Based on the particular requirements we will derive an evaluation plan as input for WP4 and WP5.
WP2 is addressing the need for a new modelling, design and validation methodology to cope with the challenges of mixed-criticality designs. We will develop a holistic system-level approach to describe and analyse concurrent applications and services running on the same physical platform. This requires the analysis, validation and exploration of system architectures with respect to cross-application and multi-aspect interdependencies. The analysis will be based on the results of WP3 which develops the platform service abstraction and a modelling approach to capture the extra-functional properties of executions platforms. Special attention will be paid to run-time management mechanisms as they have strong impact on extra-functional properties such as timing and power.
WP1 then combines the results of WP2 and WP3 into an integrated industrial design flow for mixed-critical systems covering application oriented features and extra-functional requirements as well as platform dependent properties.
WP4 will apply the CONTREX design flow to develop three demonstrators taken from the avionics, automotive telematics and telecommunications domain. These applications cover a large spectrum of challenges in the area of mixed-critical systems as their exhibit very different system architectures. Driven by the application beneficiaries we will implement the applications and the corresponding execution platform.
In WP5 the CONTREX design flow will be evaluated according to the evaluation plan defined in WP1. Here special attention will be paid on the ability to cope with mixed-criticalities and their dependencies with extrafunctional properties and run-time management mechanisms. The progression from WP1 over WP2, 3 to WP4 and WP5 forms one complete project cycle. The project will be based on two fully identical cycles. The same activities (WPs) will therefore be performed during each cycle. In the first project cycle the evaluation results of WP5 will be fed back in the second project cycle to improve and further integrate the design methodology supported by further and more sophisticated modelling techniques and better analysis tools in WP2 and WP3. In the second cycle, the results will be used to finalize the project output.
The dissemination, training, exploitation, and standardization activities are part of WP6.
The goal of WP7 is to provide the infrastructure for the organisation, control and management of the CONTREX project. This includes setting up the technical collaboration platform for an effective communication within the consortium. It will organise reporting to the EC, the supervision of the overall scientific goals as well as the riskand IPR management.
In the following the goals and objectives of each work package is described in more detail.
Work package 1
The goal of this work package is to collect the industrial requirements on control in mixed-critical systems for all the represented domains, including requirements on the design flow, related standards, and certification procedures, with the focus on extra-functional properties: time, power, temperature, and reliability.
A detailed definition of the industrial use-cases, its associated specification methodology, and tools for the implementation of the use-cases will be defined. To measure the impact of the R&D results from WP2 and WP3 on the industrial use-cases the overall evaluation strategy per use-case will be defined at the beginning of the project to drive the interaction between WP2, WP3 and WP4. Finally, a plan about the integration of the feed-back and findings into the industrial tools, flows and related standards, obtained from the evaluation phase in WP5, will be prepared. The productive integration into industrial flows, tools, and standards, will be supported during the project, as well as after project has been finished.
Work package 2
The goal is to define and develop the concepts, tools and analysis frameworks supporting a holistic approach to the specification and analysis of complex, mixed-critical and distributed control systems.
The first activity of WP2 is the definition of a comprehensive meta-model for complex, control systems conceived as a distributed network of sub-systems under different criticalities. The complete system has to satisfy certain functional and extra-functional properties and constraints. Based on the meta-model defined, the required set of methods and tools ensuring the holistic specification, analysis, validation and partitioning of the complete system will be developed.
Work package 3
The goal is to define and develop models, methods and tools supporting the design, analysis and optimization of the node-level execution platform. In the project view, the execution platform is a layered HW/SW structure composed of, from bottom to top, HW execution platform, operating system, run-time manager, node abstraction layer and application.
The WP3 activities are aimed at providing a comprehensive framework to manage extra-functional properties at node level in a mixed-critical scenario. The main extra-functional properties to be considered are for example time, power/energy, performance, temperature, reliability and QoS. To this purpose the activities are tackled from three different perspectives: modelling, monitoring and control infrastructure, and design tools.
Work package 4
The goal of this work package is to implement demonstrators in three domains based upon
- the requirements framework developed in WP1
- the new modelling, design, and validation methodology developed in WP2
- the platform service abstraction and extra-functional modelling approach elaborated in WP3
in order to illustrate the CONTREX “meet in the middle” design flow, generate data for the evaluation of its soundness (WP5), and provide feedback for its improvement (2nd project cycle). In the project view the demonstrators are a layered HW/SW structure composed of HW execution platforms, operating system, run-time manager, node abstraction layer and application. All components will be defined by the requirements specified during WP1. The main objective of this work-package is to develop and validate the components that will be used in the project demonstrators by integrating it in an execution platform.
The WP4 activities are aimed at providing industrial demonstrators for evaluation of CONTREX solutions and tools. All demonstrators describe mixed-critical control systems including different kinds of criticalities (related to Safety, Mission, Real-Time, Best-Effort and Power/Temperature). All demonstrators explicitly represent their main extra-functional properties (for example power/energy, temperature, reliability and QoS). This will be pursued for a number of application areas, requiring and targeting different combinations of technologies. Each demonstrator will cover all functional layers of industrial systems, starting from sensor or process level and extending up to enterprise level. WP4 will explore, for the targeted domains, the potential benefit of new smart and connected features and build the vision of the system evolution: what are the new business cases, the technical issues and opportunities. We will experiment some of the new features developed in WP2 and WP3 through implementation on a real systems
or on a simulated demonstrator connected with real environment data. The perimeter of the new features to be
- Features directly aiming reducing costs, improving energy efficiency, product quality, etc.
- Features implementing flexible connectivity across functional layers
- Features treating confidential and open information or intellectual assets in fair and useful manner
A first release of demonstration will include specification, design and simulations based on tools and models for the analysis, simulation-embedded test and benchmarking of the proposed system components and architectures. The final generation of demonstration will include demonstrators at system level showing the energy information integration described according to the CONTREX Framework requirements.
Work package 5
The objective of this WP5 is to evaluation of the results from the three use-cases developed in WP4 which exercise the CONTREX design and tool flow, that is the design, analysis and model checking techniques, in line with the mixed-critically and safety requirements provided by WP1, and developed in the technical and research work packages WP2 and WP3. The specific objectives of the WP5 are the following:
- Develop the material necessary for evaluation of methods and tools
- Ensure the completeness of evaluation
- Provide constant feedback to WP2 and WP3
This work package aims at presenting the feasibility of the proposed framework for specifying mixed-critical systems including their functional and extra-functional requirements, by evaluating them in the industrial use case developed in WP4.
CONTREX aims to propose innovative and efficient solutions to new design requirements for mixed-critical system, but also has to meet industrial constraints so as to ensure a wide visibility of the developed methods and tools. Industrial partners, among application and platform providers, will focus on modelling and platform abstraction services, on tool performances, but also on the evaluation of the integrated design flow and its applicability in industrial environments. During its execution, the work package will produce intermediate evaluation reports for every task, to provide feedback to WP2 and WP3 about tool compliance and model and design efficacy respect with the common property framework and to WP1 about the compliancy of the integrated flow respect to industrial platform. This early evaluation will be performed on the available beta versions delivered.
Work package 6
Work to be performed in this WP includes:
- Ensure project results dissemination, visibility and awareness
- Demonstrate project results at conferences, workshops and dedicated presentations
- Coordinate standardization activities of CONTREX and provide contributions to standardisation bodies
- Provide initial technology training and advanced training based on project results
- Support project results adoption and deployment industry and research
- Set up exploitation plans and adoption roadmaps beyond the project timeframe
Work package 7
The goal of WP7 is to ensure that the overall objectives of the CONTREX project, as outlined in this proposal, will be achieved within the foreseen time and budget. This requires a permanent and close contact among all partners in order to enable the project coordinator to act as an interface and catalyst for the project within FP7 rules.