MOdel-based DEsign & Verification for Safety-Critical Embedded Systems

Search Process

Four renowned scientific databases have been selected to complete the search process. The details of search terms and corresponding search results are summarized in Table below:

Table Summary of search terms, operators and search results

Sr. #

Search Term

Operator

No. of Search Results

IEEE

ACM

SPRINGER

ELSEIVER

Basic Search Terms

1

MBSE

N-A

77

30

4

68

2

UML Design

AND

44

113

12

43

3

SYSML

N-A

326

235

162

161

4

MARTE

N-A

219

195

114

65

5

Model verification

AND

340

172

185

175

6

Formal verification

AND

3817

1480

1134

1240

7

Dynamic verification

AND

59

92

66

59

8

UML verification

OR

470

20

112

201

AND

4

1

7

4

9

UML MARTE

OR

138

169

107

137

AND

46

60

37

35

10

UML SYSML

OR

97

175

127

42

AND

5

43

30

17

11

Embedded systems verification

OR

1802

938

1699

1053

AND

9

2

3

6

12

Property specification

OR

2121

2143

1652

1682

AND

70

125

34

57

Advanced Search terms

13

CCSL

N-A

24

35

44

11

14

MARTE NFP

OR

2

18

17

9

15

UML SystemC

OR

36

78

57

38

16

MARTE stereotypes

OR

6

61

69

24

17

PRISM verification

OR

93

231

63

36

18

UML Modelica

OR

10

30

19

21


To show the credibility of search terms and results (as shown in Table) , screen shots of each search term for all scientific databases have been given below:

IEEE

Please Click the search term (given below) to view the relevant screenshot

MBSE
SYSML
MARTE
UML Design
Model verification
Formal verification
Dynamic verification
UML verification with OR search operator
UML verification with AND search operator
UML MARTE with OR search operator
UML MARTE with AND search operator
UML SYSML with OR search operator
UML SYSML with AND search operator
Embedded systems verification with OR search operator
Embedded systems verification with AND search operator
Property specification with OR search operator
Property specification with AND search operator
Advanced search terms
CCSL
MARTE NFP
UML SystemC
MARTE stereotypes
PRISM verification
UML Modelica

ELSEVIER

Please Click the search term (given below) to view the relevant screenshot

MBSE
SYSML
MARTE
UML Design
Model verification
Formal verification
Dynamic verification
UML verification with OR search operator
UML verification with AND search operator
UML MARTE with OR search operator
UML MARTE with AND search operator
UML SYSML with OR search operator
UML SYSML with AND search operator
Embedded systems verification with OR search operator
Embedded systems verification with AND search operator
Property specification with OR search operator
Property specification with AND search operator
Advanced search terms
CCSL
MARTE NFP
UML SystemC
MARTE stereotypes
PRISM verification
UML Modelica

SPRINGER

Please Click the search term (given below) to view the relevant screenshot

MBSE
SYSML
MARTE
UML Design
Model verification
Formal verification
Dynamic verification
UML verification with OR search operator
UML verification with AND search operator
UML MARTE with OR search operator
UML MARTE with AND search operator
UML SYSML with OR search operator
UML SYSML with AND search operator
Embedded systems verification with OR search operator
Embedded systems verification with AND search operator
Property specification with OR search operator
Property specification with AND search operator
Advanced search terms
CCSL
MARTE NFP
UML SystemC
MARTE stereotypes
PRISM verification
UML Modelica

ACM

Please Click the search term (given below) to view the relevant screenshot

MBSE
SYSML
MARTE
UML Design
Model verification
Formal verification
Dynamic verification
UML verification with OR search operator
UML verification with AND search operator
UML MARTE with OR search operator
UML MARTE with AND search operator
UML SYSML with OR search operator
UML SYSML with AND search operator
Embedded systems verification with OR search operator
Embedded systems verification with AND search operator
Property specification with OR search operator
Property specification with AND search operator
Advanced search terms
CCSL
MARTE NFP
UML SystemC
MARTE stereotypes
PRISM verification
UML Modelica
Back