|
|
|
|
|
Mark Nicholson's Research Page |
|
Integrated Modular Systems |
Ongoing work on IMS and assuring safety for such systems. Also certification of large civil aircraft and UAVs. Also looking at data in safety critical systems; both data driven control systems and information systems. |
|
Contracts |
Design by contract is now going into the implementation
phase in a number of domains. Research is ongoing to support this transition.
|
|
Allocation / Blueprints |
I completed my DPhil entitled "Selecting a Topology for Safety-Critical Real-Time Control Systems" in 1998. A topology consists of a configured set of hardware and software units employed to fulfil a set of logical control actions. A topology may employ multiple, possibly diverse, copies of these units to ensure that dependability, timing and functional requirements are met. A designer aims to determine the set of units to be employed and how they should be configured. A maintainer aims to discover the effect of a change in functionality, or the units employed, on the effectiveness of an existing topology. As part of a BAE SYSTEMS funded activity I am looking at producing a
modular argument for configurations and reconfigurations. |
|
ARP 4754 |
I am currently a member of WG63 looking at updating these standards. |
|
Others |
Product lines: Currently looking at a safety case pattern for product lines and instantiation of this approach for configuration and reconfiguration |
|
MSc Projects Supervised since 2000 |
1. S. D. Nucci [2000] Software Safety and Supportability Analysis 2. G. Jolliffe [2004] Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints 3. R. Barraclough [2005] Human Factors Contracts for Safety Critical Systems 4.
K. 5. D. Huw Morgan [2005] Integration Modelling of Process Industry Safety Initiatives 6. A. Eaton [2005] Evaluating safety related image integrity over visual communication systems 7. D. H. Gower [2006] Assessing the Use of a Safety and Support Questionnaire in Support of a Service Modification Process 8. A. Evans [2006] The Hazards of Unmanned Air Vehicle Integration into Unsegregated Airspace 9.
10. M. Salter [2006] Managing Operational Safety Case in High-Risk Systems 11. D. J. Pritchard [2007] Tool Qualification, A Generic Argument for safe application of tools to a Safety Critical Software Project 12. A. Hill [2008] Safety Tactics for Reconfigurable Process Control Devices 13. C. J. Hodson [2008] Civil Airworthiness for a UAV Control Station 14. C. Hollinshead [2008] Using Safety Contracts to Identify Regression Tests for Modular Systems 15. A.Wake [2008] Safety of Data in Real-Time Distributed Systems |
|
Publications |
Andrew Evans and Mark Nicholson, “Safety Assessment and Certification for UAS”, 22nd International UAV Systems Conference, 16 – 18 April 2007 Zoë Stephenson, Mark Nicholson,John McDermid "Flexibility and Manageability of IMS Projects",
Proceedings Of The 24th International System Safety Zoë Stephenson, Mark Nicholson, John McDermid "Product-Line Technology Recommendations for
Integrated Modular Systems", Proceedings Of The 23rd International
System Safety Conference, San Diego 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 M. Nicholson, "Health Monitoring
for Reconfigurable Integrated Control Systems" System Safety
Symposium, Southampton, February 2005 P. Conmy, M. Nicholson "Identifying
Safety Dependencies in Modular Computer Systems", ISSC R. Pierce, M. Nicholson, A. Faulkner "Assessing Operating Systems for Safety
Related Applications", ISSC P. Conmy, M. Nicholson, Y. Purwantoro, J.A. Mcdermid J.A. "Safety Analysis and Certification of Open Distributed Systems", ICCS 2002 M. Nicholson "Supporting
design Synthesis for Safety-Critical Systems" GECCO03, CSE International Ltd "Preliminary Assessment of Linux for Safety-Related Systems" HSE Research Report 011, 2002 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 M. Nicholson, P. Hollow and J. A. McDermid, "Approaches to Certification of Reconfigurable
IMA Systems", INCOSE 2000, M. Nicholson. and. A. Burns, "Emergence of an Architectural Topology
for Safety-Critical Real-Time Systems," M. Nicholson. and. A. Burns, "Structuring Architectural Topologies
for Real-Time Safety-Critical Systems," M. Nicholson and D. Prasad, "Design Synthesis Using Adaptive Search
Techniques and Multi-Criteria Decision Analysis," presented at 2nd
ICECCS, Hilton Hotel, JA McDermid, M Nicholson, P Fenelon and D J Pumfrey, (1995), in COMPASS '95: Proceedings of the 10th Annual Conference on Computer Assurance, Gaithersburg, MD, pp. 37-48, IEEE, ISBN 0-7803-2680-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 M. Nicholson, A. Burns, K. Tindell, and N. Zhang, "Allocation of
Safety-critical Hard Real-Time Tasks on a Parallel Processing Platform,"
Department of Computer Science, M. Nicholson, J. A. McDermid and A. Burns, "Analysis and Design Synthesis for Hard Real-Time Safety Critical Systems." YCS-94-237, November 1994 Burns, A. 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 |
|
Top Page |
return to top of the page |
|
About this page |
Created 27-05-03. Last updated 26-11-08. |
