Specialist Areas
- Claims, Arguments and Evidence
- Safety Case Research
- Development of Safety Cases
- Assurance Cases for Medical Devices
- Independent Safety Audit
- Software Development and Analysis
- Human Factors
- Hazard Analysis
- Software Reliability and Integrity Prediction
- Standards and Guidelines
- Technical due diligence
- Expert witness
- Operational risk
- Training
- Software Tools
Publications
"Component Failure Mitigation According to Failure
Type"
F. Ye and T. P. Kelly, In Proceedings of the
28th Annual International Computer Software and
Applications Conference (COMPSAC'04), Hong Kong, 2004,
IEEE Computer Society.
"COTS Product Selection for Safety-Critical Systems"
F. Ye and T. P. Kelly, In Proceedings of the
3rd International Conference on COTS-Based Software
Systems (ICCBSS'04), R. Kazman and D. Port (Eds.), LNCS
2959, Redondo Beach, CA, USA, 2004, Springer.
"Criticality Analysis for COTS Software
Components"
F. Ye and T. P. Kelly, In Proceedings of the
22nd International System Safety Conference (ISSC'04),
Providence, Rhode Island, USA, 2004, System Safety
Society.
"Contract-Based Justification for COTS
Software Components within Safety-Critical Applications"
F. Ye and T. P. Kelly, Presented at the 9th
Australian Workshop on Safety Related Programmable
Systems (SCS'04), Brisbane, Australia. Published in
Conferences in Research and Practice in Information
Technology, Vol. 47. Tony Cant, Ed. August 2004.
"Use of COTS Software Components in Safety-Critical Applications—A Defensible Approach"
F. Ye and T. P. Kelly, In Proceedings of
International Workshop on Models and Processes for the
Evaluation of COTS components (MPEC'04), Edinburgh,
Scotland, UK, 2004, IEE.