To achieve the goals of the project, a consortium with a well-recognized background and specific competence and know-how in the development of predictable computing platforms for embedded systems, including estimation of extra-functional properties in terms of timing, power and temperature, efficient system simulation, exploration and optimization, EDA and related fields has been put together. The consortium has been constructed by taking into account that cooperation is crucial and that all partners must have a strong interest and motivation in carrying out the activities of the project, as well as a clear role that leads to sound and exploitable results.



The Institute for Information Technology OFFIS was founded in 1991 as a not-for-profit organization by the State of Lower Saxony, the University of Oldenburg, as well as professors of the departments of computer science and related faculties. OFFIS is dedicated to technology transfer, and is organized in three R&D Division, focusing on IT in Transportation, Health and Energy, and has total turnover of more than 13 Million €. Participating in CONTREX will be the R&D Division on Transportation, which has a staff of about 60 full time scientists. The R&D Division on Transportation focuses its research on methods, tools, and technologies for the development of IT-based safety critical embedded systems.
OFFIS will coordinate the overall project and lead WP7. The main research contributions will be in WP2 (extra-functional contracts) and in WP3 (service-based executable power and integrated temperature model of execution platforms). OFFIS will evaluate its research results in the avionic and the telecom use-cases in WP4 and WP5. In WP6 OFFIS will focus on Standardisation (SystemC) and dissemination activities.

STMicroelectronics is one of the world’s largest semiconductor companies with net revenues of US$ 9.73 billion in 2011. Offering one of the industry’s broadest product portfolios, ST serves customers across the spectrum of electronics applications with innovative semiconductor solutions by leveraging its vast array of technologies, design expertise and combination of intellectual property portfolio, strategic partnerships and manufacturing strength. The Company has particular strengths in Multimedia, Power, Connectivity and Sensing technologies and its sales - which includes wireless business conducted via ST-Ericsson, the 50/50 Joint Venture with Ericsson, - are well balanced among the industry’s major sectors: Telecom (30%), Automotive (18%), Consumer (10%), Computer (13%), Industrial (9%) and Distribution (20%).
STMicroelectronics will be responsible for the evaluation work package (WP5). Moreover it will participate to the research and development of the sensor nodes described in the Automotive use case (WP3 and WP4). In WP1 ST-I will contribute to the definition of the automotive use cases, the definition of the requirement, both for the execution platform and for the tools and modelling approaches. Finally it will be involved also in industrial dissemination and exploitation.

GMV is a privately owned technological enterprise group with an international presence. Founded in 1984, GMV mainly operates in nine large sectors for both public and private organizations: Aeronautics, Space, Defence, Health, Security, Transportation, Telecommunications and Information Technologies. GMV is rated at CMMI® Maturity Level 5 Development with the appraisal reference number 14799. GMV has subsidiaries in Spain, Portugal, Germany, Poland and the USA. GMV has developed Software products according to different standards, military, civil aviation and ESA. Experience in SW development at GMV spans a large variety of areas such as real time systems, data processing, on-board SW, communications SW, databases, MMI, algorithms implementation, etc. Large SW products are routinely developed by GMV for all its business areas, including aerospace, satellite control centres, data processing systems, safety critical systems, simulators, etc.
GMV will lead Task 1.1 which aims to specify the requirements and will collaborate in several WP2 and WP3 tasks. GMV will also participate in WP4 and WP5 focusing in the provided avionic use-case evaluation and demonstration.

Cobra Telematics vision is aimed at improving the driver’s quality of life. This is done pursuing our mission: to deliver risk management, effortless ownership and cost of ownership value-added, telematics-based services beneficiarying with private and public organizations. Vehicle manufacturers, insurance companies, assistance service providers and public authorities have expressed the will to use telematics applications to design and deliver customised products to their customers in order to provide increased road safety, innovative insurance products, eco driving, etc. Thanks to our long-term partnerships with the actors of change and through our ability to follow the global telematics technology evolution, Cobra Telematics delivers applications that enable these companies to rapidly fulfil customer needs. Cobra Telematics SA is an international company based in Switzerland and mainly located in Europe, Brazil, and Russia.
Cobra Telematics SA will be responsible for the research and development of the application described in the use case, and in particular will contribute to the following activities. In WP1 Cobra will contribute to the definition of one of the use cases, the definition of the requirement, both for the application and for the tools and modelling approaches. Furthermore Cobra will cooperate with all other beneficiaries in order to integrate the tools into the development flow. In WP2 and WP3 Cobra will contribute to the definition of the system-level model of the application, the execution platform abstractions needed and the specification of requirements related to the monitoring of extra-functional properties of the application’s subsystems. The most significant part of the effort will be spent in WP4 and dedicated to the definition, implementation and integration of the automotive use case. Finally, in WP5, Cobra will contribute to the exploitation and dissemination of the project outputs and will promote standardization activities. As an industrial beneficiary, Cobra will play a key role in exploiting the projects results. This will be done by promoting the automotive application and the new/improved services to corporate customers, such as insurance companies, healthcare institutions and public administrations. Ease of installation, flexibility, extendibility and the new services offered will be the main drivers for exploitation. Concerning the dissemination activities, Cobra will participate to conferences, event and exhibitions in the automotive field. Finally, Cobra will continue and extend its involvement in standardization committees to promote the CONTREX methodology, to drive the enforcements of new design and optimization paradigms and to define a set of requirements for the applications and services in the specific fields. As a key player in the field, Cobra Telematics will participate to committees and working groups for the definition of requirements for data acquisition and driver’s quality of life management process.

EUROTECH Group S.p.A. operates in the areas of research, development and commercialization of solutions for pervasive systems and cloud computing. EUROTECH is a public international company based in Italy and located mainly in Europe, Japan and USA, with an important presence in several markets: industrial, aerospace/defence, transportation/logistic, medical, security and scientific research. EUROTECH business model is driven by innovation and is strongly based on research: the company counts about 450 people, more than half of which are involved in research and engineering activities. EUROTECH controls 9 international companies and in 2002 founded ETHLab, the Research Center of the group. Through ETHLab, EUROTECH has oriented its research activities to the study of key high-growth sectors like pervasive and cloud computing, in order to develop innovative and integrated solutions (software, hardware, middleware and support services) that require strong know-how and expertise in several areas of scientific research.
Eurotech will be responsible for the research and development of the horizontal technologies in the areas of pervasive systems and cloud computing (WP3). These technologies will be adopted in vertical uses cases and pilots for evaluation (WP4 and WP5). Eurotech will provide industrial contributions to the exploitation and dissemination (WP6).

Intecs SpA provides leading-edge technological support and products to the major European organizations in the design and implementation and verification of complex electronic systems. Intecs operates in the Space, Automotive, Avionics, Telecommunications, ATC and Defense domains. Intecs’ capabilities in the field of System and Software Engineering represent one of its main competitive assets. The Methodology and R&D Unit of Intecs is a leader in the software engineering community in the field of system and software engineering. The unit has deep experience in advanced domain engineering techniques for reusable architecture development, component and model based development for highintegrity, safety-related embedded systems, development of tools. The Telecommunications Division, in addition to offering services to OEMs, hosts in-house design and development of its own products for telecom operators.
INTECS will lead WP4 and provide the Telecommunications use case applications and platform, and will also give modeling support to GMV in the avionic use case. As a use case provider, it will also contribute to the evaluation activities in WP5. It will contribute its expertise in modeling in WP2 and (to a lesser degree) in WP3. Intecs has significant experience in training and will make a correspondingly significant contribution in WP6 in addition to its dissemination and exploitation activities.

The core business of iXtronics GmbH is to support the model-based design of mechatronic systems with design environments, process-models and engineering support in all phases of the development up to the prototype phase. The company based in Paderborn, Germany, is a European technology leading tool vendor for model based mechatronic system design environments. iXtronics possesses extensive know-how in the field of automotive as well as aerospace business, based on many years of experiences with the design and implementation of complex mechatronic systems, like innovative automotive engineering systems or analysis of aerospace systems. One of the main activities of iXtronics is the development and marketing of the CAMeL-View toolchain for model-based design of mechatronic systems. This includes also code generation tools for ECUs, which will be used in this project.
iXtronics will lead W1 which aims to specify the requirements and the use case definition. As a tool provider and engineering support company iXtronics role is to provide the project with its special knowledge of functional design in the field of mechatronic control design. iXtronics will support all WPs with the main focus on use-case 1.

EDALab s.r.l., based in Verona, Italy, is a growing EDA SME company. It was founded in July 2007 as a private share-holder company and spin-off of the University of Verona. EDALab is working in the field of networked embedded systems both in their design and in the creation of development tools.
EDALab will be responsible for the research and development of techniques related to distributed embedded applications regarding both modelling, design and verification (WP2) as well as abstraction (WP3). EDALab will contribute to requirement specification and integration of the tools in the industrial flow (WP1). EDALab will give support for tools usage in the development of the demonstrator (WP4) and in the evaluation of the project results (WP5). EDALab will provide industrial contributions to the exploitation and dissemination (WP6).

DOCEA Power is a privately held company in the Electronic Design Automation field. It was founded in 2006 and has offices in Grenoble (France) and San Jose (US). Its solutions aim at solving issues related to power consumption and heat dissipation in integrated circuit design, with a prime focus on the specification and early design stages (also designated as the Electronic System Level). In the context of complex circuit design, like the design of Systems-on-Chip and Systems-in-Package, DOCEA’s products enable power and thermal estimation and optimization, while providing a framework to efficiently track data and foster collaboration between stakeholders. DOCEA’s tools are used by semiconductor and electronic equipment manufacturers in market sectors such as wireless, automotive and telecommunication networks, where mastering power consumption and heat dissipation are keys.
DOCEA will be in charge of research and development works to integrate power and thermal estimation and monitoring mechanisms as part of the extra-functional modelling framework (WP3). DOCEA will also contribute to requirement specification and tool integration in the industrial flow (WP1). DOCEA will support the use of its tools and techniques during the demonstrator development (WP4) and the evaluation of the project results (WP5). At last DOCEA will bring its industrial contributions to the exploitation and dissemination actions (WP6).

Politecnico di Milano (Milan, ITALY) is the largest Technical University in Italy. The project will involve personnel of the Dipartimento di Elettronica e Informazione (DEI) that, with over 600 members, is one of the major university departments in Europe, both for its size and for the quality of its research. Its mission is to constantly improve the scientific and technological knowledge in the fields of automatics, computer engineering, telecommunications, and electronics. POLIMI is a vital institution capable of promoting education, fundamental and applied research, and technology transfer to companies. More in detail, Politecnico di Milano will participate in this project through a cross-disciplinary research team with competencies covering System Architectures, Embedded Systems Design and Design Methodologies, Formal Languages and Compilers and Control Systems.
POLIMI will lead the WP3 “Platform Service Abstraction and Extra-Functional Properties” focusing on modelling the extra-functional properties at node level and providing design time and run-time support for their management. In WP2 POLIMI will cooperate mainly to support the design space exploration of non-critical parts of the system specification and, in WP1, on integration activities and collection of requirements. POLIMI, as academic beneficiary, will work actively on widespread dissemination activities (WP6).

Politecnico di Torino (POLITO), with over 30,000 students, is the second largest technical university in Italy. The workforce dedicated to research and teaching includes around 900 Professors, 700 PhD Students and 300 Research Assistants, covering all major areas of the engineering and architecture disciplines. POLITO participates to the CONTREX project through the EDA (Electronic Design Automation) group, which belongs to the Dipartimento di Automatica e Informatica. The group consists of 2 Full Professors, 1 Associate Professor, 2 Assistant Professors, 3 Post-Doc Researchers, 3 PhD Students and 10 Research Assistants.
PoliTo will be mostly involved in WP3 “Platform Service Abstraction and Extra-Functional Properties” focusing on the modelling the extra-functional properties (energy and aging) and their integration in the run-time platform. In this WP, it will lead Task 3.4 "Monitoring of extra-functional properties". The remaining effort is mostly concentrated on the integration of these techniques in one of the use cases within the industrial flows (WP5). Some activities are also expected in WP2 and WP4, which are mostly used to make the core activities of WP3 and WP5, respectively, consistency and related to the context. PoliTo, as academic beneficiary, will work actively on traditional dissemination activities (WP6).

The University of Cantabria (UC) is the public University of the Autonomous Region of Cantabria, Spain. Created in 1972, today has over 12,000 students and over 1,250 research and teaching staff. The contribution of the University to the ProVerUM project will be carried out by the Microelectronics Engineering Group. Since 1982, the Group has participated in many national and international research projects in the field of specification and design of electronic systems.
UC will lead WP2, in the definition of a meta-modelling methodology for heterogeneous, distributed, mixed-critical, control systems from which system models in different languages (i.e. UML/MARTE and MatLab/SimuLink) can be developed with a common semantics. UC will also contribute to the analysis and design techniques for mixed criticality systems. UC will participate in the definition of the requirements (WP1). In WP3, the UC will contribute to the backannotation and monitoring of functional and extra-functional properties. With the rest of beneficiaries will contribute to the demonstration, evaluation and dissemination activities in WP4, WP5 and WP6.

KTH (Royal Institute of Technology), is Sweden's leading technical University with 11000 undergraduate students, 1500 PhD students, and an annual turnover of 300 M€. The Department for Electronic Systems, ES, conducts research and education in radio electronics, SoCs, and embedded systems. It has 50 PhD students, 15 senior researchers and altogether 60 employees. KTH/ES offers more than 25 undergraduate courses and two international MSc programs: System-on-Chip (since 2000 with 50 students annually) and Embedded Systems (started in 2011). All together the department hosts around 50 Ph.D. students and graduates 50 M.Sc students every year.
KTH/ES, together with UC, will have a leading role in WP2. The main contributions will be in the development of the CONTREX meta-model and the modelling methodology, and especially in the development of analysis and design techniques for mixed criticality systems. KTH/ES will also participate in the definition of the requirements for mixed-critical systems in WP1, in the abstraction of platform properties and services in WP3, and will support the development of the demonstrators in WP4. Further, as academic beneficiary KTH will contribute to the dissemination activities in WP6. KTH will in particular contribute the ForSyDe methodology to the project.

ECSI is a European non-profit association, established in 1993 by large industrial developers of electronic systems, manufacturers of integrated circuits in Europe and major EDA companies. ECSI operates via collaborative research and development projects that address specific issues in the system design domain. ECSI organises yearly conferences: FDL (Forum on specification and Design Languages), DASIP (Design and Architectures for Signal and Image Processing), ESLsyn (Electronic System Level Synthesis) and S4D (System, Software, SoC and Silicon Debug) as well as focused workshops devoted to provide a complete overview of advanced topics, emerging methods, and standards in system design. ECSI is also the initiator and sponsor of the DATE Conference. An important activity of ECSI is related to standardization in the domain of system design. ECSI established relations with the most important international standardization bodies to facilitate the access to information, support the standardization process and adoption of standards: IEEE/DASC, Accellera (OSCI and IP-XACT), OCP-IP, Si2, OMG.
ECSI will take the role of the WP5 leader and will be the main beneficiary carrying out the dissemination and promotion role of the project. The main contribution will rely on organization of COMPLEX related special sessions and demonstration at major events in embedded systems and SoC domain, organization of specific workshops, web site, co-ordination of efforts of the project with regards to standardization.

ST-PoliTo s.c.a.r.l. (STP) is a joint venture between STMicroelectronics s.r.l., holding 75% of the company shares, and Politecnico di Torino, holding 25% of the company shares. The company was incorporated in Torino, Italy, in May 2011, with the status of Research Organization, and currently it has two operational sites: one in Torino, hosted by Politecnico di Torino and one in Catania, hosted by STMicroelectronics. STP’s mission is to facilitate joint knowledge development, as well as laboratories and technical infrastructure sharing, thus enabling faster and cost efficient human-focused open innovation. In particular, the company aims at: Creating an R&D hub by reducing capital investments and contributing to the enrichment of knowledge; Reinforcing human-focused R&D activities and capabilities in Italy; Inducing local development in Piedmont and Sicily; Facilitating the access to European, National and Regional competitive funds; Translating technology into marketable products. The activities taking place within STP include R&D, education, technology transfer to start-ups, and services concerning the design, prototyping and manufacturing of heterogeneous electronic circuits, components and systems; they are focused on the following application areas: Energy efficiency, automotive and transport, healthcare and biomedicine, consumer and communication. Innovation in the aforementioned areas cannot happen without a steady progress in three generic design directions: “Miniaturization”, “diversification and differentiation”, “heterogeneous integration”. These three technology directions are strongly interlinked and interdependent. Progress in all three of them is depending on major effort in R&D and innovation. STP contributes, by mission, to such an effort.
ST-PoliTo will participate for the evaluation of work package (WP5). Moreover it will be strongly involved to the research and development of the sensor nodes described in the Automotive use case (WP3 and WP4). In WP1 STP will contribute to the definition of the automotive use cases, the definition of the requirement mainly for the execution platform and for the tools. Contributions will be given also in industrial dissemination and exploitation.