Zhenkai Zhang
ABSTRACT
Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. A co-simulation method is valuable to enable early system evaluation. In this paper, a co-simulation framework that considers interacting CPS components for design of time-triggered (TT) CPS is proposed. Virtual prototyping of CPS is the core of the proposed framework. A network/platform model in SystemC forms the backbone of the virtual prototyping, which bridges control software and physical environment. The network/platform model consists of processing elements abstracted by realtime operating systems, communication systems, sensors, and actuators. The framework is also integrated with a model-based design tool to enable rapid prototyping. The framework is validated by comparing simulation results with the results from a hardware-in-the-loop automotive simulator.
- F. Bartols, T. Steinbach, F. Korf, and T. C. Schmidt. Performance analysis of time-triggered ether-networks using off-the-shelf-components. In Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service- Oriented Real-Time Distributed Computing Workshops, ISORCW '11, pages 49--56, 2011. Google Scholar
Digital Library
- CarSim. http://www.carsim.com/.Google Scholar
- A. Cervin, D. Henriksson, B. Lincoln, J. Eker, and K.-E. Årzén. How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime. IEEE Control Systems Magazine, 23(3):16--30, Jun 2003.Google ScholarCross Ref
- U. Drolia, Z. Wang, Y. Pant, and R. Mangharam. Autoplug: An automotive test-bed for electronic controller unit testing and verification. In Intelligent Transportation Systems (ITSC), 2011 14th International IEEE Conference on, pages 1187--1192, oct. 2011.Google ScholarCross Ref
- E. Eyisi, Z. Zhang, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits. Model-based control design and integration of cyber-physical systems: An adaptive cruise control case study. Journal of Control Science and Engineering, 2013. Google ScholarDigital Library
- L. Gheorghe, F. Bouchhima, G. Nicolescu, and H. Boucheneb. Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool. In IEEE International Workshop on Rapid System Prototyping, pages 186--192, 2006. Google ScholarDigital Library
- IEEE. IEEE Standard SystemC Language Reference Manual, 2011.Google Scholar
- M. Ishikawa, D. J. McCune, G. Saikalis, and S. Oho. Cpu model-based hardware/software co-design, co-simulation and analysis technology for real-time embedded control systems. In Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS '07, pages 3--11, 2007. Google ScholarDigital Library
- H. Kopetz and G. Bauer. The time-triggered architecture. Proceedings of the IEEE, 91(1):112--126, 2003.Google ScholarCross Ref
- M. Krause, O. Bringmann, A. Hergenhan, G. Tabanoglu, and W. Rosentiel. Timing simulation of interconnected autosar software-components. In Proceedings of the conference on Design, automation and test in Europe, DATE '07, pages 474--479, 2007. Google ScholarDigital Library
- H. Lonn and J. Axelsson. A comparison of fixed-priority and static cyclic scheduling for distributed automotive control applications. In ECRTS, pages 142--149, 1999.Google ScholarCross Ref
- P. L. Marrec, C. A. Valderrama, F. Hessel, A. A. Jerraya, M. Attia, and O. Cayrol. Hardware, software and mechanical cosimulation for automotive applications. In Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping, RSP '98, pages 202--, 1998. Google ScholarDigital Library
- W. Müller, M. Becker, A. Elfeky, and A. DiPasquale. Virtual prototyping of cyber-physical systems. In ASP-DAC, pages 219--226, 2012.Google ScholarCross Ref
- N. Navet, Y. Song, F. Simonot-Lion, and C. Wilwert. Trends in automotive communication systems. Proceedings of the IEEE, 93(6):1204--1223, 2005.Google ScholarCross Ref
- J. Porter, G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits. The esmol language and tools for high-confidence distributed control systems design. part 1: Language, framework, and analysis. Technical report, Vanderbilt University, Sep 2010.Google Scholar
- J. M. Rushby. Bus architectures for safety-critical embedded systems. In Proceedings of the First International Workshop on Embedded Software, EMSOFT '01, pages 306--323, 2001. Google ScholarDigital Library
- SAE Standard AS 6802. Time-Triggered Ethernet, 2011.Google Scholar
- M. Streubühr, M. Jäntsch, C. Haubelt, and J. Teich. From Model-based Design to Virtual Prototypes for Automotive Applications. In Proceedings of the Embedded World Conference, pages 1--10, Nuremberg, Germany, Mar. 2009.Google Scholar
- J. Sztipanovits, X. Koutsoukos, G. Karsai, N. Kottenstette, P. Antsaklis, V. Gupta, B. Goodwine, J. Baras, and S. Wang. Toward a science of Cyber-Physical system integration. Proceedings of the IEEE, 100(1):29--44, Jan. 2012.Google ScholarCross Ref
- M. Verhoef, P. Visser, J. Hooman, and J. Broenink. Co-simulation of distributed embedded real-time control systems. In Proceedings of the 6th international conference on Integrated formal methods, IFM'07, pages 639--658, 2007. Google ScholarDigital Library
- H. Zabel, W. Müller, and A. Gerstlauer. Accurate RTOS modeling and analysis with SystemC. In W. Ecker, W. Müller, and R. Dömer, editors, Hardware-dependent Software, chapter 9, pages 233--260. Springer Netherlands, 2009.Google Scholar
- M. Zeller, G. Weiss, D. Eilers, and R. Knorr. Co-simulation of self-adaptive automotive embedded systems. In Proceedings of the 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC '10, pages 73--80, 2010. Google ScholarDigital Library
Index Terms
- Co-simulation framework for design of time-triggered cyber physical systems
Recommendations
Co-simulation of IP network models in the Cyber-Physical systems context, using a DEVS-based platform
CNS '16: Proceedings of the 19th Communications & Networking SymposiumCyber-Physical Systems (smart grids, cities, homes, etc.) are composed of computing resources, actuators and sensors, connected through IP networks. These IP networks involve many technologies. In order to help designing and evaluating these systems, we ...
Modeling Automotive Cyber Physical Systems
DCABES '13: Proceedings of the 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & ScienceAutomotive cyber physical systems (CPSs) involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans. However, automotive cyber ...
Simulation Alternatives for Modeling Networked Cyber-Physical Systems
DSD '14: Proceedings of the 2014 17th Euromicro Conference on Digital System DesignSeveral embedded system applications are used to control physical processes. Sensing, computation and actuation are combined thus involving a set of highly heterogeneous components, i.e., digital and analog hardware, software, energy sources, and ...
Comments