1. Bouira University Digital Space

Recherche


Filtres courants :

Débuter une nouvelle recherche
Ajouter des filtres :

Vous pouvex utiliser des filtres pour chercher mieux.

 | 
Résultats 21 à 30 sur un total de 31.
Résultats trouvés : Documents
Date de publicationTitreAuteur(s)
2017„Software Product Lines Composition through Partial Derivation “Bennouar, Djamal
2019-11Systems of systems: From mission definition to architecture descriptionBennouar, Djamal
2017-01-06A DSL-based Approach to Product Derivation for Software Product LinBennouar, Djamal
2018-02-05A Brief Survey on Product Derivation Methods in Software Product LinBennouar, Djamal
2015-09-15On the probabilistic verification of time constrained sysml state machineBennouar, Djamal
2018-11-28A Vector Space Based Approach for Short Answer Grading SysteBennouar, Djamal
2018Using inheritance to represent hierarchical software product linesBennouar, Djamal
2014-11Component-Based Specification of Software Product Line Architecture.Bennouar, Djamal
2018Using inheritance to represent hierarchical software product linesBennouar, Djamal
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

Découvrir

Contenant des fichiers