Logo: University of Southern California

Events Calendar


  • Requirements Engineering Challenges for Cyber-Physical Systems

    Thu, Dec 07, 2017 @ 01:30 PM - 02:30 PM

    Ming Hsieh Department of Electrical Engineering

    Conferences, Lectures, & Seminars


    Speaker: Jim Kapinski, Ph.D., Model-Based Development, Toyota Technical Center

    Talk Title: Requirements Engineering Challenges for Cyber-Physical Systems

    Series: Cyber-Physical Systems Joint Seminar Series

    Abstract: Cyber-physical systems (CPSs) are used in many mission critical applications, such as automobiles, aircraft, and medical devices; and the complexity of these systems is growing rapidly. New analysis techniques are available to increase confidence in the reliability of CPSs, but most methods rely on the availability of formal system requirements, which can be challenging to develop for complex applications. This talk presents promising recent developments in verification and validation for CPS, including formal methods and automated testing techniques, and addresses ongoing challenges related to the development of formal requirements.


    Biography: Jim Kapinski received his Ph.D. in Electrical and Computer Engineering from Carnegie Mellon University in 2005 and was a postdoctoral researcher at CMU from 2007 to 2008. He went on to found and lead Fixed-Point Consulting, serving clients in the defense, aerospace, and automotive industries. Since 2012 he has been with the Model-Based Development group at the Toyota Technical Center. His work at Toyota focuses on advanced research into verification techniques for embedded software for powertrain control systems. Jim's research interests include verification techniques for embedded control system designs and analysis of hybrid dynamical systems.

    Host: Professor Paul Bogdan

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132

    Audiences: Everyone Is Invited

    Posted By: Talyia Whtie

    OutlookiCal

Return to Calendar