Towards a Secure RA2DL Based Approach

Farid Adaili 1, 2 Olfa Mosbahi 1 Mohamed Khalgui 1, 3 Samia Bouzefrane 2
1 INSAT - Institut National des Sciences Appliquées et de Technologie [Tunis]
2 CEDRIC - ROC - CEDRIC. Réseaux et Objets Connectés
CEDRIC - Centre d'études et de recherche en informatique et communications
3 Xidian University
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).
Keywords : RA2DL Implementation Evaluation Embedded system Component-based approach Reconfiguration Security
Document type :
Book sections
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-02425159
Contributor : Samia Bouzefrane <>
Submitted on : Sunday, December 29, 2019 - 9:43:20 PM
Last modification on : Thursday, January 9, 2020 - 9:50:17 AM

File

Book-chapter.pdf
Files produced by the author(s)

Identifiers

Collections

CNAM | UNIV-HESAM | CEDRIC-CNAM

Citation

Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane. Towards a Secure RA2DL Based Approach. Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers, Springer, pp.89-110, 2016, ⟨10.1007/978-3-319-56390-9_5⟩. ⟨hal-02425159⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

25

Files downloads

11

Contact

Informations

CCSD