*banner
 
Margin Top
Margin Bottom

Workshop: From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs

Monday, April 21, 2008

The workshop was held in conjunction with RTAS in St. Louis, MO at the Renaissance Grand Hotel in St. Louis

The CPS Workshop was sponsored in part by the European Community Artist Network of Excellence and COMBEST STREP.

EC ARTIST Network of  Excellence   COMBEST STREP   CHESS

The theme of the workshop is presenting an overarching view of methodologies and theories for the design of embedded and critical systems as it has emerged in the past five years and discussing the future in terms of the extension of the notion of embedded systems to Cyber-Physical Systems (CPS). In the overview of the present status of the discipline, the workshop will address heterogeneous system composition, design methods based on abstraction and refinement, interface theories, mapping of abstract entities to implementation platforms and industrial applications. The presentations will also feature industry representatives who will give their perspective of what are the gaping holes in the state of the art in their business segment and how to bridge academic accomplishments with industrial practice. The discussion about the extension of the theories and methodologies to the new generation of CPS will review the necessary steps and a possible roadmap for research. The discussion will also include public research organizations. European Community representatives will provide the state-of-the-art and the research initiatives on embedded systems in the EU.

Workshop Organizers:

  • Tom Henzinger (Berkeley, EPFL)
  • Alberto Sangiovanni-Vincentelli (Berkeley)
  • Jonathan Sprinkle (University of Arizona)
  • Janos Sztipanovits (Vanderbilt)
  • The program of the workshop is below:

    "

    8:30

    Registration (Handled by RTAS) and Continental Breakfast

     

    9:00-10:00

    Morning Session 1: What has been accomplished?

    9:00 Jonathan Sprinkle University of Arizona "CHESS: Building A Cyber-Physical Agenda on Solid Foundations"
    9:20 Edward A. Lee University of California, Berkeley "Making Time Essential in Computation"
    9:40 Janos Sztipanovits Vanderbilt University "Cyber Physical Systems: New Challenges for Model-based Design
     

    10:00

    Break

     

    10:30-11:30

    Morning Session 2: What has been accomplished?

    10:30 Thomas Henzinger University of California, Berkeley and École Polytechnique Fédérale de Lausanne "Designing Predictable and Robust Systems"
    10:50 Alberto Sangiovanni-Vincentelli University of California, Berkeley "Communication Infrastructure Synthesis and its Application to Cyber Physical Systems: The Intelligent Building case."
    11:10 Sanjit A. Seshia University of California, Berkeley "Teaching Embedded Systems to Berkeley Undergraduates"
     

    11:30-12:00

    Funding outlook: Views from the government

    11:30 Helen Gill National Science Foundation "Views from the HCSS Agencies"
    11:40 Philippe Reynaert DG INFSO Embedded Systems "Embedded Systems Research in Europe"
     

    12:00-1:00

    Lunch (Provided)

     

    1:00-1:40

    Afternoon Session 1: Evolving Industrial RoadMap on CPS

    1:00 Nady Boules General Motors "Reinventing the Automobile: The Cyber-Physical Challenge"
    1:20 Clas Jacobson United Technologies Corp. "Cyber Physical Systems - A Perspective from Building and Aerospace Systems"
    1:40 David Corman Boeing "CPS in Aerospace. Challenges and Opportunities"
     

    2:00-2:40

    Afternoon Session 2: European Research Activity

    2:00 Werner Damm OFFIS "Enabling innovations through embedded systems: the Artemis approach"
    2:20 Roberto Passerone University of Trento "Multiple viewpoint contracts in SPEEDS"
     

    2:40

    Break

     

    3:00-4:40

    Cyber-Physical Systems Panel

      Introduced by
    Jonathan Sprinkle (University of Arizona)
     
      Moderated by
    Janos Sztipanovits (Vanderbilt University)
     
     

    The panel includes:

  • Industry
  • Clas Jacobson (United Technologies Corp)
  • Nady Boules (General Motors)
  • Government
  • Helen Gill, (National Science Foundation)
  • Philippe Reynaert (DG INFSO Embedded Systems)
  • Academia
  • George J. Pappas, (University of Pennsylvania)
  • Bruce Krogh, (Carnegie Mellon University)
  • Center for Hybrid and Embedded Software Systems (CHESS)
  • Shankar Sastry (University of California, Berkeley)
  • Janos Sztipanovits (Vanderbilt University)
  •  
     

    4:45

    Summary

    4:45 Alberto Sangiovanni-Vincentelli University of California, Berkeley Closing Remarks
     

    6:30-8:30

    Reception

    CPS Week Reception in the Mildred Lane Kemper Art Museum at Washington University in St.Louis (Danforth Campus)

    Sponsored by the School of Engineering at Washington University in St. Louis, and the Center for Hybrid and Embedded Software Systems at UC Berkeley

    For more information, contact: Christopher Brooks

    ©2002-2018 Chess