Date - 29 May 2012
10:00 AM - 11:30 AM
3043 ECpE Addition
Title: Towards building Cyber-Physical Systems, the next generation Embedded Systems
Speaker: Ramesh Sethu, General Motors R&D
Abstract: Embedded applications like automotive control software are becoming complex: from single to multiple functions and features, from centralized to distributed, federated to integrated architecture, from passive to active control, simple to safety-and business-critical applications, closed to open systems, from single party to multi-party development, from isolated to connected components and so on. Many of these emerging embedded systems are the next generation embedded systems and are referred to as Cyber-Physical Systems (CPS).
Rigorous software engineering of CPS and Automotive Control Software is an important area of research requiring significant involvement of software engineering researchers, domain experts and practitioners. It is a challenge for today’s computer scientists to build effective methods and tools for developing such systems. In this talk, some of the challenges are highlighted in the context of automotive systems and a few preliminary possible solutions methods developed by our team are discussed.
We have developed what we call as verification or analysis models, which are mathematical abstractions (models) of requirements, design and software. Besides providing precise behavioral descriptions of systems, these models give rise to automated analysis algorithms which form the core of our verification efforts. We have developed many models which include, Requirement Models, Test Generation Models, Design Verification Models, Timing Verification Models and Models for Verifying Code Generators. These models have given rise to automated analysis algorithms which include, Automatic Test case generation Algorithm, Rigorous Requirements Analysis methods, Message latency Computation, Schedulability Analysis algorithms and Translation Validation of auto-code generators. We have built prototype tools based upon these algorithms, some of which will also be discussed in the talk.
Speaker Bio: Ramesh is a senior technical fellow in General Motor Corporation and is currently on an international assignment at General Motors Technical Center, Warren, MI, USA. Earlier, he led the Rigorous Control Software Verification \& Validation Groups at India Science Lab. (ISL), which is a part of the Global General Motors Corporate R\&D network. Ramesh joined ISL as a Technical Fellow in May 2005 and was with the Control Software Engineering Methods and Tools Group. At ISL, he focused on technology innovations in the area of rigorous methods and tools for the development of high quality distributed control software. Over these years, he played a significant role in setting up two groups of high caliber researchers, planned the road map of research activities for these two groups and contributed to the delivery of results of these two groups. He played a key role in setting up a Centre of Excellence in Rigorous Approach to Embedded Control Software Development and leads the GM’s global research network in Formal Methods for Control Software Development through key collaborations with universities and institutions in India and abroad.
Prior to joining GM, Ramesh was a full Professor in the Dept of Computer Science and Engineering, Indian Institute of Technology, Bombay for more than fifteen years. At IIT Bombay, he co-founded the Centre for Formal Design and Verification of Software, which is unique of its kind in the country, focusing on the verification and validation of safety-critical high integrity systems. This Center has emerged as a national centre helping various Governmental agencies in the development of high integrity software and hardware systems.
Ramesh has published around ninety research papers in several international journals and conferences, He is an associate editor of many international journals which include Springer Real Time Systems Journal and IEEE Embedded Systems Letters.
Ramesh has been elected as a fellow of Indian National Academy of Engineering (FINAE), for his R\&D contributions.
Ramesh holds the BE degree in Electronic and Communication Engineering from the Indian Institute of Science, Bangalore, India, and a PhD degree in Computer Science and Engineering from Indian Institute of Technology, Bombay, India.