TY - JOUR
T1 - A modeling language based on UML for modeling simulation testing system of avionic software
AU - Wang, Lize
AU - Liu, Bin
AU - Lu, Minyan
PY - 2011/4
Y1 - 2011/4
N2 - With direct expression of individual application domain patterns and ideas, domain-specific modeling language (DSML) is more and more frequently used to build models instead of using a combination of one or more general constructs. Based on the profile mechanism of unified modeling language (UML) 2.2, a kind of DSML is presented to model simulation testing systems of avionic software (STSAS). To define the syntax, semantics and notions of the DSML, the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given, and then, the domain model is mapped into a UML meta-model, named UML-STSAS profile. Assuming a flight control system (FCS) as system under test (SUT), we design the relevant STSAS. The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
AB - With direct expression of individual application domain patterns and ideas, domain-specific modeling language (DSML) is more and more frequently used to build models instead of using a combination of one or more general constructs. Based on the profile mechanism of unified modeling language (UML) 2.2, a kind of DSML is presented to model simulation testing systems of avionic software (STSAS). To define the syntax, semantics and notions of the DSML, the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given, and then, the domain model is mapped into a UML meta-model, named UML-STSAS profile. Assuming a flight control system (FCS) as system under test (SUT), we design the relevant STSAS. The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
KW - UML profile
KW - abstract state machine
KW - avionics
KW - domain-specific modeling language
KW - hardware-in-the-loop
KW - meta-model
KW - test facilities
UR - https://www.scopus.com/pages/publications/79955600687
U2 - 10.1016/S1000-9361(11)60022-8
DO - 10.1016/S1000-9361(11)60022-8
M3 - 文章
AN - SCOPUS:79955600687
SN - 1000-9361
VL - 24
SP - 181
EP - 194
JO - Chinese Journal of Aeronautics
JF - Chinese Journal of Aeronautics
IS - 2
ER -