Speaker: Jyo Deshmukh, Ph.D.
Researcher/Engineer, Toyota Technical Center
Toyota Motor Engineering & Manufacturing
Title: Formal Verification and Model-based Development in Automotive Powertrains
At the heart of an automobile is its powertrain, and the operation of powertrain components
such as the engine is controlled by embedded software on electronic control units (ECUs). 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 closed-loop
engine control systems, and (2) formalisms to express correctness and performance
requirements for such models. We survey some of the existing work done to answer these
challenges, and present some promising directions for future work.
Refreshments will be provided!
Date(s) - 11/05/2015
4:10 pm - 5:00 pm
1062 Bainer Classroom