|
|
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
|
Research
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
Teaching
CS 204: Algorithms,
Spring 2009-2010.
CS 331: Programming
Languages, Autumn 2009-2010.
Older
Courses
Meetings (PC / Organization)
- RTAS 2010, Work-in-Progress Session: 16th IEEE Real-Time and Embedded
Technology and Applications Symposium (RTAS),
- RTCSA 2007: 13th IEEE International Conference
on Embedded and Real-Time Computing Systems and Applications,
- SEFM 2006: Fourth IEEE conference on Software
Engineering and Formal Methods (SEFM 2006) Pune, India, 11 - 15 September,
2006.
- Formal
Methods Update 2006:
IIT Guwahati, 3 - 6 July, 2006.
Academic
partner of Esterel Technologies, the provider of
model-based solutions for DO-178B
and IEC 61508
safety-critical
systems.