Iulian Ober

Research topics (present to past)

• Model-Based Systems Engineering (MBSE). Applications in embedded and cyber-physical systems design.
• Verification, validation and certification systems integrating Machine Learning.
• Contract-based design of safety critical real-time components and systems. Check out the website of the IFx-OMEGA tool.
• Semantics of real-time and distributed systems. Formalisation of object oriented analysis and design languages. Computer aided software engineering tools.

Publications list from the IRIT database (since 2005)

Tool development

	IFx-OMEGA is a compiler / simulator / model-checker for a rich subset of UML 2.2 / SysML 1.1, based on the IF model checker from VERIMAG. [Go to web page]
	FlOpEDT is an open-source (AGPL licenced) web-based timetable management system, featuring automatic generation of timetables that optimize various criteria decided by its users, with the goal of maximizing user satisfaction. It includes features for managing room and staff availabilities and hourly preferences, viewing and modifying timetables, and more. The system is used in production for managing the timetables at IUT Blagnac's CS department. It is developed mainly by a group of instructors/researchers from IUT Blagnac. The automatic generation was originally based on the method described here, with additions and improvements by the contributors of FlOpEDT.
	XLSScheduler is an experimental school timetabling program I developed as a hobby, originating from the timetabling problem of the Computer Science department at IUT Blagnac. It is based on a coding the timetabling constraints as an integer linear programming model and using a MILP solver (Cbc or Gurobi). [Go to web page] It is now superseded by FlOpEDT.

Projects

MoC4Space

European Space Agency Project "Model Checking for Formal Verification of Space Systems" (2021-2022)

CIFRE Airbus

Certifiability of systems based on Machine Learning software. (2019-2022)

CIFRE Bombardier Transportation

An integrated model-based early validation approach for railway systems engineering (2016-2019)

FullMDE

European Space Agency Project "Full Model Driven Development for On-Board Software." (2009-2011)

Omega UML2

European Space Agency Activity 3-12639 (2009-2010)

SoCKET

French DGE Project "System on Chip toolKit for critical Embedded sysTems" (2008-2011)

DOMINO

French ANR Project "DOMaINes et prOcessus méthodologique" (2007-2009)

ASSERT

IST Integrated Project "Automated proof based System and Software Engineering for Real-Time" (2004-2007)

OMEGA

IST Project "Correct Development of Real-Time Embedded Systems in UML" (2002-2005)

INTERVAL

IST Project "Formal design, validation and testing of real-time telecommunication systems" (1999-2001)

PhD Students

Ivan Kolesnikov (2021 - )

Co-advised with Marius Bozga (CNRS-Verimag, Université Grenoble Alpes).
Subject: Boosting simulation and debugging of Cyber-Physical Systems (CPS) models with symbolic analysis methods.

Eric Guillaume Vidot (2019 - )

Co-advised with Ileana Ober. CIFRE convention with Airbus.
Subject: Certifiability of systems based on Machine Learning software.

Mickël Trezzy (2018 - )

Co-advised with Raquel Araujo de Oliveira and Ileana Ober. Financed by a scholarship from ED MITT.
Subject: Model-based development of safe and secure robotic systems.

Kamal Boumaza (2018 - )

Co-advised with Cherif Tolba. Université Badji Mokhtar Annaba, Algérie.
Subject: Verification of emergent properties in complex systems.

Ronan Baduel (2016 - 2019)

Co-advised with J-M. Bruel. CIFRE convention with Bombardier Transportation.
Subject: An integrated model-based early validation approach for railway systems engineering.

Iulia Dragomir (2010 - 2014)

Co-advised with C. Percebois
Subject: Contract-based Modeling and Verification of Timed Safety Requirements for System Design in SysML.

El Arbi Abussoror (2010 - 2013)

Co-advised with Ileana Ober
Subject: Advanced diagnostic methods in formal model validation.

Hong-Viet Luong (graduated in October, 2010)

Co-advised with C. Percebois, A-L. Courbis, T. Lambolais
Subject: Incremental construction and verification of system specifications.

Younes Lakhrissi (graduated in July, 2010)

Co-advised with B. Coulette
Subject: Integration of behavior models in view-based analysis and design.

M.Sc. Students

Ivan Kolesnikov, 2021, Master 2 Computer Science for Aerospace, Université Paul Sabatier Toulouse-3

Subject: Design and development of an autonomous robot and functional modelling and verification using the TASTE toolchain.

Samira Kherfellah, 2012-2013, Master 2 Recherche, Université de Bordeaux

Subject: Semantics of the IF language in K and comparison between the K-generated model checked and the native IF model-checker.

Julien Hadba, 2009-2010, Master 2 Recherche, Université de Pau (UPPA)

Subject: Modeling, simulation and verification of ATV's solar panel deployment sub-system with Omega SysML.

Iulia Dragomir, 2009-2010, Master 2 Recherche, Université Paul Sabatier

Subject: Semantic formalization and verification of composite structures.

Ouzzin Ben Haddou (graduated in July, 2009)

Co-advised with Philippe Dhaussy (ENSIETA, Brest)
Subject: A case study on formal modeling and validation of a space application from CNES.

Tristan Faure (graduated in July, 2007)

Co-advised with Maurice Heitz (CS)
Subject: Integration of the Omega UML profile and tools in the ASSERT IDEA framework.