David Broman
Abstract
Cyber-physical systems (CPS) [4] are characterized by combining computations, networks, and physical processes. Engineering cyber-physical systems is not new; high-end automobiles have for decades included complex embedded systems that interact with the physical environment. As an intellectual discipline, however, CPS design poses both new opportunities and challenges. The rapid development of a CPS with high-confidence of its functional correctness is a co-design problem---the design of the cyber part (embedded control systems and networks) and the physical part influence each other. For instance, when designing an industrial robot, the thickness of the robot arms changes the physical behavior of the system; thinner arms have less inertia and can move faster, but introduce more flexibility and spring behavior, making the control algorithm harder to design. As a consequence, to meet increasingly challenging systemlevel objectives, the cyber and physical parts need to be concurrently designed.
- D. Broman and J. G. Siek. Modelyze: a gradually typed host language for embedding equation-based modeling languages. Technical Report UCB/EECS-2012-173, EECS Department, University of California, Berkeley, June 2012.Google Scholar
- E. M. Clarke. Model checking. In Foundations of software technology and theoretical computer science, pages 54--56. Springer, 1997. Google ScholarDigital Library
- J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Sachs, and Y. Xiong. Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE, 91(1):127--144, 2003.Google Scholar
- E. A. Lee. Cyber Physical Systems: Design Challenges. In Proc. of the 11th Symposium on Object Oriented Real-Time Distributed Computing, pages 363--369. IEEE, 2008. Google ScholarDigital Library
- I. Liu, J. Reineke, D. Broman, M. Zimmer, and E. A. Lee. A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance. In Proc. of the 30th IEEE International Conference on Computer Design. IEEE, 2012. Google ScholarDigital Library
- Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification Version 3.3, 2012.Google Scholar
Index Terms
- High-confidence cyber-physical co-design
Recommendations
Cyber Physical Socio Ecology
Exploring the laws of the nature and the rules of human society is the grand challenge of sciences. The Internet, Web, various communication networks and digital devices are connecting each other to form an enormous cyber space. The cyber space ...
Cyber Physical Society
SKG '10: Proceedings of the 2010 Sixth International Conference on Semantics, Knowledge and GridsNatural physical space provides material basis for the birth and evolution of human beings and civilization. The progress of human society has created the cyber space. With the rapid development of information technology, the cyber space is connecting ...
Comments