Esterel SCADE & Model Based Design Program
Principal participants:
IIT-Bombay, Esterel Technologies Ltd., BARC, NPCIL.
27/11/2009
| 09:00-09:30 | Registration | |
| 09:30-10:00 | Opening Remarks | S.D. Dhodapkar, Outstanding Scientist(BARC)
Cyrille Fague, VP(Esterel Technologies) |
| 10:00-10:30 | Tea | |
| 10:30-11:00 | Synchronous Languages: Semantics | Dr. A.K. Bhattacharjee(BARC) |
| 11:00-12:00 | Basis of SCADE synchronous language-I | Esterel |
| 12:00-13:00 | Basis of SCADE synchronous language-II | Esterel |
| 13:00-14:30 | Lunch | |
| 14:30-15:30 | Some recent trends in model checking | Prof. S. Chakraborty (IITB) |
| 15:30-16:00 | Tea | |
| 16:00-17:00 | Computation of quantitative timing properties of synchronous programs using Discrete Duration Calculus. | Prof. P. Pandya (TIFR) |
| 17:00-18:00 | Modeling & Verification Case Studies | Esterel |
28/11/2009
| 09:30-10:30 | SCADE Display | Esterel |
| 10:30-11:00 | Tea | |
| 11:00-11:30 | SCADE compliance with IEC 60880 nuclear safely standard | Esterel |
| 11:30-12:00 | Case Studies from BARC | BARC |
| 12:00-12:30 | Case Studies from igcar | IGCAR |
| 12:30-13:00 | Case Studies from NPCIL | NPCIL |
| 13:00-13:30 | Discussion | |
| 13:30-14:30 | Lunch | |
|
People
—> Principal Investigators
—> Research Employees
—> Students
Projects
—> R & D Projects
—> Sponsored Projects
—> Exploratory Projects
Papers/Reports
—> Papers
—> Technical Reports
—> Theses
Resources
—> Search
—> Tools
Activities
—> Weekly Meetings
—> Formal Methods Update '05
—> Workshop'05
—> Workshop 2002
Download
—> Course Material
—> Online documentation
Others
—> Photographs
—> Internal Website
—> Webmail
|
