Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Language
English
français
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Bouira University Digital Space
Browsing by Author Bennouar, Djamal
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 25 to 37 of 37
< previous
Issue Date
Title
Author(s)
2015-04-28
A probabilistic and timed verification approach of SysML state machine diagram
Bennouar, Djamal
2015-11-30
A quantitative verification framework of SysML activity diagrams under time constraints
Bennouar, Djamal
2019-02-01
Safety analysis of train control system based on model-driven design
Bennouar, Djamal
2019-02-01
Safety analysis of train control system based on model-driven design methodology
Bennouar, Djamal
2019-02-01
Safety 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
2010
Software Architecture Approach for the Specification of Human Computer Interface, A Surve
Bennouar, Djamal
2013-12-17
A Software Product Line for Elearning Applications
Bennouar, Djamal
2017
„Software Product Lines Composition through Partial Derivation “
Bennouar, Djamal
2019-11
Systems of systems: From mission definition to architecture description
Bennouar, Djamal
2009-04-06
Une approche intégrée pour l’architecture logiciell
Bennouar, Djamal
2018
Using inheritance to represent hierarchical software product lines
Bennouar, Djamal
2018
Using inheritance to represent hierarchical software product lines
Bennouar, Djamal
2018-11-28
A Vector Space Based Approach for Short Answer Grading Syste
Bennouar, Djamal