Jyotirmoy Deshmukh

Date: 17:00, Thursday, September 24, 2015
Speaker: Jyotirmoy Deshmukh
Venue: IST Austria

At the heart of an automobile are its engine and powertrain. The operation of these components is controlled by embedded software on an electronic control unit (ECU). The paradigm of model-based development (MBD) has become the de facto standard for designing such control software. MBD designs of control software range from feature-level models to application-level and even entire system-level models. On the other hand, models of the plant (e.g. the engine), can range from simple physics-based models to high-fidelity models incorporating test-data. The advantage of MBD is in its ability to design, validate, and analyze the closed-loop model of the plant and the controller, often well before the actual hardware components become available. Unfortunately, even the simplest closed-loop model of an automotive powertrain subsystem is a complex cyber-physical system with highly nonlinear and hybrid dynamics, and reasoning about the correctness of such closed-loop models is a formidable task.  In this talk, we introduce two challenges in reasoning about industrial-scale closed-loop control models: (1) Scaling verification or bug-finding techniques to engine control software, and   (2) formalisms to express correctness and performance requirements for such models. We survey some of the existing work done to address such questions, and present some promising directions for future work.

Posted in RiSE Seminar