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

Search Process

We have selected four renowned scientific databases in order to carry out this SLR. These scientific databases contain high impact journals and conference proceedings. The name and URL of selected scientific databases are given below:-

IEEE                  http://ieeexplore.ieee.org/

ELSEVIER        http://www.sciencedirect.com/

SPRINGER       http://link.springer.com/

ACM                  http://dl.acm.org/

We use different search terms like MBSE, Model transformation, model verifier etc. We also make use of AND / OR operators provided by these scientific databases in order to acquire most relevant search results. The details are given in Table below:

Details of search terms with operators and search results

Sr. #

Search Term

Operator

No. of Search Results

IEEE

SPRINGER

ELSEVIER

ACM

1

MBSE

N-A

67

2

150

119

2

MDA

N-A

797

3327

7313

3520

3

MDE

N-A

355

256

2581

1990

4

SYSML

N-A

274

11

373

790

5

UML

N-A

2564

377

5645

3796

6

MARTE

N-A

199

80

1470

176

7

Model Transformation

AND

710

89

1254

787

8

Model Verification

AND

302

122

3074

146

9

Formal Verification

AND

4941

110

1005

1297

10

Model Simulation

AND

980

1610

18790

272

11

Model embedded system

OR

10659

19480

2403

21605

AND

1

0

4

2

12

MARTE SYSML

OR

18

0

21

43

AND

1

0

0

2

13

SYSML UML

OR

82

7

148

141

AND

3

0

15

19

14

MDA embedded systems

OR

42

689

4516

246

AND

0

0

0

0

15

Property specification

OR

1948

5794

1477

1853

AND

66

13

319

111

16

Model to Text transformation

OR

135

5839

36

929

AND

7

4

74

57

17

Model to Model Transformation

OR

8790

23686

9144

17658

AND

20

9

120

101

18

Model verifier

OR

175

248

101

154

AND

16

2

24

25

19

Model code generation

OR

2667

16307

860

2162

AND

0

0

6

7

20

Embedded system Simulation

OR

5610

3457

975

1680

AND

6

0

6

5

The relevant screenshots of all four scientific databases are given below:

IEEE

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

MBSE
MDA
MDE
SYSML
UML
MARTE
Model Transformation
Model Verification
Formal Verification
Model Simulation
"Model Embedded System" with AND operator
"Model Embedded System" with OR operator
"MARTE SYSML" with OR operator
"MARTE SYSML" with AND operator
"SYSML UML" with AND operator
"SYSML UML" with OR operator
"MDA Embedded Systems" with OR operator
"MDA Embedded Systems" with AND operator
"Property Specification" with AND operator
"Property Specification" with OR operator
"model to text" with OR operator
"model to text" with AND operator
"model to model" with AND operator
"model to model" with OR operator
"model Verifier" with OR operator
"model Verifier" with AND operator
"Embedded System Simulation" with OR operator
"Embedded System Simulation" with AND operator

ELSEVIER

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

MBSE
MDA
MDE
SYSML
UML
MARTE
Model Transformation
Model Verification
Formal Verification
Model Simulation
"Model Embedded System" with AND operator
"Model Embedded System" with OR operator
"MARTE SYSML" with OR operator
"SYSML UML" with AND operator
"SYSML UML" with OR operator
"MDA Embedded Systems" with OR operator
"Property Specification" with AND operator
"Property Specification" with OR operator
"model to text" with OR operator
"model to text" with AND operator
"model to model" with AND operator
"model to model" with OR operator
"model Verifier" with OR operator
"model Verifier" with AND operator
"model code generation" with AND operator
"model code generation" with OR operator
"Embedded System Simulation" with OR operator
"Embedded System Simulation" with AND operator

SPRINGER

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

MBSE
MDA
MDE
SYSML
UML
MARTE
Model Transformation
Model Verification
Formal Verification
Model Simulation
"Model Embedded System" with AND operator
"Model Embedded System" with OR operator
"MARTE SYSML" with OR operator
"MDA Embedded Systems" with OR operator
"MDA Embedded Systems" with AND operator
"Property Specification" with AND operator
"Property Specification" with OR operator
"model to text" with OR operator
"model to text" with AND operator
"model to model" with AND operator
"model to model" with OR operator
"model Verifier" with OR operator
"model Verifier" with AND operator
"model code generation" with OR operator
"Embedded System Simulation" with OR operator

ACM

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

MBSE
MDA
MDE
SYSML
UML
MARTE
Model Transformation
Model Verification
Formal Verification
Model Simulation
"Model Embedded System" with AND operator
"Model Embedded System" with OR operator
"MARTE SYSML" with OR operator
"MARTE SYSML" with AND operator
"SYSML UML" with OR operator
"SYSML UML" with AND operator
"MDA Embedded Systems" with OR operator
"Property Specification" with AND operator
"Property Specification" with OR operator
"model to text" with OR operator
"model to text" with AND operator
"model to model" with AND operator
"model to model" with OR operator
"model Verifier" with OR operator
"model Verifier" with AND operator
"model code generation" with OR operator
"model code generation" with AND operator
"Embedded System Simulation" with OR operator
"Embedded System Simulation" with AND operator

Back to SLR page