References

  1. Radu Calinescu, Javier Camara & Colin Paterson (2019): Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges. In: 5th ICSE Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). IEEE/ACM, pp. 1–6, doi:10.1109/sescps.2019.00008.
  2. Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli & Tim Kelly (2018): Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Transactions on Software Engineering 44(11), pp. 1039–1069, doi:10.1109/tse.2017.2738640.
  3. Clifton A. Ericson (2015): Hazard Analysis Techniques for System Safety, 2 edition. Wiley.
  4. Simon Foster, Frank Zeyda & Jim Woodcock (2015): Isabelle/UTP: A Mechanised Theory Engineering Framework. In: UTP. Springer, pp. 21–41, doi:10.1007/978-3-319-14806-9_2.
  5. Mario Gleirscher (2020): Yap Against Perils: Application Guide and User's Manual. University of York and Technical University of Munich. Available at http://gleirscher.de/yap/.
  6. Mario Gleirscher & Radu Calinescu (2020): Safety Controller Synthesis for Collaborative Robots. In: Engineering of Complex Computer Systems, 25th International Conference (ICECCS), 28 - 31 October 2020, Singapore, pp. 1–12. Available at https://arxiv.org/abs/2007.03340. In press.
  7. Mario Gleirscher, Radu Calinescu & Jim Woodcock (2020): Risk Structures: A Design Algebra for Risk-Aware Machines. Working paper. Department of Computer Science, University of York, York, UK. Available at https://arxiv.org/abs/1904.10386.
  8. Charles A. R. Hoare (1985): Communicating Sequential Processes. Int. Series in Comp. Sci.. Prentice-Hall. Available at http://www.usingcsp.com.
  9. IEC 61508 (2011): Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. Standard. The 61508 Association. Available at http://www.61508.org/.
  10. IEC 61882 (2016): Hazard and operability studies – Application guide. Standard 61882. IEC. Available at https://webstore.iec.ch/publication/24321.
  11. ISO/TS 15066 (2016): Robots and robotic devices – Collaborative robots. Standard. Robotic Industries Association (RIA). Available at https://www.iso.org/standard/62996.html.
  12. Kurt Jensen & Lars M. Kristensen (2009): Coloured Petri Nets. Springer, Berlin Heidelberg, doi:10.1007/b95112.
  13. John Knight (2012): Fundamentals of Dependable Computing for Software Engineers. Chapman and Hall/CRC, doi:10.1201/b11667.
  14. 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.
  15. 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 6806. Springer, pp. 585–591, doi:10.1007/978-3-642-22110-1_47.
  16. Leslie Lamport (1977): Proving the Correctness of Multiprocess Programs. IEEE Trans. Software Eng. 3(2), pp. 125–43, doi:10.1109/TSE.1977.229904.
  17. Martin Leucker & Christian Schallhart (2009): A brief account of runtime verification. Journal of Logic and Algebraic Programming 78(5), pp. 293–303, doi:10.1016/j.jlap.2008.08.004.
  18. Nancy G. Leveson (2012): Engineering a Safer World: Systems Thinking Applied to Safety. Engineering Systems. MIT Press, Cambridge, Mass., doi:10.7551/mitpress/8179.001.0001.
  19. Zohar Manna & Amir Pnueli (1995): Temporal Verification of Reactive Systems: Safety. Springer, doi:10.1007/978-1-4612-4222-2.
  20. Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis & Jim Woodcock (2019): RoboChart: modelling and verification of the functional behaviour of robotic applications. Software & Systems Modeling, doi:10.1007/s10270-018-00710-z.
  21. Dave Parker, Gethin Norman & Marta Kwiatkowska (2019): PRISM Model Checker. Available at http://www.prismmodelchecker.org/manual/.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org