photo

Iulian Ober

Associate professor (Maître de Conférences), PhD, HDR
Research affiliation: IRIT (Institut de Recherche en Informatique de Toulouse), ARGOS team
Teaching affiliation: IUT Blagnac, Université Toulouse Jean Jaurès

Mailing address:
 IRIT (Équipe ARGOS)
 Université Paul Sabatier
 118 Route de Narbonne
 F-31062 TOULOUSE CEDEX 9
E-mail: iulian [dot] ober [at] irit [dot] fr
Personal certificate (issued by the CNRS authority) : X.509 [.cer] PKCS#7 [.p7b]

Research topics (present to past)

  • Formal Model-Based System Engineering. Applications in embedded and cyber-physical systems design.
  • 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 developed for XLSScheduler (see below), 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

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

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.
Ronan Baduel (2016 - )
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

Samira Kherfellah (2013)
Subject: Semantics of the IF language in K and comparison between the K-generated model checked and the native IF model-checker.
Julien Hadba (graduated in July, 2010)
Subject: Modeling, simulation and verification of ATV's solar panel deployment sub-system with Omega SysML.
Iulia Dragomir (graduated in July, 2010)
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.

Program committees

Reviewer for: Journal of Control Engineering Practice, IEEE Transactions on Industrial Informatics.

Organized events

Short Vitae

(download full CV)

Undergraduate studies (1997)
Licence (BSc/Bac+4), School of Mathematics and Computer Science, Babes-Bolyai University, Cluj-Napoca, Romania.
Master degree in Computer Science (1998)

School of Mathematics and Computer Science, Babes-Bolyai University,Cluj-Napoca, Romania.

Research topic : Design and implementation of a UML CASE tool.

PhD (2001)

Specification and validation of timed systems using formal description languages.

École Nationale Supérieure d´Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications, Toulouse, France.

Defense committee:

  • Prof. Joseph Sifakis (reviewer),
  • Dr. Roland Groz (reviewer),
  • Dr. Susanne Graf,
  • Dr. Alain Kerbrat,
  • Prof. Zoubir Mammeri (president of the jury),
  • Prof. Bernard Coulette (PhD advisor).

Work supported by Telelogic Technologies Toulose (former Verilog), within the IST Interval project.

[Download thesis (PDF)]

Post-doc - Expert engineer (2002-2005)

VERIMAG laboratory, Grenoble, France.

Research topic : Specification and validation of timed systems using UML

Work performed within the OMEGA project.

Assistant professor (since 2005)
Tenured position at Toulouse-2 University. I conduct my research at IRIT.
Habilitation à Diriger des Recherches (13 December, 2010)

Observer pour vérifier, contraindre et interagir. Applications de l'observation à la construction et à la validation des systèmes logiciels.

Université Toulouse 2, France.

Defense committee:

  • Prof. Yves LEDRU, Université Joseph Fourier, Grenoble (reviewer)
  • Prof. Elie NAJM, Télécom-ParisTech, Paris (reviewer)
  • Prof. Dorina PETRIU, Carleton University, Ottawa, Canada (reviewer)
  • Prof. Jean-Michel BRUEL, Université Toulouse 2 (advisor)
  • Prof. Bernard COULETTE, Professeur, Université Toulouse 2 (president of the jury)
  • Dr. Susanne GRAF, Directrice de recherches, CNRS, VERIMAG, Grenoble

$LastChangedDate: 2018-09-11 10:04:06 +0200 (Tue, 11 Sep 2018) $