Abstract
ICyPhy is a pre-competitive industry-academic partnership focused on architectures, abstractions, technologies, methodologies, and supporting tools for the design, modeling, and analysis of large-scale complex systems. The purpose of this partnership is to promote research that applies broadly across industries, providing the intellectual foundation for next generation systems engineering. The focus is on cyber-physical systems, which combine a cyber side (computing and networking) with a physical side (e.g., mechanical, electrical, and chemical processes). Such systems present the biggest challenges and biggest opportunities in several critical industrial segments such as electronics, energy, automotive, defense and aerospace, telecommunications, instrumentation, and industrial automation. The approach leverages considerable experience designing complex artifacts in the semiconductor, embedded systems, and software industries, and major recent advances in algorithmic techniques for dealing with complexity. This consortium adapts and extends these techniques to handle the fundamentally different challenges in largescale cyber-physical systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Balarin, F., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L., Watanabe, Y.: Metropolis: an integrated electronic system design environment. Computer 36(4) (2003)
Belta, C., Bicchi, A., Egerstedt, M., Frazzoli, E., Klavins, E., Pappas, G.: Symbolic planning and control of robot motion (Grand Challenges of Robotics). IEEE Robotics & Automation Magazine 14(1), 61–70 (2007)
Davare, A., Densmore, D., Meyerowitz, T., Pinto, A., Sangiovanni-Vincentelli, A., Yang, G., Zhu, Q.: A next-generation design framework for platform-based design. In: Design Verification Conference (DVCon), San Jose, California (2007)
Eidson, J., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed real-time software for cyber-physical systems. Proceedings of the IEEE (Special Issue on CPS) 100(1), 45–59 (2012)
Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity—the Ptolemy approach. Proceedings of the IEEE 91(2), 127–144 (2003)
Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley (2003)
Gu, Z., Wang, S., Kodase, S., Shin, K.G.: An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software. In: Real-Time Systems Symposium (RTSS), pp. 78–81 (2003)
Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. Proceedings of IEEE 91(1), 84–99 (2003)
Hubbard, D.: The Failure of Risk Management: Why It’s Broken and How to Fix It. John Wiley & Sons (2009)
IEEE Instrumentation and Measurement Society. 1588: IEEE standard for a precision clock synchronization protocol for networked measurement and control systems. Standard specification. IEEE (November 8, 2002)
Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Software and Systems Modeling 4(2), 157–170 (2005)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Kress-Gazit, H., Wongpiromsarn, T., Topcu, U.: Correct, Reactive, High-Level Robot Control. IEEE Robotics & Automation Magazine 18(3), 65–74 (2011)
Lee, E.A.: Cyber physical systems: Design challenges. In: International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Orlando, Florida, pp. 363–369. IEEE (2008)
Lee, E.A.: Computing needs time. Communications of the ACM 52(5), 70–79 (2009)
Lee, E.A.: Disciplined heterogeneous modeling. In: Petriu, D.C., Rouquette, N., Haugen, O. (eds.) Model Driven Engineering, Languages, and Systems (MODELS), pp. 273–287. IEEE (2010)
Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers 12(3), 231–260 (2003)
Lickly, B., Shelton, C., Latronico, E., Lee, E.A.: A practical ontology framework for static model analysis. In: International Conference on Embedded Software (EMSOFT), pp. 23–32. ACM (2011)
Liu, J., Wu, B., Liu, X., Lee, E.A.: Interoperation of heterogeneous CAD tools in Ptolemy II. In: Symposium on Design, Test, and Microfabrication of MEMS/MOEMS, Paris, France (1999)
Moir, I., Seabridge, A.: Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration, 3rd edn. AIAA Education Series. Wiley (2008)
Nordstrom, G., Sztipanovits, J., Karsai, G., Ledeczi, A.: Metamodeling - rapid design and evolution of domain-specific modeling environments. In: Proc. of Conf. on Engineering of Computer Based Systems (ECBS), Nashville, Tennessee, pp. 68–74 (1999)
Nuzzo, P., Sangiovanni-Vincentelli, A.: Robustness in analog systems: Design techniques, methodologies and tools. In: Proc. IEEE Symp. Industrial Embedded Systems (June 2011)
Ozay, N., Topcu, U., Murray, R.M.: Distributed power allocation for vehicle management systems. In: Proc. IEEE Control and Decision Conference (2011)
Sangiovanni-Vincentelli, A.: Defining platform-based design. EEDesign of EETimes (2002)
Sangiovanni-Vincentelli, A., Yang, G., Shukla, S.K., Mathaikutty, D.A., Sztipanovits, J.: Metamodeling: An emerging representation paradigm for system-level design. IEEE Design and Test of Computers (2009)
Wolff, E.M., Topcu, U., Murray, R.M.: Robust control of uncertain markov decision processes with temporal logic specifications. In: Proc. IEEE Control and Decision Conference (2012)
Wolff, E.M., Topcu, U., Murray, R.M.: Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic. In: Proc. IEEE Control and Decision Conference (2013)
Wongpiromsarn, T., Topcu, U., Murray, R.M.: Synthesis of control protocols for autonomous systems. Unmanned Systems 1(1), 21–40 (2013)
Xu, H.: Design, specification, and synthesis of aircraft electric power systems control logic. PhD thesis, California Institute of Technology (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Fisher, A., Jacobson, C.A., Lee, E.A., Murray, R.M., Sangiovanni-Vincentelli, A., Scholte, E. (2014). Industrial Cyber-Physical Systems – iCyPhy. In: Aiguier, M., Boulanger, F., Krob, D., Marchal, C. (eds) Complex Systems Design & Management. Springer, Cham. https://doi.org/10.1007/978-3-319-02812-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-02812-5_2
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02811-8
Online ISBN: 978-3-319-02812-5
eBook Packages: EngineeringEngineering (R0)