Beruflich Dokumente
Kultur Dokumente
1174
I.
INTRODUCTION
Java
cod
e
Test
case
genera
tion
UM L
www.ijsret.org
Check
sty le
C
co
de
Test
case
International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Vo lu me 3, Issue 8, November 2014
II.
ASSOCIATED TOOLS
MODEL
BASED
DEVELOPMENT
SOFTWARE
1175
IV.
STATE MACHINE
www.ijsret.org
International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Vo lu me 3, Issue 8, November 2014
Prelaunch
check
Failure()
Srblgnition()
P ad
abort
Abort
low
active
LAS
Abort(altitude)
First
stage
Altitude<=1.2e5
Altitude>=1.2e5
Stage1
sep()
Second
stage
Abort()
Abort
high
active
LAS
Entry
Stage2sep()
Earth
orbit
SPECIFICATION,VALIDATION
VERIFICATION
1176
AND
VI.
www.ijsret.org
International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Vo lu me 3, Issue 8, November 2014
VII.
VIII.
1177
FUTURE ENHANCEMENT
REFERNCE
[1] Pavani Neelakantam, Modeling Flight Software from
Architectural Design Patterns, International Journal
of Computer Applications , Vol . 62, pp. 0975 8887,
January 2013.
[2] Daniel Bruns, Verification of Statecharts using
Temporal Logic, 2008.
[3] Ed Benowitz, Ken Clark, Garth Watney,Auto-coding
UML Statecharts for Flight Software,2nd IEEE
International Conference on Space Mission Challenges for
Information Technology,2006.
[4]. Lawrence Chung1 and Julio Cesar Sampaio do Prado
Leite,
On
Non-Functional
Requirements
in
SoftwareEngineering,
Springer-Verlag
Berlin
Heidelberg, pp. 363379, 2009.
[5]. Joshua A. Harris and Ann Patterson-Hine, State
machine modeling of the Space Launch SystemSolid
Rocket Boosters, NASA Aeronautics Scholarship
Program, Internship Final Report.
CONCLUSION