Publications

Books and Reports

1.      CSE International Ltd "Preliminary Assessment of Linux for Safety-Related Systems" HSE Research Report 011, 2002 

2.      CAA “Assessment of an Operating System”, Origin Consulting 2003

 

Articles in journals

1.      Burns, N. Zhang and M. Nicholson, "Pipelined Processors and Worst Case Execution Times,"Real-Time System Journal, 5, pp 319-343 Oct. 1993 

2.      P. Fenelon, J. A. McDermid, M. Nicholson and D. J. Pumfrey, "Towards Integrated Safety Analysis and Design,"  ACM Applied Computing Review, pp 1-14, Aug. 1994 

Papers published in refereed conference proceedings

1.      Burns, M. Nicholson, K. Tindall and N.Zhang, "Allocating and Scheduling Hard Real-Time Tasks on a Point-to-Point Distributed System," Proceedings of the Workshop on Parallel and Distributed Real-Time Systems, Newport Beach, California, USA, pp 11-17, Apr 1993

2.      JA McDermid, M Nicholson, P Fenelon and D J Pumfrey, (1995), “Experience with the application of HAZOP to Computer-Based Systems”  in COMPASS '95: Proceedings of the 10th Annual Conference on Computer Assurance, Gaithersburg, MD, pp. 37-48, IEEE, ISBN 0-7803-2680-2. 

3.      M. Nicholson and D. Prasad, "Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis," presented at 2nd ICECCS, Hilton Hotel, Montreal, Canada, 1996 

4.      M. Nicholson, P. Hollow and J. A. McDermid, "Approaches to Certification of Reconfigurable IMA Systems", INCOSE 2000, Minneapolis, USA, 17-20 July 2000 

5.      M. Nicholson, P. Conmy, I. Bate and J. McDermid, "Generating and maintaining a Safety Argument for Integrated Modular Systems" 5th AustralianWorkshop on Safety Critical Systems and Software, Institution of Engineers Australia, 21 Bedford Street, North Melbourne, Victoria, AUSTRALIA 24 November 2000,  31 - 41 

6.      M. Nicholson "Supporting design Synthesis for Safety-Critical Systems" GECCO03, Chicago, USA, July 03 

7.      P. Conmy, M. Nicholson, Y. Purwantoro, J.A.  Mcdermid J.A.  "Safety Analysis and Certification of Open Distributed Systems", ICCS 2002 

8.      J.A. McDermid and M. Nicholson "Extending PSSA for Complex Systems", ISSC Ottawa, August 2003 

9.      P. Conmy, M. Nicholson "Identifying Safety Dependencies in Modular Computer Systems", ISSC Ottawa, August 2003 

10.  R. Pierce, M. Nicholson, A. Faulkner "Assessing Operating Systems for Safety Related Applications", ISSC Ottawa August 2003 

11.  P.Conmy, M. Nicholson, J. McDermid, "Safety Assurance Contracts for Integrated Modular Avionics", 8th Australian Workshop on Safety Critical Systems and Software, Canberra, CRPIT Vol 33, pp 69-78, October 2003.

12.  G. Jolliffe and M. Nicholson "Exploring the Possibilities Towards a Preliminary Saftey Case for IMA Blueprints", System Safety Symposium, Southampton, February, Springer-verlag, 2005

13.  M. Nicholson, "Health Monitoring for Reconfigurable Integrated Control Systems" System Safety Symposium, Southampton, Springer-verlag, February 2005

14.  G. Jolliffe and M. Nicholson "Exploring the Possibilities Towards a Preliminary Saftey Case for IMA Blueprints", Proceedings Of The 23rd International System Safety Conference, San Diego U.S.A., August 22-26 2005

15.  Zoë Stephenson, Mark Nicholson, John McDermid "Product-Line Technology Recommendations for Integrated Modular Systems", Proceedings Of The 23rd International System Safety Conference, San Diego U.S.A., August 22-26 2005

16.  Zoë Stephenson, Mark Nicholson, John McDermid "Flexibility and Manageability of IMS Projects", Proceedings Of The 24th International System Safety Conference, U.S.A., August 2006

17.  Andrew Evans and Mark Nicholson, “Safety Assessment and Certification for UAS”, 22nd International UAV Systems Conference, 16 – 18 April 2007 

18.  Adrian Hill and Mark Nicholson, “Safety tactics for Reconfigurable Process Control Devices”, IET conference October 2009

19.  Andrew Rae and Mark Nicholson, “Operational ALARP is Always Out of Reach”, IET conference October 2009

20.  Andrew Rae, Mark Nicholson and Robert Alexander, “Matching Research Goals and Methods in System Safety Engineering”, 5th IET International System Safety Conference. Manchester, UK, October 2010. The Institution of Engineering and Technology

21.  Robert Alexander, Andrew Rae and Mark Nicholson “”The state of practice in system safety research evaluation,”, 5th IET International System Safety Conference. Manchester, UK, October 2010. The Institution of Engineering and Technology.