9.00 – 9.05 Introduction
9.05 – 9.45 Rima Al-Ali, Charles University, Prague, Czech Republic
Title: Handling Uncertainty in Industrial Use Cases of Cyber-Physical Systems: Systematic Project Review
9.45 – 10.30 Santonu Sarkar, BITS Pilani Goa Campus, India
Title: Dependability Issues in Cyber-Physical Systems
10.30 – 11.00 Tea Break
11.00 – 11.45 Priyanka Darke, TCS Research, India
Title: Proving Properties of non-array Reactive Programs
11.45 – 12.30 Ravindra Metta, TCS Research, India
Title: Timing Aspects of Software Engineering for Cyber-Physical Systems: Estimation, Debugging and Implementation
12.30 – 2.00 Lunch Break
2.00 – 2.45 Raoule Jetley, ABB Corporate, India
Title: Engineering Future Industrial Automation Systems
2.45 – 3.30 M. K. Srivas, Chennai Mathematical Institute, India
Title: Synthesizing Inductive Invariants for Programs
3.30 – 3.45 Tea Break
3.45 – 4.15 C. Anantaram, TCS Research, India
Title: Formalizing and Verifying Natural Language System Requirements for Embedded Systems using Petri Nets and Context Based Reasoning
5.00 Panel Discussion (M K Srivas, Rima Al-Ali, C. Anantaram and Santonu Sakar)
Topic: Research and Industrial Perspectives on Software Aspects of Cyber-Physical Systems