|
|
|
Models and Methods for the Construction and Verification of Complex Concurrent Systems
- Design and Synthesis of Distributed Implementations form Global Specifications
- Design-by-contract approaches
- 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
(an overview)
- Combination of abstraction, algorithmic model checking and theorem proving
(Invariant Checker)
- Temporal Logics and associated Verification Techniques
Main Recent Projects
- IST Network of Excellence ARTIST2 and ARTIST DESIGN (2008-2012)
- 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)
|
