Instituto Tecnológicio de Informática, Spain

Profile

ITI, Instituto Tecnológico de Informática, is a Spanish Research and Technology Centre specialised in ICT (Information and Communication Technologies) Research, Development and Innovation. It was established in 1994 by a joint initiative of the Polytechnic University of Valencia (UPV), the Institute of Small and Medium Enterprises of Valencia (IMPIVA, now IVACE), and a group of companies in the IT sector. Since its creation, ITI develops its activity with a clear focus on the generation of new technologies and methodologies for being integrated into industry and society.

ITI is member of national and European structures and associations related to the definition of research strategies or initiatives in different domains. Among these associations and structures can be highlighted the following: INTERPOP-VLab (http://www.interop-vlab.eu/), PLANETIC (http://www.planetic.es/), NESSI (http://www.nessi-europe.com/), the Big Data Value Association (http://www.bdva.eu) or ARTEMIS (https://artemis-ia.eu).

ITI will be the Spanish coordinator applying the experience in ARTEMIS projects like CRYSTAL, EMC2 or DEWI and its huge experience in R&D funded projects. ITI has large experience in the design and development of real-time systems, and especially safety-critical embedded systems. ITI is focused on the analysis of temporal constraints and resource planning, working in general at the level of the execution platform and the Operating System, and dealing with issues like: Mixed criticality applications, Multiprocessor Real-Time Scheduling, and Spatial and Temporal Partitioned Systems.

In AQUAS, ITI will bring its experience in the design and development of real-time systems and mixed criticality applications, as well as its knowledge on a set of tools for system modelling and analysing and code generation applied to Medical and Space use cases, providing advances in Safety and Performance. Then ITI will mainly participate in the design toolling work package in order to implement the proper characterization to support the co-engineering of safety and performance aspects in the art2kitekt modelling and analysis tool, which also provides code generation capabilities. ITI will also contribute to the definition of co-engineering methodology. ITI will coordinate the results of the design tooling to be tested and validated in Medical and Space use cases.

Study of extension of system models for incorporating safety and performance aspects. Development of safety and performance combined analysis.

AIT and ITI can collaborate sharing knowledge and experiences in aspects regarding safety, security and performance co-engineering, for the modelling phase (design tooling). In this collaboration ITI can contribute with safety and performance co-engineering aspects. ITI and AIT are already collaborating in EMC2 project.

Collaboration in model driven development in control systems for analysis of combined aspects related to safety and performance requirements.

Collaboration on safety and performance co-engineering in embedded systems through the use of a2k tool for model-based analysis and development, being developed in CRYSTAL and EMC2 projects by ITI.