Towards a Secure RA2DL Based Approach

Abstract : This chapter deals with secured reconfigurable AADL based-control component of embedded system (to be named by RA2DL) that should be adapted their behaviours to environment execution according to user requirements. For various reasons, we propose a new method denoted by RA2DL−P ool for guarantee and control the security of RA2DL component. RA2DL − P ool is a container of sets of RA2DL components characterized by similar properties. Also, it holds well-defined methods for grouping RA2DL components together. To consolidate RA2DL − P ool technology, we will put a set of security-mechanisms divided into two families: (i) Authentication Mechanism where all users must authenticate to access to the reserved services of RA2DL − P ool or RA2DL components and (ii) Access Control Mechanism to control the access to the RA2DL components. The chapters contribution is applied to a case study dealing with the Body-Monitoring System (BMS).