Specifying Temporal Requirements for Distributed Real-Time Systems in Z

By the same authors

Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective
Burton, S., Habli, I., Lawton, T., McDermid, J. A., Morgan, P. D. J. & Porter, Z. L. M., 9 Nov 2019
Article in Artificial Intelligence
Integrating Existing Safety Analyses into SysML
Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards a Framework for Safety Assurance of Autonomous Systems
McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A SysML Profile for Fault Trees: Linking Safety Models to System Design
Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Rapid Integration of CPS Security and Safety
McDermid, J. A., Asplund, F., Oates, R. & Roberts, J., 5 Nov 2018
Article in IEEE Embedded Systems Letters