IT Research

IT Research
Director : Hubert KADIMA hk@eisti.fr

In the IT curriculum, our teaching and research staff follow their own research, bringing together PhD students and student engineers. Our laboratories favor forward-thinking research and business-related research, with the support of companies and national organizations promoting research (ANR, OSEO etc.). This expertise also enables us to collaborate on numerous projects with businesses, universities, research organizations and engineering schools at the heart of the five centres of competitiveness: AsTech, Cap Digital, Moveo, Aero Space Valley and System@Tic.

Modeling, conception and formal verification of complex systems based on components (distributed, mobile, real time and hybrid) and applications of mecatronic, automobile, aeronautic and telecommunications systems.

A conception of systems based on functioning components

The techniques of component-based modeling are more and more common in the conception of distributed and responsive IT systems. They are based on the use of existing components,
software and material, patterns and framework conceptions which make a strong contribution to cost-reducing in terms of system development. We are studying the models, methods and processes of systems engineering which allow the conception of component-based systems which are sure to work, as well as the evaluation of their performance.

Metamodeling and integration of formal and semiformal models

In spite of their advantages, formal models put off users due to their notation and a lack of methodological support. In order to increase their use in industry, one solution is to combine them with semiformal methods. Our work focuses on theoretical studies related to collaboration between semiformal and formal models with an eye on the construction of complex structures. We plan to mix certain tools and existing formal models (B language, Simulink and RTL tools, EDA electronic conception tools) with semi-formal models (UML2/SysML), applying the engineering techniques of MDA/MDE models (Model-Driven Architecture / Model-Driven Engineering).

System diagnostics and automatic test generation

The automatic generation of texts, working from formal specifications, allows us to improve them.

Architecture of distributed and parallel systems

The performance and security of P2P, Grid Computing and Cloud Computing systems

Engineering of knowledge and applications

Semantic interoperability between heterogeneous systems

We use the ‘ontological’ approach, founded on a formalized representation of knowledge of layers, domains, systems and applications. In focusing our work on the formalism of modal description logics, architecture and specific languages can be used to model and manipulate ontologies (RDFS, OWL, etc.) aiming towards the semantic integration of heterogeneous systems.

The problems tackled within this framework are: :

  • The representation of knowledge and reasoning with an ontological basis
  • The indexation and semantic annotation of data and video streams
  • The semantic integration of data
  • The semantic integration of company processes: architecture composition (algebra of composition, dynamic, service-oriented composition, semantic coherence). The semantic composition of processes.

The architecture of semantic mediation

Reliable service composition in SOA (Service-Oriented Architecture)

The work is focused on web services, their indexation in terms of efficient research and the models for the composition of these services. Going further than the current standards of web services (WSDL, UDDI, SOAP, REST, etc.), the discovery of new services is based on ontologies (RDFS-S, OWL-S, etc).

Semantic web and social networks

  • Filtering and recommendation systems
  • Integration and semantic mediation

Models and tools for human learning

  • E-learning: architecture, norms and standards of LMS (Learning Management System)
  • Use in the world of IT for human learning

Collaborative Research at the EISTI

In the IT curriculum

  • Teaching in ‘Engineering of Complex Systems’ (Research Masters Industrial Engineering, shared with Ecole Centrale Paris/Polytechnique).
  • This master trains for the areas of industrial and academic research in the engineering and management of complex systems conception (design engineering and design management).
  • Grid Computing Network, Marguerite regional. The setting up of a cloud computing regional in Ile-de-France, offering users (students, secondary/high school students, apprentices and researchers living in the Ile-de-France region) a massive stocking facility, a power of calculation and SaaS software. This project is run by the EISTI in partnership with the ESSEC, Telecom Sud Paris, l’Institut Telecom and l’Ecole Polytechnique.
  • With Telecom Paris Tech, within the framework of the Sebastian 2 project, working with the centre of competitiveness Cap Digital, for the setting up of very high-speed broadband (10 Gb/s), with French and American partners of the project.
  • With the centre of competitiveness Cap Digital, with the LIP6 laboratory (University of Paris 6) and the CRIS (research centre on specialized information and mediation of knowledge) from the Université of Paris Ouest on semantic web tools and e-learning standards and models.
  • At the heart of the Ile-de-France Collegium, with the ENSEA and SUPMECA on any and all modeling problems, digital simulation and formal verification in the process of mecatronic system conception.
  • With the Technical University of Sofia (Bulgaria) on the setting up of MBSE (Model-Based System Engineering) and robotic digital simulation techniques.