3.7 Design Automation of Cyber-Physical Systems

Printer-friendly version PDF version

Date: Tuesday, March 26, 2019
Time: 14:30 - 16:00
Location / Room: Room 6

Mohammad Al Faruque, UC Irvine, US, Contact Mohammad Al Faruque

Davide Quaglia, University of Verona, IT, Contact Davide Quaglia

The session addresses design techniques for modern cyber-physical systems, e.g., design of the computation/communication platform according to system dynamics, design of variable-delay controllers and, last but not least, assume-guarantee contract optimization.

TimeLabelPresentation Title
Wanli Chang, University of York, GB
Leslie Maldonado1, Wanli Chang2, Debayan Roy3, Anuradha Annaswamy4, Dip Goswami5 and Samarjit Chakraborty3
1Massachusetts Institute of Technology, US; 2University of York, GB; 3TUM, DE; 4MIT, US; 5Eindhoven University of Technology, NL
Automotive embedded systems are safety-critical, while being highly cost-sensitive at the same time. The former requires resource dimensioning that accounts for the worst case, even if such a case occurs infrequently, while this is in conflict with the latter requirement. In order to manage both of these aspects at the same time, one research direction being explored is to dynamically assign a mixture of resources based on needs and priorities of different tasks. Along this direction, in this paper we show that by properly modeling the physical dynamics of the systems that an automotive control software interacts with, it is possible to better save resources while still guaranteeing safety properties. Towards this, we focus on a distributed controller implementation that uses an automotive FlexRay bus. Our approach combines techniques from timing/schedulability analysis and control theory and shows the significance of synergistically combining the cyber component and physical processes in the cyber-physical systems (CPS) design paradigm.
Robinson Medina, Eindhoven University of Technology & TNO Powertrains, NL
Róbinson Alberto Medina Sánchez1, Sander Stuijk1, Dip Goswami1 and Twan Basten2
1Eindhoven University of Technology, NL; 2Eindhoven University of Technology & TNO-ESI, NL
Image-based control uses image-processing algorithms to acquire sensing information. The sensing delay associated with the image-processing algorithm is typically platform-dependent and time-varying. Modern embedded platforms allow to characterize the sensing delay at design-time obtaining a delay histogram, and at run-time measuring its precise value. We exploit this knowledge to design variable-delay controllers. This design also takes into account the resource configuration of the image processing algorithm: sequential (with one processing resource) or pipelined (with multiprocessing capabilities). Since the control performance strongly depends on the model quality, we present a simulation benchmark that uses the model uncertainty and the delay histogram to obtain bounds on control performance. Our benchmark is used to select a variable-delay controller and a resource configuration that outperform a constant worst-case delay controller.
Chanwook Oh, University of Southern California, US
Chanwook Oh1, Eunsuk Kang2, Shinichi Shiraishi2 and Pierluigi Nuzzo1
1University of Southern California, US; 2Toyota InfoTechnology Center, US
Assume-guarantee (A/G) contracts are mathematical models enabling modular and hierarchical design and verification of complex systems by rigorous decomposition of system-level specifications into component-level specifications. Existing A/G contract frameworks, however, are not designed to effectively capture the behaviors of cyber-physical systems where multiple agents aim to maximize one or more objectives, and may interact with each other and the environment in a cooperative or non-cooperative way toward achieving their goals. This paper proposes an extension of the A/G contract framework, namely optimizing A/G contracts, that can be used to specify and reason about properties of component interactions that involve optimizing objectives. The proposed framework includes methods for constructing new contracts via conjunction and composition, along with algorithms to verify system properties via contract refinement. We illustrate its effectiveness on a set of case studies from connected and autonomous vehicles.
16:00End of session
Coffee Break in Exhibition Area

Coffee Breaks in the Exhibition Area

On all conference days (Tuesday to Thursday), coffee and tea will be served during the coffee breaks at the below-mentioned times in the exhibition area.

Lunch Breaks (Lunch Area)

On all conference days (Tuesday to Thursday), a seated lunch (lunch buffet) will be offered in the ""Lunch Area"" to fully registered conference delegates only. There will be badge control at the entrance to the lunch break area.

Tuesday, March 26, 2019

  • Coffee Break 10:30 - 11:30
  • Lunch Break 13:00 - 14:30
  • Awards Presentation and Keynote Lecture in ""TBD"" 13:50 - 14:20
  • Coffee Break 16:00 - 17:00

Wednesday, March 27, 2019

  • Coffee Break 10:00 - 11:00
  • Lunch Break 12:30 - 14:30
  • Awards Presentation and Keynote Lecture in ""TBD"" 13:30 - 14:20
  • Coffee Break 16:00 - 17:00

Thursday, March 28, 2019

  • Coffee Break 10:00 - 11:00
  • Lunch Break 12:30 - 14:00
  • Keynote Lecture in ""TBD"" 13:20 - 13:50
  • Coffee Break 15:30 - 16:00