Embedded systems security co-design

There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techniques for embedded systems design. However, existing modeling tools were not designed to meet the current and future security challenges of networked embedded systems. In this paper, we propose a framework to incorporate security modeling into embedded system design. We've developed a security analysis tool that can easily integrate with existing tool chains to create co-design environments that addresses security, functionality and system architecture aspects of embedded systems concurrently.

[1]  David A. Bell,et al.  Secure computer systems: mathematical foundations and model , 1973 .

[2]  Gabor Karsai,et al.  Integrating Security Modeling into Embedded System Design , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[3]  Gabor Karsai,et al.  Platform Modeling and Model Transformations for Analysis , 2004, J. Univers. Comput. Sci..

[4]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[5]  K. J. Bma Integrity considerations for secure computer systems , 1977 .

[6]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.