References

  1. Gerd Behrmann, Alexandre David & Kim Guldstrand Larsen (2004): A Tutorial on UPPAAL. In: SFM, pp. 200–236, doi:10.1007/978-3-540-30080-9_7.
  2. Moritz Bergenthal, Niklas Krafczyk, Jan Peleska & Robert Sachtleben (2021): libfsmtest – An Open Source Library for FSM-based Testing. Available at https://bitbucket.org/JanPeleska/libfsmtest.
  3. Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione & Matteo Rossi (2020): PuRSUE – From specification of robotic environments to synthesis of controllers. Formal Aspects of Computing 32(2-3), pp. 187–227, doi:10.1007/s00165-020-00509-0.
  4. Manfred Broy (2010): A Logical Basis for Component-Oriented Software and Systems Engineering. The Computer Journal 53(10), pp. 1758–82, doi:10.1093/comjnl/bxq005.
  5. 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.
  6. Rita Dorofeeva, Khaled El-Fakih & Nina Yevtushenko (2005): An Improved Conformance Testing Method. In: Farn Wang: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, Lecture Notes in Computer Science 3731. Springer, pp. 204–218, doi:10.1007/11562436_16.
  7. Kerstin Eder, Wen-ling Huang & Jan Peleska (2021): Complete Agent-driven Model-based System Testing for Autonomous Systems. In: Matt Luckuck & Marie Farrell: Formal Methods for Autonomous Systems (FMAS), 3rd Workshop. To appear in EPTCS.
  8. Mario Gleirscher (2011): Hazard-based Selection of Test Cases. In: Antonia Bertolino, Howard Foster & J. Jenny Li: Automation of Software Test (AST), 6th ICSE Workshop. ACM, Honolulu, HI, pp. 64–70, doi:10.1145/1982595.1982609.
  9. Mario Gleirscher (2014): Behavioral Safety of Technical Systems. Dissertation. Technical University of Munich. Available at http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20141120-1221841-0-1.
  10. Mario Gleirscher & Radu Calinescu (2020): Safety Controller Synthesis for Collaborative Robots. In: Yi Li & Alan Liew: Engineering of Complex Computer Systems (ICECCS), 25th Int. Conf., Singapore. ACM, pp. 83–92, doi:10.1109/ICECCS51672.2020.00017.
  11. Mario Gleirscher, Radu Calinescu, James Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan Aitken, Robert Alexander & James Law (2021): Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Working paper. University of York, University of Sheffield, and University of Bremen. Available at https://arxiv.org/abs/2106.06604.
  12. Mario Gleirscher, Radu Calinescu & Jim Woodcock (2021): Risk Structures: A Design Algebra for Risk-Aware Machines. Formal Aspects of Computing 33, pp. 763–802, doi:10.1007/s00165-021-00545-4.
  13. Wen-ling Huang, Sadik Özoguz & Jan Peleska (2019): Safety-complete test suites. Software Quality Journal 27(2), pp. 589–613, doi:10.1007/s11219-018-9421-y.
  14. Wen-ling Huang & Jan Peleska (2016): Complete model-based equivalence class testing. Software Tools for Technology Transfer 18(3), pp. 265–283, doi:10.1007/s10009-014-0356-8.
  15. Wen-ling Huang & Jan Peleska (2017): Complete model-based equivalence class testing for nondeterministic systems. Formal Aspects of Computing 29(2), pp. 335–364, doi:10.1007/s00165-016-0402-2.
  16. ISO 26262 (2011): Road Vehicles – Functional Safety. Standard. ISO/TC 22/SC 32. Available at https://www.iso.org/standard/43464.html.
  17. ISO/TS 15066 (2016): ISO/TS 15066:2016 – Robots and robotic devices – Collaborative robots. Standard. International Organization for Standardization, Geneva, CH.
  18. Marta Kwiatkowska, Gethin Norman & David Parker (2007): Stochastic Model Checking. In: M. Bernardo & J. Hillston: Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM), LNCS 4486. Springer, pp. 220–70, doi:10.1007/978-3-540-72522-0_6.
  19. Marta Kwiatkowska, Gethin Norman & David Parker (2011): PRISM 4.0: Verification of Probabilistic Real-time Systems. In: G. Gopalakrishnan & S. Qadeer: 23rd International Conference on Computer Aided Verification (CAV), LNCS. Springer, pp. 585–591, doi:10.1007/978-3-642-22110-1_47.
  20. Benjamin Lesage & Rob Alexander (2021): SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems. In: Computer Safety, Reliability, and Security (SAFECOMP), 40th Int. Conf., LNCS 12852. Springer, pp. 195–209, doi:10.1007/978-3-030-83903-1_13.
  21. Andrea Orlandini, Marco Suriano, Amedeo Cesta & Alberto Finzi (2013): Controller Synthesis for Safety Critical Planning. In: Judy Luo: Tools with Artificial Intelligence (ICTAI), IEEE 25th Int. Conf.. IEEE, pp. 1–8, doi:10.1109/ictai.2013.54.
  22. Alexandre Petrenko (2016): Checking Experiments for Symbolic Input/Output Finite State Machines. In: Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, pp. 229–237, doi:10.1109/ICSTW.2016.9. Available at http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7517740.
  23. Alexandre Petrenko, Adenilso Simao & José Carlos Maldonado (2012): Model-based Testing of Software and Systems: Recent Advances and Challenges. Int. J. Softw. Tools Technol. Transf. 14(4), pp. 383–386, doi:10.1007/s10009-012-0240-3.
  24. Robert Sachtleben (2020): An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm. In: Valentina Casola, Alessandra De Benedictis & Massimiliano Rak: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, Lecture Notes in Computer Science 12543. Springer, pp. 236–254, doi:10.1007/978-3-030-64881-7_15.
  25. Robert Sachtleben, Robert M. Hierons, Wen-ling Huang & Jan Peleska (2019): A Mechanised Proof of an Adaptive State Counting Algorithm. In: Christophe Gaston, Nikolai Kosmatov & Pascale Le Gall: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, Lecture Notes in Computer Science 11812. Springer, pp. 176–193, doi:10.1007/978-3-030-31280-0_11.
  26. Michal Soucha & Kirill Bogdanov (2018): SPYH-Method: An Improvement in Testing of Finite-State Machines. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. IEEE Computer Society, pp. 194–203, doi:10.1109/ICSTW.2018.00050.
  27. Viktoria Stenkova, Jennifer Brings, Marian Daun & Thorsten Weyer (2019): Generic Negative Scenarios for the Specification of Collaborative Cyber-Physical Systems. In: Conceptual Modeling, LNCS 11788. Springer, pp. 412–419, doi:10.1007/978-3-030-33223-5_34.
  28. Sebastian Uchitel, Jeff Kramer & Jeff Magee (2002): Negative scenarios for implied scenario elicitation. ACM SIGSOFT Software Engineering Notes 27(6), pp. 109–118, doi:10.1145/605466.605484.
  29. Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisselofl Coracini & Ana Maria Ambrósio (2019): Integrating model checking and model based testing for industrial software development. Computers in Industry 104, pp. 88–102, doi:10.1016/j.compind.2018.08.003.
  30. RTCA SC-205/EUROCAE WG-71 (2011): Software Considerations in Airborne Systems and Equipment Certification. Technical Report RTCA/DO-178C. RTCA Inc, 1150 18th Street, NW, Suite 910, Washington, D.C. 20036-3816 USA.
  31. RTCA SC-205/EUROCAE WG-71 (2011): Software Tool Qualification Considerations. Technical Report RTCA/DO-330. RTCA Inc, 1150 18th Street, NW, Suite 910, Washington, D.C. 20036-3816 USA.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org