|
|
|
Main Research interests:
Models and Methods for the Construction and Verification of Complex Concurrent Systems
- Component-based system specification and analysis (see also projects SPEEDS and
BIP)
- Heterogeneous Designs (SPEEDS and
BIP)
- Real-Time UML (see also OMEGA) and associated verification techniques
- Component based design and verification (see also OMEGA and
ARTIST)
- Verification in the Large: IF language and Tool-set
- Semantics of real-time and distributed systems,
- Time extensions of Modelling languages (INTERVAL, OMEGA)
- Verification of infinite state systems by means of abstract interpretation
- Combination of abstraction, algorithmic model checking and theorem proving
(Invariant Checker)
- Temporal Logics and associated Verification Techniques
Main Current and Recent Projects
- ARTIST2 and ARTIST DESIGN (2008-2011)
- Cluster Real Time Components
- Platform Real Time Components
- IST Integrated project SPEEDS Speculative and Exploratory Design
in Systems Engineering (2006-2010):
- French RNTL project OpenEmBEDD An open source platform making available model-based techniques for the development of real-time and embedded systems (2006-2009)<
- French RNRT project PERSIFORM Performance engineering based on simulation of formal functional models (2005-2008)
- Coordination of IST Project OMEGA Correct Development of Real-Time Embedded Systems in UML (2002-2005)
|
|
