References

  1. AERONAUTICAL RADIO, INC. (2009): Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network. AERONAUTICAL RADIO, INC., 2551 Riva Road, Annapolis, Maryland 21401-7435.
  2. Paul Baker, Oystein Haugen, Zhen Ru Dai, Clay Williams & Jens Grabowski (2008): Model-Driven Testing – Using the UML Testing Profile. Springer, Berlin Heidelberg.
  3. Armin Biere, Alessandro Cimatti, Edmund M. Clarke & Yunshan Zhu (1999): Symbolic Model Checking without BDDs. In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS '99. Springer-Verlag, London, UK, UK, pp. 193–207, doi:10.1007/3-540-49059-0_14.
  4. Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala & Viktor Schuppan (2006): Linear Encodings of Bounded LTL Model Checking. Logical Methods in Computer Science 2(5), pp. 1–64, doi:10.2168/LMCS-2(5:5)2006.
  5. Jörg Brauer, Jan Peleska & Uwe Schulze (2012): Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. In: Brian Nielsen & Carsten Weise: Testing Software and Systems. Proceedings of the 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012, Lecture Notes in Computer Science 7641. Springer, Heidelberg Dordrecht London New York, pp. 8–23, doi:10.1007/978-3-642-34691-0_3.
  6. E. Brinksma (1988): A Theory for the Derivation of Tests. In: S. Aggarwal & K. Sabnani: Protocol Specification Testing and Verification VIII (PSTV `88), pp. 63–74.
  7. R. E. Bryant, P. Chauhan, E. M. Clarke & A. Goel (2000): A Theory of Consistency for Modular Synchronous Systems. In: W. A. Hunt & S. D. Johnson: Formal Methods in Computer-Aided Design (FMCAD), Lecture Notes in Computer Science 1954. Springer, pp. 486–504, doi:10.1007/3-540-40922-X_30.
  8. A. L. C. Calvalcanti & M.-C. Gaudel (2011): Testing for Refinement in Circus. Acta Informatica 48(2), pp. 97–147, doi:10.1007/s00236-011-0133-z.
  9. Tsun S. Chow (1978): Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on Software Engineering SE-4(3), pp. 178–186, doi:10.1109/TSE.1978.231496.
  10. Edmund M. Clarke, Orna Grumberg & Doron A. Peled (1999): Model Checking. The MIT Press, Cambridge, Massachusetts.
  11. R. De Nicola & M. Hennessy (1984): Testing Equivalences for Processes. Theoretical Computer Science 34, pp. 83–133, doi:10.1016/0304-3975(84)90113-0.
  12. Esterel Technologies: SCADE Suite Product Description. http://www.estereltechnologies.com.
  13. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte & Margus Veanes (2002): Generating Finite State Machines from Abstract State Machines. ACM SIGSOFT Software Engineering Notes 27(4), pp. 112–122, doi:10.1145/566171.566190.
  14. M. Hennessy (1988): Algebraic Theory of Processes. MIT Press, Cambridge, Massachusetts, London.
  15. C. A. R. Hoare & H. Jifeng (1998): Unifying Theories of Programming. Prentice-Hall.
  16. Wen ling Huang, Jan Peleska & Uwe Schulze (2013): Test Automation Support. Technical Report D34.1. COMPASS Comprehensive Modelling for Advanced Systems of Systems.
  17. Wen ling Huang, Jan Peleska & Uwe Schulze (to appear 2014): Specialised Test Strategies. Technical Report D34.2. COMPASS Comprehensive Modelling for Advanced Systems of Systems.
  18. Wen-ling Huang & Jan Peleska (2012): Specialised Test Strategies. Public Document. COMPASS Comprehensive Modelling for Advanced Systems of Systems.
  19. (2009): Road Vehicles - Functional Safety - Part 8: Supporting Processes. Technical Report. International Organization for Standardization. ICS 43.040.10.
  20. ISO/DIS 26262-4 (2009): Road vehicles – functional safety – Part 4: Product development: system level. Technical Report. International Organization for Standardization.
  21. Helge Loding & Jan Peleska (2010): Timed Moore Automata: Test Data Generation and Model Checking. Software Testing, Verification, and Validation, 2008 International Conference on 0, pp. 449–458, doi:10.1109/ICST.2010.60.
  22. Rocco De Nicola & Frits Vaandrager (1990): Action versus State based Logics for Transition Systems. In: Irène Guessarian: Semantics of Systems of Concurrent Processe, LNCS 469. Springer-Verlag, Berlin, Heidelberg, pp. 407–419, doi:10.1007/3-540-53479-2_17.
  23. Object Management Group (2010): OMG Systems Modeling Language (OMG SysML^TM). Technical Report. Object Management Group. OMG Document Number: formal/2010-06-02.
  24. OMG (2011): OMG Unified Modeling Language (OMG UML) Superstructure ver. 2.4.1. www.uml.org/spec/UML/2.4.1/Superstructure/PDF/.
  25. J. Peleska & M. Siegel (1997): Test Automation of Safety-Critical Reactive Systems. South African Computer Jounal 19, pp. 53–77.
  26. Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev & Cornelia Zahlten (2011): A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. In: Burkhart Wolff & Fatiha Zaidi: Testing Software and Systems. Proceedings of the 23rd IFIP WG 6.1 International Conference, ICTSS 2011, LNCS 7019. IFIP WG 6.1. Springer, Heidelberg Dordrecht London New York, pp. 146–161, doi:10.1007/978-3-642-24580-0_1.
  27. Jan Peleska, Elena Vorobev & Florian Lapschies (2011): Automated Test Case Generation with SMT-Solving and Abstract Interpretation. In: Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann & Rajeev Joshi: Nasa Formal Methods, Third International Symposium, NFM 2011, LNCS 6617. Springer, Pasadena, CA, USA, pp. 298–312, doi:10.1007/978-3-642-20398-5_22.
  28. M. S. Phadke (1989): Quality Engineering Using Robust Design. Prentice Hall, Englewood Cliff, NJ.
  29. F. Rogin, T. Klotz, G. Fey, R. Drechsler & S. Rulke (2009): Advanced Verification by Automatic Property Generation. IET Computers & Digital Techniques 3(4), pp. 338–353, doi:10.1049/iet-cdt.2008.0110. Available at http://link.aip.org/link/?CDT/3/338/1.
  30. A. W. Roscoe (2010): Understanding Concurrent Systems. Springer.
  31. RTCA SC-205/EUROCAE WG-71 (2011): Model-Based Development and Verification Supplement to DO-178C and DO-278A RTCA/DO-331. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036.
  32. RTCA SC-205/EUROCAE WG-71 (2011): Software Considerations in Airborne Systems and Equipment Certification RTCA/DO-178C. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036.
  33. RTCA,SC-167 (1992): Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B. RTCA.
  34. S. Schneider (1995): An Operational Semantics for Timed CSP. Information and Computation 116, pp. 193–213, doi:10.1006/inco.1995.1014.
  35. S. Schneider (2000): Concurrent and Real-time Systems – The CSP Approach. Wiley and Sons Ltd..
  36. A. P. Sistla (1994): Liveness and Fairness in Temporal Logic. Formal Aspects of Computing 6(5), pp. 495–512, doi:10.1007/BF01211865.
  37. J.G. Springintveld, F.W. Vaandrager & P.R. D'Argenio (2001): Testing timed automata. Theoretical Computer Science 254(1-2), pp. 225–257, doi:10.1016/S0304-3975(99)00134-6.
  38. European Committee for Electrotechnical Standardization (2001): EN 50128 – Railway applications – Communications, signalling and processing systems – Software for railway control and protection systems. CENELEC, Brussels.
  39. Jan Tretmans (1996): Test generation with inputs, outputs and repetitive quiescence. Software – Concepts and Tools 17(3), pp. 103–120.
  40. Jan Tretmans (1999): Testing Concurrent Systems: A Formal Approach. In: J.C.M. Naeten & S. Mauw: CONCUR'99 – 10th Int. Conference on Concurrency Theory, Lecture Notes in Computer Science 1664. Springer, pp. 46–65, doi:10.1007/3-540-48320-9_6.
  41. Frits Vaandrager (2012): Active Learning of Extended Finite State Machines. In: Brian Nielsen & Carsten Weise: Testing Software and Systems. Proceedings of the 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012, Lecture Notes in Computer Science 7641. Springer, Heidelberg Dordrecht London New York, pp. 5–7, doi:10.1007/978-3-642-34691-0_2.
  42. Stephan Weißleder (2010): Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines. Doctoral thesis. Humboldt-University Berlin, Germany.
  43. J. Woodcock, A. Cavalcanti, J. Fitzgerald, P. Larsen, A. Miyazawa & S. Perry (2012): Features of CML: a Formal Modelling Language for Systems of Systems. IEEE Systems Journal 6, doi:10.1109/SYSoSE.2012.6384144.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org