Susanne Graf

Web VERIMAG
VERIMAG
Web VERIMAG
DCS group
    Susanne.Graf@imag.fr
Tel: (+33) 4 56 52 03 52
Photo

 

Models and Methods for the Construction and Verification of Complex Concurrent Systems

  • Contract-based design and analysis of mixed critical 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

Some 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)