|
|
Purandar
Bhaduri Associate
Professor and Head Tel: +91 361
258 2360 (Office) +91 361 258
2351 (HOD Office) Cell: +91 99571 80317 Fax: +91 361
269 2787 Email:
pbhaduri [*AT] iitg.ernet.in
|
Formal
Modelling, Synthesis and Verification of Embedded Real-Time Systems
I am especially
interested in formal foundations of component-based embedded systems
development, including compositional analysis of real-time and performance
properties. The following are broad areas of interest to me.
-
Model-based
development and analysis of Embedded Control Systems
-
Formal
Methods for Real-time Embedded Systems
-
Formal
Foundations for Component-based Embedded Systems
-
Interface
Theories and Converter Synthesis
-
Modelling
of Heterogeneous Embedded Systems
-
Synchronous
Specification Languages
CS 204: Algorithms,
Spring 2009-2010.
CS 331: Programming
Languages, Autumn 2009-2010.
Academic
partner of Esterel Technologies, the provider of
model-based solutions for DO-178B
and IEC 61508
safety-critical
systems.