Advertisement

Let’s Get Physical: Computer Science Meets Systems

  • Pierluigi Nuzzo
  • Alberto Sangiovanni-Vincentelli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8415)

Abstract

In cyber-physical systems (CPS) computing, networking and control (typically regarded as the “cyber” part of the system) are tightly intertwined with mechanical, electrical, thermal, chemical or biological processes (the “physical” part). The increasing sophistication and heterogeneity of these systems requires radical changes in the way sense-and-control platforms are designed to regulate them. In this paper, we highlight some of the design challenges due to the complexity and heterogeneity of CPS. We argue that such challenges can be addressed by leveraging concepts that have been instrumental in fostering electronic design automation while dealing with complexity in VLSI system design. Based on these concepts, we introduce a design methodology whereby platform-based design is combined with assume-guarantee contracts to formalize the design process and enable realization of CPS architectures and control software in a hierarchical and compositional manner. We demonstrate our approach on a prototype design of an aircraft electric power system.

Keywords

Cyber-physical systems embedded systems VLSI systems electronic design automation platform-based design contract-based design assume-guarantee contracts aircraft electric power system 

References

  1. 1.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. Symp. Foundations of Software Engineering, pp. 109–120. ACM Press (2001)Google Scholar
  2. 2.
    Balarin, F., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L., Watanabe, Y.: Metropolis: an integrated electronic system design environment. Computer 36(4), 45–52 (2003)CrossRefGoogle Scholar
  3. 3.
    Balarin, F., Davare, A., D’Angelo, M., Densmore, D., Meyerowitz, T., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A., Simalatsar, A., Watanabe, Y., Yang, G., Zhu, Q.: Platform-based design and frameworks: Metropolis and metro ii. In: Nicolescu, G., Mosterman, P.J. (eds.) Model-Based Design for Embedded Systems, ch. 10, p. 259. CRC Press, Taylor and Francis Group, Boca Raton, London (2009)CrossRefGoogle Scholar
  4. 4.
    Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple Viewpoint Contract-Based Specification and Design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200–225. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  5. 5.
    Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., et al.: Contracts for System Design. Rapport de recherche RR-8147, INRIA (November 2012)Google Scholar
  6. 6.
    Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012)CrossRefGoogle Scholar
  7. 7.
    Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. 2, pp. 995–1072 (1990)zbMATHGoogle Scholar
  8. 8.
    Lee, E.A.: Cyber physical systems: Design challenges. In: Proc. IEEE Int. Symposium on Object Oriented Real-Time Distributed Computing, pp. 363–369 (May 2008)Google Scholar
  9. 9.
    Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. LNCS, vol. 3253, pp. 152–166. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: Specification, vol. 1. Springer (1992)Google Scholar
  11. 11.
    Nuzzo, P., Finn, J.B., Iannopollo, A., Sangiovanni-Vincentelli, A.L.: Contract-based design of control protocols for safety-critical cyber-physical systems. In: Proc. Design, Automation and Test in Europe (March 2014)Google Scholar
  12. 12.
    Nuzzo, P., Sangiovanni-Vincentelli, A., Sun, X., Puggelli, A.: Methodology for the design of analog integrated interfaces using contracts. IEEE Sensors J. 12(12), 3329–3345 (2012)CrossRefGoogle Scholar
  13. 13.
    Nuzzo, P., Xu, H., Ozay, N., Finn, J., Sangiovanni-Vincentelli, A., Murray, R., Donze, A., Seshia, S.: A contract-based methodology for aircraft electric power system design. IEEE Access 2, 1–25 (2014)CrossRefGoogle Scholar
  14. 14.
    Pnueli, A.: The temporal logic of programs. In: Symp. Foundations of Computer Science, vol. 31, pp. 46–57 (November 1977)Google Scholar
  15. 15.
    Sangiovanni-Vincentelli, A.: Corsi e ricorsi: The EDA story. IEEE Solid State Circuits Magazine 2(3), 6–26 (2010)CrossRefGoogle Scholar
  16. 16.
    Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European Journal of Control 18(3), 217–238 (2012)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Sangiovanni-Vincentelli, A.: Quo vadis, SLD? reasoning about the trends and challenges of system level design. Proceedings of the IEEE 95(3), 467–506 (2007)CrossRefGoogle Scholar
  18. 18.
    Selic, B.: The pragmatics of model-driven development. IEEE Software 20(5), 19–25 (2003)CrossRefGoogle Scholar
  19. 19.
    Sztipanovits, J.: Composition of cyber-physical systems. In: Proc. IEEE Int. Conf. and Workshops on Engineering of Computer-Based Systems, pp. 3–6 (March 2007)Google Scholar
  20. 20.
    Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer 30(4), 110–112 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Pierluigi Nuzzo
    • 1
  • Alberto Sangiovanni-Vincentelli
    • 1
  1. 1.University of California at BerkeleyBerkeleyUSA

Personalised recommendations