1. Bouira University Digital Space

Recherche


Débuter une nouvelle recherche
Ajouter des filtres :

Vous pouvex utiliser des filtres pour chercher mieux.

 | 
Résultats 11981 à 11990 sur un total de 16025.
Résultats trouvés : Documents
Date de publicationTitreAuteur(s)
2019-02-01Safety analysis of train control system based on model-driven design methodology Authors Abdelhakim Bouya, Otmane Ait Mohamed, Djamal Bennouar, Samir Ouchani Publication date 2019/2/1 Journal Computers in Industry Volume 105 Pages 1-16 Publisher Elsevier Description Embedded system design is a complex process that demands an extensive system level modeling. Its implementation encompasses software and hardware components and its interconnections. In such systems, it is widely recognized that safety should be considered at the design stage itself, particularly at the architectural level to minimize the design effort. This paper presents a novel methodology based on model-driven specification and probabilistic model checking to automatically analyze safety based availability before synthesizing the embedded software product. Initially, the specification relies on the Architecture Analysis and Design Language (AADL) standard. Applying this standard, software components, communication links, and hardware platform are modeled. From the software components, a formal specification suitable for analysis and verification is extracted. When the verification is done and …Bennouar, Djamal
2017ÉTUDEPHYTOGÉOGRAPHIQUE DES MASSIFS FORESTIERS DE KÉFRIDA, UN SECTEUR MÉCONNU DE LA ZONE IMPORTANTE POUR LES PLANTES DES BABORS (NORD-EST ALGÉRIEN)BOUCHIBANE, Mebarek; VÉLA, Errol; Franck BOUGAHAM, Abdelazize; ZEMOURI, Mourad; MAZOUZ, Azzedine; SAHNOUNE, Mohamed
2015Inventaire des orchidées de la Kabylie des Babors (Algérie) – éléments de cartographie et enjeux patrimoniauxFranck Bougaham, Abdelazize; Bouchibane, Mebarek; Véla, Errol
2008The Inhibition and Adsorption Processes of L-Cysteine Against the Corrosion of XC 18 Carbon Steel in 2N H2SO4Touafri, L.; Kadri, A.; Khelifa, A.; Aimeur, Nacira; Benbrahim, N.
2013Chemical composition and antimicrobial activity of the essential oils of Pinus pinasterAit Mimoune, Nouara; Ait Mimoune, Djouher; Yataghene, Aziza
2018Détection des contours des lisions de la peauBAHLOUL, Asma; BELLAL, Ounissa
2016-06-30علاقة نمط الجسم ببعض متغيرات اللياقة البدنية لدى طلبة معهد علوم و تقنيات النشاطات البدنية و الرياضية (18-24 سنةقويقح نسرين
2019-04-28الدفاع الشرعي بين الشرعية والانتهاك لقواعد القانون الدوليKhelifi, Samir
2019-02-01Safety analysis of train control system based on model-driven design methodologyBennouar, Djamal
2018Extraction d’information depuis les m´edias sociaux afin d’am´eliorer la Situational Awareness dans les situations d’urgenceBoudraf, Youcef; Zekhmi, Salah

Découvrir