Towards Tool Support for Pattern-Based Secure and Dependable Systems Development

Abstract

In our work, we promote a new discipline for secure and dependable system engineering using a pattern as its first class citizen: Pattern-Based System Engineering (PBSE). Therefore, PBSE addresses two kind of processes: the one of pattern development and the one of system development with patterns. To interconnect these two processes we promote a structured model-based repository of patterns and their related property models. This paper presents the SEMCO MDE Tool Suite development status conducted in the context of the FP7 TERESA project aiming to support the automation of building, storing and processing reusable artifacts (S&D patterns and property models). This tool promotes the PBSE methodology in the domain of assistance to the trusted embedded system engineering. A video tutorial presenting the SEMCO MDE Tool Suite is provided under: http://www.semcomdt.org/semco/demo/video_semco/toolsuite/ToolSuiteIRIT.mp4