Catherine Menon - Senior Lecturer, Department of Computer Science
College Lane Campus, Room LB214
I'm a senior lecturer in the School of Computer Science at the University of Hertfordshire.
My research looks at the use of software in safety-critical systems, particularly autonomous systems. I'm currently interested in the interaction between safety requirements, security requirements, ethical imperatives and trust constraints in autonomous vehicles (AVs). The trolley problem is a good illustration of some of the ethical complexities with AVs.
More generally, the safety-critical systems I've worked with have mostly been in the defence and nuclear sector. There are sector-specific guidance documents for the development of these systems, as well as more generally applicable guidance (IEC 61508 , R2P2 ). A general requirement for these systems is that a safety argument be constructed, to demonstrate that the system is safe for use.
Safety and security requirements are often not aligned with each other, with security considerations requiring system properties and development techniques that are incompatible with safety and vice versa. I'm interested in how we can manage these requirements without conflict, as well as how we can express the ethical imperatives behind them.
If you'd like to discuss collaborations or PhD supervision in these areas, please do get in touch.
I teach on the following subjects:
- 4COM1037 - Programming
- 4COM1035 - Human Dimensions of Computing
- 5COM1039 - The C Family
If you're looking for publications that aren't listed here, I suggest you try the University's Research Profile page, my ResearchGate page or my Google Scholar page
- Menon, C. and Alexander, R. Ethics and the Safety of Autonomous Systems to appear: Proceedings of the 2018 Safety Critical Systems Symposium, 2018.
- Menon, C. and Alexander, R. A Safety-Case Approach to Ethical Considerations for Autonomous Vehicles. Proceedings of the 12th International Conference on System Safety and Cyber Security, 2017.
- Guerra, S. and Menon, C. Why Are IC Modernisations So Difficult: Experiences With Requirements Engineering And Safety Demonstration in Swedish NPPs. Proceedings of the 9th International Conference on NPIC HMIT, Feb 2015.
- Menon, C., Bloomfield, R.E. and Clement, T. Interpreting ALARP. Proceedings of the 8th IET International System Safety Conference, Oct 2013.
- Menon, C. and Kelly, T. Eliciting Software Safety Requirements in Complex Systems. Proceedings of the 4th Annual IEEE Systems Conference, Apr 2010.
- Menon, C. and Kelly, T. Managing Safety Requirements Across Supply Chains. Proceedings of the 5th IET International Conference on System Safety, Jan 2010.
- Brown, A., Fenn, J. and Menon, C. Issues and Considerations for a Modular Safety Certification Approach in a Service-Oriented Architecture. Proceedings of the 5th IET International Conference on System Safety, Jan 2010.
- Menon, C., Hawkins, R., McDermid, J. and Kelly, T. An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. Making Systems Safer, Proceedings of the 18th Safety-Critical Systems Symposium, Feb 2010.
- Menon, C., McDermid, J. and Hubbard, P. Goal-based Safety Standards and COTS Software Selection. Proceedings of the 4th IET International Conference in Systems Safety, Nov 2009.
- Menon, C., Hawkins, R. and McDermid, J. Defence Standard 00-56 Issue 4: Towards Evidence-based Safety Standards. Safety-Critical Systems: Problems, Process and Practice, pp. 223 - 243, 2009.
- Menon, C., Johnson, M. and Lakos, C. Inconsistency Management and View Updates. Electronic Notes in Theoretical Computer Science 141 (3), pp. 27 – 51, Dec 2005.
- Menon, C. Lakos, C. and Kong, C. Towards a Semantic Basis for Rosetta. Proceedings of the 27th Australasian Conference on Computer Science, Vol 26, pp. 175 - 184, 2004.
- Kong, C., Alexander, P. and Menon, C. Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language. Journal of Universal Computer Science 9, pp. 1322 - 1349, Jan 2003.