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.
Chapter PDF
References
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. Symp. Foundations of Software Engineering, pp. 109–120. ACM Press (2001)
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)
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)
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)
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)
Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012)
Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. 2, pp. 995–1072 (1990)
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)
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)
Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: Specification, vol. 1. Springer (1992)
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)
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)
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)
Pnueli, A.: The temporal logic of programs. In: Symp. Foundations of Computer Science, vol. 31, pp. 46–57 (November 1977)
Sangiovanni-Vincentelli, A.: Corsi e ricorsi: The EDA story. IEEE Solid State Circuits Magazine 2(3), 6–26 (2010)
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)
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)
Selic, B.: The pragmatics of model-driven development. IEEE Software 20(5), 19–25 (2003)
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)
Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer 30(4), 110–112 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nuzzo, P., Sangiovanni-Vincentelli, A. (2014). Let’s Get Physical: Computer Science Meets Systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds) From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science, vol 8415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54848-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-54848-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54847-5
Online ISBN: 978-3-642-54848-2
eBook Packages: Computer ScienceComputer Science (R0)