research-article

From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts

Author:

Pierluigi NuzzoAuthors Info & Claims

ISPD '19: Proceedings of the 2019 International Symposium on Physical Design

Pages 117 - 121

https://doi.org/10.1145/3299902.3311070

Published: 04 April 2019 Publication History

Abstract

This paper reflects on the design challenges posed by cyber-physical systems, what distinguishes cyber-physical system design from large-scale integrated circuit design, and what could be the opportunities for the design automation community. The paper discusses three challenges that touch upon aspects that are unique to cyber-physical systems, namely, devising novel compositional design methodologies, reasoning about the interaction between discrete and continuous models, and dealing with uncertainty. It then summarizes some of the approaches pursued by the research community to tackle these challenges, with the potential of fostering a new generation of methodologies, algorithms, and tools for system design. Central to the paper is a view of platforms and contracts as formal notions that can bridge the emerging area of cyber-physical system design automation with paradigms that have been successful in the field of electronic design automation.

References

[1]

Rajeev Alur. 2015. Principles of cyber-physical systems .MIT Press.

Digital Library

[2]

R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho. 1993. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems (LNCS), Vol. 736. Springer, 209--229.

Digital Library

[3]

Dario Amodei, Chris Olah, Jacob Steinhardt, Paul Christiano, John Schulman, and Dan Mané. 2016. Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 (2016).

[4]

Clark Barrett and Cesare Tinelli. 2018. Satisfiability modulo theories. In Handbook of Model Checking. Springer, 305--343.

[5]

Alberto Bemporad and Manfred Morari. 1999. Control of systems integrating logic, dynamics, and constraints. Automatica, Vol. 35 (1999).

Digital Library

[6]

A. Benveniste, T. Bourke, B. Caillaud, J. ColaÁo, C. Pasteur, and M. Pouzet. 2018a. Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE, Vol. 106, 9 (Sep. 2018), 1568--1592.

[7]

Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, and Kim G. Larsen. 2018b. Contracts for System Design. Foundations and Trends in Electronic Design Automation, Vol. 12, 2--3 (2018), 124--400.

Digital Library

[8]

Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, and Tiziano Villa. 2012. Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. In Reachability Problems, Alain Finkel, J©r¥me Leroux, and Igor Potapov (Eds.). Lecture Notes in Computer Science, Vol. 7550. Springer Berlin Heidelberg, 79--91.

Digital Library

[9]

S.P. Boyd and L. Vandenberghe. 2004. Convex Optimization .Cambridge University Press. 03063284

Digital Library

[10]

Xin Chen, Erika Ábrahám, and Sriram Sankaranarayanan. 2013. Flow*: An Analyzer for Non-linear Hybrid Systems. In Proc. Int. Conf. Comput.-Aided Verification (Lecture Notes in Computer Science), Vol. 8044. Springer Berlin Heidelberg, 258--263.

[11]

Alessandro Cimatti and Stefano Tonetta. 2015. Contracts-refinement proof system for component-based embedded systems. Science of Computer Programming, Vol. 97, Part 3 (2015), 333--348.

Digital Library

[12]

Edmund M Clarke, Thomas A Henzinger, Helmut Veith, and Roderick P Bloem. 2018. Handbook of model checking .Springer.

Digital Library

[13]

Luca deAlfaro and Thomas A. Henzinger. 2001. Interface theories for component-based design. In First International Workshop on Embedded Software (EMSOFT), Vol. LNCS 2211. Springer-Verlag, Lake Tahoe, CA, 148--165.

Digital Library

[14]

Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, and Alberto Sangiovanni-Vincentelli. 2009a. UMTS MPSoC design evaluation using a system level design framework. In Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE'09. IEEE, 478--483.

Digital Library

[15]

Douglas Densmore, Anne Van Devender, Matthew Johnson, and Nade Sritanyaratana. 2009b. A platform-based design environment for synthetic biological systems. In The Fifth Richard Tapia Celebration of Diversity in Computing Conference: Intellect, Initiatives, Insight, and Innovations. ACM, 24--29.

Digital Library

[16]

Yishai A. Feldman and Henry Broodney. 2016. A Cognitive Journey for Requirements Engineering. In Ann. INCOSE Int. Symp. INCOSE.

[17]

Ioannis Filippidis and Richard M Murray. 2018. Layering Assume-Guarantee Contracts for Hierarchical System Design. Proc. IEEE, Vol. 106, 9 (2018), 1616--1654.

[18]

J. Finn, P. Nuzzo, and A. Sangiovanni-Vincentelli. 2015. A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. In Proc. IEEE/ACM Int. Conf. Comput.-Aided Design .

Digital Library

[19]

Hans Hansson and Bengt Jonsson. 1994. A logic for reasoning about time and reliability. Formal aspects of computing, Vol. 6, 5 (1994), 512--535.

[20]

Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, and Alberto Sangiovanni-Vincentelli. 2014. Library-Based Scalable Refinement Checking for Contract-Based Design. In Proc. Design, Automation and Test in Europe .

Digital Library

[21]

Ruoxi Jia, Baihong Jin, Ming Jin, Yuxun Zhou, Ioannis C Konstantakopoulos, Han Zou, Joyce Kim, Dan Li, Weixi Gu, Reza Arghandeh, et almbox. 2018. Design automation for smart building systems. Proc. IEEE, Vol. 106, 9 (2018), 1680--1699.

[22]

K. Keutzer, S. Malik, R. Newton, J. Rabaey, and A. Sangiovanni Vincentelli. 2000. System Level Design: Orthogonalization of Concerns and Platform-Based Design. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., Vol. 19, 12 (2000), 1523--1543.

Digital Library

[23]

Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, and Alberto Sangiovanni-Vincentelli. 2017. ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. In Proc. IEEE/ACM Design Automation Conf.

Digital Library

[24]

M. Kloetzer and C. Belta. 2008. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications., Vol. 53, 1 (Feb. 2008), 287--297.

[25]

H. Kress-Gazit, G.E. Fainekos, and G.J. Pappas. 2009. Temporal-Logic-Based Reactive Mission and Motion Planning., Vol. 25, 6 (Dec 2009), 1370--1381.

Digital Library

[26]

Marta Kwiatkowska, Gethin Norman, and David Parker. 2007. Stochastic model checking. In International School on Formal Methods for the Design of Computer, Communication and Software Systems. Springer, 220--270.

Digital Library

[27]

E. A. Lee. 2008. Cyber Physical Systems: Design Challenges. In Proc. IEEE Int. Symposium on Object Oriented Real-Time Distributed Computing. 363--369.

Digital Library

[28]

Edward A. Lee and Sanjit A. Seshia. 2017. Introduction to Embedded Systems, A Cyber-Physical Systems Approach Second ed.). MIT Press.

Digital Library

[29]

Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yugeng Xi, and Dewei Li. 2017. Stochastic contracts for cyber-physical system design under probabilistic requirements. In Int. Conf. Formal Methods and Models for Co-Design. 5--14.

Digital Library

[30]

Chung-Wei Lin, Qi Zhu, and Alberto Sangiovanni-Vincentelli. 2014. Security-aware mapping for TDMA-based real-time distributed systems. In Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design. IEEE Press, 24--31.

Digital Library

[31]

Sharad Malik and Lintao Zhang. 2009. Boolean satisfiability from theoretical hardness to practical success. Commun. ACM, Vol. 52, 8 (2009), 76--82.

Digital Library

[32]

Pierluigi Nuzzo. 2018. Building `Systems That You Can Bet Your Life On' Again and Again: Challenges and Opportunities for Cyber-Physical System Design Automation. `What is' Column, ACM SIGDA (Association for Computing Machinery Special Interest Group on Design Automation) E-Newsletter, Vol. 48, 10 (Oct. 2018).

[33]

Pierluigi Nuzzo, Jiwei Li, Alberto L Sangiovanni-Vincentelli, Yugeng Xi, and Dewei Li. 2019. Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. ACM Transactions on Embedded Computing Systems (TECS), Vol. 18, 1 (2019), 2.

Digital Library

[34]

Pierluigi Nuzzo, Michele Lora, Yishai Feldman, and A. Sangiovanni-Vincentelli. 2018. CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design. In Proc. Design, Automation and Test in Europe. Dresden, Germany, 839--844.

[35]

P. Nuzzo, A Puggelli, S. Seshia, and A. Sangiovanni-Vincentelli. 2010. CalCS: SMT solving for non-linear convex constraints. In Proc. Formal Methods in Computer-Aided Design. 71--79.

Digital Library

[36]

Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli. 2014. Let's Get Physical: Computer Science Meets Systems. In From Programs to Systems. The Systems perspective in Computing, Saddek Bensalem, Yassine Lakhneck, and Axel Legay (Eds.). Lecture Notes in Computer Science, Vol. 8415. Springer Berlin Heidelberg, 193--208.

[37]

Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli. 2017. System Design in the Cyber-Physical Era. In Nanoelectronics: Materials, Devices, Applications, Vol. 2. 363--396.

[38]

Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, and Tiziano Villa. 2015b. A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE, Vol. 103, 11 (Nov. 2015).

[39]

P. Nuzzo, A. Sangiovanni-Vincentelli, X. Sun, and A. Puggelli. 2012. Methodology for the Design of Analog Integrated Interfaces Using Contracts. IEEE Sensors J., Vol. 12, 12 (Dec. 2012), 3329--3345.

[40]

Pierluigi Nuzzo and Alberto L Sangiovanni-Vincentelli. 2018. Hierarchical System Design with Vertical Contracts. In Principles of Modeling. Vol. 10760. 360--382.

[41]

P. Nuzzo, A. L. Sangiovanni-Vincentelli, and R. M. Murray. 2015a. Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach. In Proc. INCOSE Int. Symp.

[42]

Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, and Sanjit A. Seshia. 2014. A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access, Vol. 2 (2014), 1--25.

[43]

National Institute of Standards and Technology (NIST). 2013. Strategic Vision and Business Drivers for 21st Century Cyber-Physical Systems.

[44]

André Platzer. {n. d.}. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics .Springer, Heidelberg.

Digital Library

[45]

André Platzer. 2011. Stochastic differential dynamic logic for stochastic hybrid programs. In Int. Conf. Automated Deduction. 446--460.

Digital Library

[46]

Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M Murray, and Sanjit A Seshia. 2015. Reactive synthesis from signal temporal logic specifications. In Proc. Int. Conf. Hybrid Systems: Computation and Control. ACM, 239--248.

Digital Library

[47]

Dorsa Sadigh and Ashish Kapoor. 2016. Safe Control under Uncertainty with Probabilistic Signal Temporal Logic. In Proceedings of Robotics: Science and Systems (RSS '16).

[48]

A. Sangiovanni-Vincentelli. 2007. Quo Vadis, SLD Reasoning About the Trends and Challenges of System Level Design. Proc. IEEE 3 (2007), 467--506.

[49]

Alberto Sangiovanni-Vincentelli. 2010. Corsi e ricorsi: The EDA story. IEEE Solid-State Circuits Magazine, Vol. 2, 3 (2010), 6--25.

[50]

Alberto Sangiovanni-Vincentelli, Werner Damm, and Roberto Passerone. 2012. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems . European Journal of Control, Vol. 18, 3 (2012), 217--238.

[51]

Sanjit A Seshia, Shiyan Hu, Wenchao Li, and Qi Zhu. 2017. Design automation of cyber-physical systems: challenges, advances, and opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 36, 9 (2017), 1421--1434.

Digital Library

[52]

Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, and P. Tabuada. 2018. SMC: Satisfiability Modulo Convex Programming. Proc. IEEE, Vol. 106, 9 (Sep. 2018), 1655--1679.

[53]

Joseph Sifakis. 2015. System design automation: Challenges and limitations. Proc. IEEE, Vol. 103, 11 (2015), 2093--2103.

[54]

J. Sztipanovits, T. Bapty, X. Koutsoukos, Z. Lattmann, S. Neema, and E. Jackson. 2018. Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE, Vol. 106, 9 (Sep. 2018), 1501--1526.

[55]

Janos Sztipanovits, Xenofon Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos Antsaklis, Vijay Gupta, Bill Goodwine, John Baras, and Shige Wang. 2012. Toward a science of cyber--physical system integration. Proc. IEEE, Vol. 100, 1 (2012), 29--44.

[56]

J. Wing. 2008. Cyber-Physical Systems. In Computing Research News, Vol. 20.

[57]

T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray. 2011. TuLiP: a software toolbox for receding horizon temporal logic planning. In Intl. Conf. Hybrid Systems: Computation and Control.

Digital Library

[58]

Yang Yang, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, and Qi Zhu. 2010. A design flow for building automation and control systems. In Real-Time Systems Symposium (RTSS), 2010 IEEE 31st. IEEE, 105--116.

Digital Library

[59]

Qi Zhu and Alberto Sangiovanni-Vincentelli. 2018. Codesign Methodologies and Tools for Cyber--Physical Systems. Proc. IEEE, Vol. 106, 9 (2018), 1484--1500.

Cited By

Chang KDahlin NJain RNuzzo P(2023)Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers2023 62nd IEEE Conference on Decision and Control (CDC)10.1109/CDC49753.2023.10383761(7843-7848)Online publication date: 13-Dec-2023
https://doi.org/10.1109/CDC49753.2023.10383761
Frid NSruk VJakobović D(2022)Design Space Exploration of Clustered Sparsely Connected MPSoC PlatformsSensors10.3390/s2220780322:20(7803)Online publication date: 14-Oct-2022
https://doi.org/10.3390/s22207803
Wan GZeng P(2022)Codesign of Architecture, Control, and Scheduling of Modular Cyber-Physical Production Systems for Design Space ExplorationIEEE Transactions on Industrial Informatics10.1109/TII.2021.309776118:4(2287-2296)Online publication date: Apr-2022
https://doi.org/10.1109/TII.2021.3097761
Show More Cited By

Index Terms

From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts

Recommendations

From Electronic Design Automation to Automotive Design Automation
ISPD '19: Proceedings of the 2019 International Symposium on Physical Design

Advanced driver assistance systems (ADAS), autonomous functions, and connected applications bring a revolution to automotive systems, but they also make automotive design, especially software and electronics, more complex than ever. The complexity ...
Secure and Trustworthy Cyber-Physical System Design: A Cross-Layer Perspective
ISPD '19: Proceedings of the 2019 International Symposium on Physical Design

This talk discusses some of the design challenges posed by cyber-physical system security at different abstraction layers, from algorithm design to the realization of trusted hardware platforms. We introduce two design problems, namely, detecting sensor ...
Cyber-Physical System and Contract-Based Design: A Three Dimensional View
WESE'15: Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education

This work reports on the experience arising from the master internship contract-based design tailored to safety issues for cyber-physical systems (CPS). The main educational goal is to confront the student with realistic mixed-critical smart CPS systems,...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ISPD '19: Proceedings of the 2019 International Symposium on Physical Design

April 2019

164 pages

ISBN:9781450362535

DOI:10.1145/3299902

General Chair:
Ismail Bustany
Xilinx Inc.
,
Program Chair:
William Swartz
TimberWolf Systems Inc. & University of Texas at Dallas

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGDA: ACM Special Interest Group on Design Automation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 April 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ISPD '19

Sponsor:

SIGDA

ISPD '19: International Symposium on Physical Design

April 14 - 17, 2019

CA, San Francisco, USA

Acceptance Rates

ISPD '19 Paper Acceptance Rate 12 of 25 submissions, 48%;

Overall Acceptance Rate 62 of 172 submissions, 36%

Upcoming Conference

ISPD '25

Sponsor:
sigda

International Symposium on Physical Design

March 16 - 19, 2025

Austin , TX , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
310
Total Downloads

Downloads (Last 12 months)31
Downloads (Last 6 weeks)4

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Chang KDahlin NJain RNuzzo P(2023)Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers2023 62nd IEEE Conference on Decision and Control (CDC)10.1109/CDC49753.2023.10383761(7843-7848)Online publication date: 13-Dec-2023
https://doi.org/10.1109/CDC49753.2023.10383761
Frid NSruk VJakobović D(2022)Design Space Exploration of Clustered Sparsely Connected MPSoC PlatformsSensors10.3390/s2220780322:20(7803)Online publication date: 14-Oct-2022
https://doi.org/10.3390/s22207803
Wan GZeng P(2022)Codesign of Architecture, Control, and Scheduling of Modular Cyber-Physical Production Systems for Design Space ExplorationIEEE Transactions on Industrial Informatics10.1109/TII.2021.309776118:4(2287-2296)Online publication date: Apr-2022
https://doi.org/10.1109/TII.2021.3097761
Dahlin NChang KKalagarla KJain RNuzzo P(2022)Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers2022 58th Annual Allerton Conference on Communication, Control, and Computing (Allerton)10.1109/Allerton49937.2022.9929399(1-8)Online publication date: 27-Sep-2022
https://doi.org/10.1109/Allerton49937.2022.9929399
Ungureanu GMedeiros Jsundström TSöderquist IÅhlander ASander I(2021)ForSyDe-AtomACM Transactions on Embedded Computing Systems10.1145/342466720:2(1-27)Online publication date: 4-Jan-2021
https://dl.acm.org/doi/10.1145/3424667
Aliabadi MAsl MGhavamizadeh R(2021)ARTINALI++: Multi-dimensional specification mining for cyber-physical system securityJournal of Systems and Software10.1016/j.jss.2021.111016(111016)Online publication date: Jun-2021
https://doi.org/10.1016/j.jss.2021.111016
Ungureanu GSundstrom TAhlander ASander ISoderquist I(2019)Formal Design, Co-Simulation and Validation of a Radar Signal Processing System2019 Forum for Specification and Design Languages (FDL)10.1109/FDL.2019.8876905(1-8)Online publication date: Sep-2019
https://doi.org/10.1109/FDL.2019.8876905

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents