Integrating Security Modeling into Embedded System Design

Abstract

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 thesis, a framework to incorporate security modeling into embedded system design is presented. A security analysis tool is presented which analyzes information flows within an embedded system for conformance to the Bell-LaPadula and Biba security models. This tool can easily integrate with existing tool chains to create co-design environments that address security, functionality and system architecture aspects of embedded systems concurrently. A case study is presented where the security analysis tool is integrated with SMoLES, an embedded systems design language, to create one such co-design environment.