Security-Aware Mapping and Scheduling with Hardware Co-Processors for FlexRay-Based Distributed Embedded Systems

IEEE Transactions on Parallel and Distributed Systems

Volumn 27, Issue 10, 2016, Pages 3044-3057

  Gu, Zonghua ^a   Han, Gang ^b   Zeng, Haibo ^c   Zhao, Qingling ^d  

^a ZHEJIANG UNIVERSITY   (China)

^b NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^c Virginia Polytechnic Institute and State University   (United States)

^d NANJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

automotive embedded systems; FlexRay; message authentication; optimization; security

Indexed keywords

AUTHENTICATION; AUTOMOTIVE INDUSTRY; CONTROL SYSTEMS; HARDWARE; HARDWARE SECURITY; HEURISTIC ALGORITHMS; INTEGER PROGRAMMING; MAPPING; NETWORK SECURITY; OPTIMIZATION; RECONFIGURABLE HARDWARE; SIMULATED ANNEALING;

AUTOMOTIVE EMBEDDED SYSTEMS; DISTRIBUTED EMBEDDED SYSTEM; FLEXRAY; MESSAGE AUTHENTICATION; MINIMIZING THE NUMBER OF; MIXED-INTEGER LINEAR PROGRAMMING; SECURITY; SIMULATED ANNEALING ALGORITHMS;

EMBEDDED SYSTEMS;

EID: 84987926978     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/TPDS.2016.2520949     Document Type: Article

References (32)

1. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage, "Experimental security analysis of a modern automobile," in Proc. IEEE Symp. Security Privacy, 2010, pp. 447-462.
2. Y. Li, W. Dai, Z. Ming, and M. Qiu, "Privacy protection for preventing data over-collection in smart city," to appear in IEEE Trans. Comput., 2016.
3. A. Wasicek, C. El-Salloum, and H. Kopetz, "Authentication in time-triggered systems using time-delayed release of keys," in Proc. 14th IEEE Int. Symp. Object/Component/Serv.-Oriented Real-Time Distrib. Comput., 2011, pp. 31-39.
4. C. Szilagyi and P. Koopman, "Flexible multicast authentication for time-triggered embedded control network applications," in Proc. IEEE/IFIP Int. Conf. Dependable Syst. Netw., 2009, pp. 165-174.
5. A. Perrig, R. Canetti, J. D. Tygar, and D. Song, "The tesla broadcast authentication protocol," RSA CryptoBytes, vol. 5, 2005.
6. B. Glas, J. Guajardo, H. Hacioglu, M. Ihle, K. Wehefritz, and A. Yavuz, "Signal-based automotive communication security and its interplay with safety requirements," in Proc. Embedded Security in Cars (ESCAR) Conf., 2012.
7. B. Glas and C. Gebauer, "Safety and security: Synergies and challenges of integrity-protected bus communication," in Proc. Embedded Security in Cars (ESCAR) Conf., 2015.
8. M. Stevens, A. Lenstra, and B. De Weger, "Chosen-prefix collisions for md5 and colliding x. 509 certificates for different identities," in Proc. 26th Annu. Int. Conf. Adv. Cryptol., 2007, pp. 1-22.
9. M. Wolf and T. Gendrullis, "Design, implementation, and evaluation of a vehicular hardware security module," in Proc. Inf. Security Cryptol., 2012, pp. 302-318.
10. M. Qiu, W. Gao, M. Chen, J.-W. Niu, and L. Zhang, "Energy efficient security algorithm for power grid wide area monitoring system," IEEE Trans. Smart Grid, vol. 2, no. 4, pp. 715-723, Dec. 2011.
11. C. P. Frederic Stumpf, "An analysis and comparison of hardware security modules for the automotive domain," in Proc. Embedded Security in Cars (ESCAR) USA Conf., 2014.
12. O. Henniger and H. Seudié, "Evita-project.org: E-safety vehicle intrusion protected applications," in Proc. Embedded Security in Cars (ESCAR) Conf., 2009.
13. A. Groll, J. Holle, M. Wolf, and T. Wollinger, "Next generation of automotive security: secure hardware and secure open platforms," in Proc. 17th ITS World Congress, 2010.
14. M. Juliato and C. Gebotys, "Fpga implementation of an hmac processor based on the sha-2 family of hash functions," Univ. Waterloo, Waterloo, ON, Canada, Tech. Rep, 2011.
15. M.-Y. Wang, C.-P. Su, C.-T. Huang, and C.-W. Wu, "An hmac processor with integrated sha-1 and md5 algorithms," in Proc. Asia South Pacific Des. Autom. Conf., 2004, pp. 456-458.
16. K. Jiang, P. Eles, and Z. Peng, "Co-design techniques for distributed real-time embedded systems with communication security constraints," in Proc. Des., Autom. Test Eur. Conf. Exhib., 2012, pp. 947-952.
17. M. Lukasiewycz, M. Glaß, J. Teich, and P. Milbredt, "Flexray schedule optimization of the static segment," in Proc. 7th IEEE/ ACM Int. Conf. Hardw./Softw. Codes. Syst. Synthesis, 2009, pp. 363-372.
18. K. Schmidt and E. G. Schmidt, "Message scheduling for the flexray protocol: The static segment," IEEE Trans. Veh. Technol., vol. 58, no. 5, pp. 2170-2179, Jun. 2009.
19. B. Tanasa, U. Dutta Bordoloi, P. Eles, and Z. Peng, "Reliabilityaware frame packing for the static segment of flexray," in Proc. 9th ACM Int. Conf. Embedded Softw., 2011, pp. 175-184.
20. A. Darbandi, S. Kwon, and M. K. Kim, "Scheduling of time triggered messages in static segment of flexray," Int. J. Softw. Eng. Its Appl., vol. 8, no. 6, pp. 195-208, 2014.
21. M. Grenier, L. Havet, and N. Navet, "Configuring the communication on flexray - the case of the static segment," in Proc. 4th Eur. Congress Embedded Real Time Softw., 2008.
22. H. Zeng, M. Di Natale, A. Ghosal, and A. Sangiovanni-Vincentelli, "Schedule optimization of time-triggered systems communicating over the flexray static segment," IEEE Trans. Indus. Informat., vol. 7, no. 1, pp. 1-17, Feb. 2011.
23. W. Li, M. Di Natale, W. Zheng, P. Giusto, A. Sangiovanni-Vincentelli, and S. Seshia, "Optimizations of an application-level protocol for enhanced dependability in flexray," in Proc. Des., Autom. Test Eur. Conf. Exhib., 2009, pp. 1076-1081.
24. A. Ghosal, H. Zeng, M. Di Natale, and Y. Ben-Haim, "Computing robustness of flexray schedules to uncertainties in design parameters," in Proc. Conf. Des., Autom. Test Eur., 2010, pp. 550-555.
25. G. Han, M. Di Natale, H. Zeng, X. Liu, and W. Dou, "Optimizing the implementation of real-time simulink models onto distributed automotive architectures," J. Syst. Archit., vol. 59, no. 10, pp. 1115-1127, Nov. 2013.
26. C.-W. Lin, Q. Zhu, C. Phung, and A. Sangiovanni-Vincentelli, "Security-aware mapping for can-based real-time distributed automotive systems," in Proc. IEEE/ACM Int. Conf. Comput.-Aided Des., 2013, pp. 115-121.
27. C.-W. Lin, Q. Zhu, and A. Sangiovanni-Vincentelli, "Securityaware mapping for tdma-based real-time distributed systems," in Proc. IEEE/ACM Int. Conf. Comput.-Aided Des., 2014, pp. 24-31.
28. K. Grover and A. Lim, "A survey of broadcast authentication schemes for wireless networks," Ad Hoc Netw., vol. 24, pp. 288-316, 2015.
29. G. C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. New York, NY, USA: Springer, 2011, vol. 24.
30. Z. Gu and H. Cai, "Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsets," Int. J. Embedded Syst., vol. 6, no. 4, pp. 303-318, 2014.
31. IBM ILOG CPLEX V12.1: "User's Manual for CPLEX, IBM Corporation," 2009.
32. S. Ding, N. Murakami, H. Tomiyama, and H. Takada, "A ga-based scheduling method for flexray systems," in Proc. 5th ACM Int. Conf. Embedded Softw., 2005, pp. 110-113.