Integrating the security aspect into design space exploration of embedded systems

Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

Volumn , Issue , 2014, Pages 371-376

  Stierand, Ingo ^a   Malipatlolla, Sunil ^b   Froschle, Sibylle ^b   Stuhring, Alexander ^a   Henkler, Stefan ^b  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

Design space exploration; Embedded system design; Formalization; Integration; Security

Indexed keywords

DESIGN; EMBEDDED SOFTWARE; INTEGRATION; SOFTWARE RELIABILITY; SYSTEMS ANALYSIS;

AUTOMATED SUPPORT; AUTOMOTIVE EMBEDDED SYSTEMS; DESIGN SPACE EXPLORATION; FORMALIZATION; REAL TIME REQUIREMENT; SECURITY; SECURITY ASPECTS; SECURITY CONSTRAINT;

EMBEDDED SYSTEMS;

EID: 84922641849     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSREW.2014.29     Document Type: Conference Paper

References (12)

1. M. Büker, W. Damm, G. Ehmen, S. Henkler, D. Janssen, I. Stierand, and E. Thaden, "From specification models to distributed embedded applications: A holistic user-guided approach," 2013.
2. P. Kocher, R. Lee, G. McGraw, A. Raghunathan, and S. Moderator-Ravi, "Security as a new dimension in embedded system design," in Proceedings of the 41st annual Design Automation Conference. ACM, 2004, pp. 753-760.
3. L. Yuan and G. Qu, "Design space exploration for energyefficient secure sensor network," in Application-Specific Systems, Architectures and Processors, 2002. Proceedings. The IEEE International Conference on. IEEE, 2002, pp. 88-97.
4. Y. C. Lin, C. W. Huang, and J. K. Lee, "System-level design space exploration for security processor prototyping in analytical approaches," in Proceedings of the 2005 Asia and South Pacific Design Automation Conference. ACM, 2005, pp. 376-380.
5. P. Papadimitratos, L. Buttyan, T. Holczer, E. Schoch, J. Freudiger, M. Raya, Z. Ma, F. Kargl, A. Kung, and J.-P. Hubaux, "Secure vehicular communication systems: design and architecture," Communications Magazine, IEEE, vol. 46, no. 11, pp. 100-109, 2008.
6. I. Stierand and S. Malipatlolla, "Exploiting functional models to assess the security aspect in embedded system design," in International Symposium on Security in Computing and Communications (SSCC 2013), 2013.
7. F. Thayer Fabrega, J. Herzog, and J. Guttman, "Strand spaces: why is a security protocol correct" in IEEE Symposium on Security and Privacy, 1998, pp. 160-171.
8. M. Büker, W. Damm, G. Ehmen, S. Henkler, D. Janssen, I. Stierand, and E. Thaden, "From specification models to distributed embedded applications: A holistic user-guided approach," SAE International Journal of Passenger Cars-Electronic and Electrical Systems, vol. 6, pp. 194-212, May 2013.
9. A. C. Rajeev, S. Mohalik, M. G. Dixit, D. B. Chokshi, and S. Ramesh, "Schedulability and end-to-end latency in distributed ecu networks: formal modeling and precise estimation," in Proceedings of the tenth ACM international conference on Embedded software, ser. EMSOFT '10. New York, NY, USA: ACM, 2010, pp. 129-138.
10. D. Dolev and A. Yao, "On the security of public key protocols," Information Theory, IEEE Transactions on, vol. 29, no. 2, pp. 198-208, 1983.
11. E. Althaus, S. Hoffmann, J. Kupilas, and E. Thaden, "Scheduling of real-time networks with a column generation approach," in IAENG Transactions on Engineering Technologies-Special Issue of the World Congress on Engineering and Computer Science (WCECS) 2012, ser. Lecture Notes in Electrical Engineering. Springer, 2014, pp. 397-412.
12. E. M. Thaden, "Semi-automatic optimization of hardware architectures in embedded systems," Ph. D. dissertation, Carl von Ossietzky Universität Oldenburg, May 2013, submitted on 2013-02-04.