![](bg9.png)
REFERENCES
716-1995 - IEEE Standard Test Language for All Systems
- Common/Abbreviated Test Language for All
Systems (C/ATLAS)
1671-2010 - IEEE Standard for Automatic Test Markup
Language (ATML) for Exchanging Automatic Test
Equipment and Test Information via XML
ES 201 873 - Methods for Testing and Specification
(MTS); The Testing and Test Control Notation version
3; Part 1: TTCN-3 Core Language. 2012
Thomas Stahl, Markus Voelter and Krzysztof Czarnecki.
2006. Model-Driven Software Development:
Technology, Engineering, Management. John Wiley &
Sons.
Guduvan, A., Waeselynck, H., Wiels, V., Durrieu, G.,
Schieber, M. and Fusero, Y.: Test Languages for In-
the-Loop Testing of Avionics Embedded Systems,
LAAS Report N 12151, Mars 2012, 21p.
http://homepages.laas.fr/waeselyn/Reports/TR-12151
.pdf
Aliki Ott. System Testing in the Avionics Domain. Ph. D.
Dissertation, University of Bremen, Germany, 2007
Cassidian T & S - U-Test Software, http://www.eads-
ts.com/web/products/software/utest.html
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko
Conrad, Christian Wewetzer, and Wolfgang Mueller.
2006. TestML - A Test Exchange Language for
Model-Based Testing of Embedded Software. Lecture
Notes In Computer Science, Vol. 4922. Springer-
Verlag, Berlin, Heidelberg 98-117.
DOI = http://dx.doi.org/10.1007/978-3-540-70930-5_7
Eclipse Modeling - EMFT - Home, http://
www.eclipse.org/modeling/emft/?project=ecoretools
GMF, Graphical Modeling Framework,
http://www.eclipse.org/modeling/gmp/
Xtext, http://www.eclipse.org/Xtext/
OCL, Object Constraint Language, Version 2.3.1, January
2012, http://www.omg.org/spec/OCL/2.3.1/
Acceleo, http://www.eclipse.org/acceleo/
UTP, UML Testing Profile, Version 1.1. 2012.
http://www.omg.org/spec/UTP/1.1/
J. Zander, Z. Ru Dai, I. Schieferdecker, G. Din. From
U2TP models to executable tests with TTCN-3: An
approach to model driven testing, in Proc.
international conference on testing of communicating
systems (TestCom 2005), pp. 289-303, 2005.
Ina Schieferdecker, George Din. A Meta-model for
TTCN-3. FORTE 2004 Workshops The FormEMC,
EPEW, ITM, Toledo, Spain, October 1-2, 2004.
Volume 3236 of Lecture Notes in Computer Science,
pages 366-379, Springer, 2004
TTworkbench - The Reliable Test Automation Platform,
Testing Technologies. http://www.testingtech.com/
products/ttworkbench.php
Paul Baker and Clive Jervis, Testing UML2.0 Models
Using TTCN-3 and the UML2.0 Testing Profile, Proc.
SDL 2007, LNCS 4745, Springer, pp. 86-100, 2007.
Rational Tau, IBM, http://www01.ibm.com/software
/awdtools/tau/
Yin, Y. F., Liu, B., Zhong, D. M., & Jiang, T. M. (2009).
On modeling approach for embedded real-time
software simulation testing. Journal of Systems
Engineering and Electronics, 20(2), 420-426.
Yanelis Hernandez, Tariq M. King, Jairo Pava, Peter J.
Clarke: A Meta-model to Support Regression Testing
of Web Applications. SEKE 2008: 500-505
Joachim Fischer, Michael Piefel, and Markus Scheidgen:
A Meta-Model for SDL-2000 in the Context of Meta-
Modelling ULF, SAM 2004, SDL and MSC
Workshop, Ottawa, Canada, June 2004.
Ina Schieferdecker, Eckard Bringmann and Jürgen
Großmann. 2006. Continuous TTCN-3: testing of
embedded control systems. In Proceedings of the 2006
international workshop on Software engineering
forautomotive systems (SEAS '06). ACM, New York,
NY, USA, 29-36.
DOI = http://doi.acm.org/10.1145/1138474.1138481
Zhen Ru Dai, Jens Grabowski, and Helmut Neukirchen.
2002. Timed TTCN-3 - A Real-time Extension for
TTCN-3. In Proceedings of the IFIP 14th
International Conference on Testing Communicating
Systems XIV (TestCom'02), Ina Schieferdecker,
Hartmut König, and Adam Wolisz (Eds.). Kluwer,
B.V., Deventer, The Netherlands, The Netherlands,
407-424.
Jurgen Grossmann, Philip Makedonski, Hans-Werner
Wiesbrock, Jaroslav Svacina, Ina Schieferdecker and
Jens Grabowski. Model-Based X-in-the-Loop Testing.
Model-Based Testing for Embedded Systems. CRC
Press 2011. Print ISBN: 978-1-4398-1845-9
AMeta-modelforTestsofAvionicsEmbeddedSystems
13