- Using Scenarios to Identify and Trade-off Dependability Objectives in Design Georgios Despotou; The University of York; York YO10 5DD UK
- SUPPORTING THE USE OF COTS IN SAFETY CRITICAL APPLICATIONS Steven Dawkins1
- The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families: Position Paper
- Using Software Architecture Techniques to Support the Modular Certification of Safety-Critical Systems
- Establishing a Standard Business Process Execution Architecture for Integrating Web Services
- Safety case architectures to complement a contract-based approach to designing safe systems S.A. Bates; The University of York; York, UK
- A Flexible Approach to Constructing Virtual Reuse Libraries
- Combining Software Evidence Arguments and Assurance
- R. Winther, B.A. Gran, and G. Dahll (Eds.): SAFECOMP 2005, LNCS 3688, pp. 136 150, 2005. Springer-Verlag Berlin Heidelberg 2005
- Software Safety Arguments: Towards a Systematic Categorisation of Evidence R. A. Weaver; Department of Computer Science, University of York; York, UK
- S. Anderson et al. (Eds.): SAFECOMP 2002, LNCS 2434, pp. 321-333, 2002. Springer-Verlag Berlin Heidelberg 2002
- Deviational analyses for validating regulations on real systems
- Diary of a domain analyst: a domain analysis case-study from avionics
- COMSA/2001/1/1 Concepts and Principles of
- Safety Case Construction and Reuse using Patterns T P Kelly, J A McDermid
- Safety Cases for Software Application Reuse P Fenelon, T P Kelly, J A McDermid
- Page 1 of 14 The Costs, Benefits, and Risks Associated With Pattern-Based and
- Safety Case Depictions vs. Safety Cases Would the Real Safety Case Please Stand Up?
- Safety Case Development: Current Practice, Future Prospects
- Issues in the Conduct of PSSA S K Dawkins, T P Kelly, J A McDermid, J Murdoch, D J Pumfrey; University of York; York, UK.
- Managing Architectural Design Decisions for Safety-Critical Software Systems
- Technology Transfer: An Integrated `Culture-Friendly' I.J. Bate, A. Burns, T.O. Jackson, T.P. Kelly,
- Planes, Trains and Automobiles --An Investigation into Safety Policy for Systems of Systems Martin Hall-May; Tim Kelly; University of York; York, England
- Australian Workshop on Industrial Experience with
- Eliciting Software Safety Requirements in Complex Catherine Menon, Tim Kelly
- THE ROLE OF THE HUMAN IN AN AUTONOMOUS R.D. Alexander*, N.J. Herbert
- 4th SEAS DTC Technical Conference -Edinburgh 2009 Deriving Safety Requirements for Autonomous Systems
- Achieving Integrated Process and Product Safety Ibrahim Habli and Tim Kelly
- Safety Case Composition Using Contracts -Refinements based on Feedback from
- SEAS DTC Technical Conference -Edinburgh 2007 B11 Certification of Autonomous Systems
- Reliability Engineering and System Safety 92 (2007) 15631583 Using fuzzy self-organising maps for safety critical systems
- Gaining Confidence in Goal-based Safety Cases Rob Weaver and Tim Kelly
- Eliciting Safety Policy and Balancing with Operational Fitness in Systems of Systems
- Process and Product Certification Arguments -Getting the Balance Right
- Combining Simulation with Machine Learning to Build Accident Models
- EXTENDING SAFETY DEVIATION ANALYSIS TECHNIQUES TO ELICIT FLEXIBLE DEPENDABILITY REQUIREMENTS
- Requirements for Domain-Specific Languages Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly, and Fiona A.C. Polack
- Deriving Safety Requirements as Part of System Architecture Definition Weihang Wu, M.Sc.; Tim Kelly, Ph.D.; University of York; York, UK
- Towards Conflict Detection and Resolution of Safety Policies M. Hall-May, T. P. Kelly; University of York; York, England
- Using Agent-based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems
- System of Systems Hazard Analysis using Simulation and Machine Learning
- TS 14 SIM and Quality Ibrahim Habli and Tim Kelly
- Failure Modelling in Software Architecture Design for Safety Weihang Wu Tim Kelly
- Towards Using Simulation to Evaluate Safety Policy for Systems of Systems
- Goal-Based Safety Standards: Opportunities and Challenges Tim Kelly, University of York, Heslington, York, YO10 5DD UK
- Turning Up the HEAT on Safety Case Construction
- A Systematic Approach to Safety Case Management Dr Tim Kelly
- Use of COTS Software Components in Safety-Critical Applications A Defensible Approach*
- The Goal Structuring Notation A Safety Argument Notation Tim Kelly and Rob Weaver
- Characterisation of Systems of Systems Failures Robert Alexander; Martin Hall-May; Tim Kelly; University of York; York, England
- Extending the Safety Case Concept to Address Dependability Georgios Despotou, BEng (Hons), MSc, MIEE; Tim Kelly, MA, PhD; Department of Computer Science,
- Managing Complex Safety Cases Department of Computer Science
- Safety Criteria and Safety Lifecycle for Artificial Neural Networks
- Deriving Safety Requirements Using Scenarios Karen Allenby
- A Systematic Approach to Safety Case Maintenance Tim Kelly, John McDermid
- SAFETY CASE PATTERNS REUSING SUCCESSFUL ARGUMENTS Tim Kelly, John McDermid
- A Pragmatic Approach to Reuse Introduction in an Industrial Setting
- Capturing and Replaying Architectural Knowledge through Derivational Analogy Ibrahim Habli Tim Kelly
- FUNCTIONAL HAZARD ANALYSIS FOR HIGHLY INTEGRATED AEROSPACE SYSTEMS P J Wilkinson1
- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines
- Incremental Product-line Development Kester Clegg & Tim Kelly & John McDermid
- Defining and Decomposing Safety Policy for Systems of Systems
- Safety Tactics for Software Architecture Design Weihang Wu Tim Kelly
- The Need for Flexible Requirements in Dependable Systems Georgios Despotou, Tim Kelly
- Establishing Safety Criteria for Artificial Neural Networks
- Criticality Analysis for COTS Software Components Fan Ye; University of York, York, UK
- A systematic approach to safety case maintenance T.P. Kelly*, J.A. McDermid
- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks
- Component Failure Mitigation According to Failure Type Fan Ye, Tim Kelly
- Z.R. Yang et al. (Eds.): IDEAL 2004, LNCS 3177, pp. 266271, 2004. Springer-Verlag Berlin Heidelberg 2004
- Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
- Architectural considerations in the certification of modular systems Iain Bate*, Tim Kelly
- oftware is the primary determinant of function in many modern engineered systems, from
- M. Heisel et al. (Eds.): SAFECOMP 2004, LNCS 3219, pp. 1730, 2004. Springer-Verlag Berlin Heidelberg 2004
- Can We Remove the Human from Hazard Analysis? Robert Alexander; Tim Kelly; University of York; York, England
- Software in Safety Critical Systems: Achievement and Prediction John McDermid, Tim Kelly, University of York, UK
- Building a Preliminary Safety Case: An Example from Aerospace
- Contract-Based Justification for COTS Component within Safety-Critical Applications
- COTS Product Selection for Safety-Critical Systems Fan Ye, Tim Kelly
- INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 01 GLASGOW, AUGUST 21-23, 2001
- A Systematic Approach to Safety Case Management Dr Tim Kelly
- Deriving Safety Requirements Using Scenarios Karen Allenby
- Diary of a domain analyst: a domain analysis case-study from avionics
- Technology Transfer: An Integrated `Culture-Friendly' I.J. Bate, A. Burns, T.O. Jackson, T.P. Kelly,
- Establishing a Standard Business Process Execution Architecture for Integrating Web Services
- Using Scenarios to Identify and Trade-off Dependability Objectives in Design Georgios Despotou; The University of York; York YO10 5DD UK
- Capturing and Replaying Architectural Knowledge through Derivational Analogy Ibrahim Habli Tim Kelly
- Using Agent-based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems
- Safety Case Development: Current Practice, Future Prospects
- SUPPORTING THE USE OF COTS IN SAFETY CRITICAL APPLICATIONS Steven Dawkins1
- The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families: Position Paper
- S. Anderson et al. (Eds.): SAFECOMP 2002, LNCS 2434, pp. 321-333, 2002. Springer-Verlag Berlin Heidelberg 2002
- Can We Remove the Human from Hazard Analysis? Robert Alexander; Tim Kelly; University of York; York, England
- System of Systems Hazard Analysis using Simulation and Machine Learning
- Managing Architectural Design Decisions for Safety-Critical Software Systems
- Managing Complex Safety Cases Department of Computer Science
- Building a Preliminary Safety Case: An Example from Aerospace
- A Pragmatic Approach to Reuse Introduction in an Industrial Setting
- Defining and Decomposing Safety Policy for Systems of Systems
- Contract-Based Justification for COTS Component within Safety-Critical Applications
- Incremental Product-line Development Kester Clegg & Tim Kelly & John McDermid
- Towards Conflict Detection and Resolution of Safety Policies M. Hall-May, T. P. Kelly; University of York; York, England
- oftware is the primary determinant of function in many modern engineered systems, from
- Safety Criteria and Safety Lifecycle for Artificial Neural Networks
- Combining Software Evidence Arguments and Assurance
- TS 14 SIM and Quality Ibrahim Habli and Tim Kelly
- The Goal Structuring Notation A Safety Argument Notation Tim Kelly and Rob Weaver
- COTS Product Selection for Safety-Critical Systems Fan Ye, Tim Kelly
- M. Heisel et al. (Eds.): SAFECOMP 2004, LNCS 3219, pp. 1730, 2004. Springer-Verlag Berlin Heidelberg 2004
- COMSA/2001/1/1 Concepts and Principles of
- Gaining Confidence in Goal-based Safety Cases Rob Weaver and Tim Kelly
- Criticality Analysis for COTS Software Components Fan Ye; University of York, York, UK
- Process and Product Certification Arguments -Getting the Balance Right
- Characterisation of Systems of Systems Failures Robert Alexander; Martin Hall-May; Tim Kelly; University of York; York, England
- Turning Up the HEAT on Safety Case Construction
- Software Safety Arguments: Towards a Systematic Categorisation of Evidence R. A. Weaver; Department of Computer Science, University of York; York, UK
- Establishing Safety Criteria for Artificial Neural Networks
- Towards Using Simulation to Evaluate Safety Policy for Systems of Systems
- SAFETY CASE PATTERNS REUSING SUCCESSFUL ARGUMENTS Tim Kelly, John McDermid
- Architectural considerations in the certification of modular systems Iain Bate*, Tim Kelly
- Combining Simulation with Machine Learning to Build Accident Models
- EXTENDING SAFETY DEVIATION ANALYSIS TECHNIQUES TO ELICIT FLEXIBLE DEPENDABILITY REQUIREMENTS
- SEAS DTC Technical Conference -Edinburgh 2007 B11 Certification of Autonomous Systems
- R. Winther, B.A. Gran, and G. Dahll (Eds.): SAFECOMP 2005, LNCS 3688, pp. 136 150, 2005. Springer-Verlag Berlin Heidelberg 2005
- Component Failure Mitigation According to Failure Type Fan Ye, Tim Kelly
- Software in Safety Critical Systems: Achievement and Prediction John McDermid, Tim Kelly, University of York, UK
- Failure Modelling in Software Architecture Design for Safety Weihang Wu Tim Kelly
- Use of COTS Software Components in Safety-Critical Applications A Defensible Approach*
- Safety Cases for Software Application Reuse P Fenelon, T P Kelly, J A McDermid
- Safety Case Construction and Reuse using Patterns T P Kelly, J A McDermid
- Australian Workshop on Industrial Experience with
- Using Software Architecture Techniques to Support the Modular Certification of Safety-Critical Systems
- Issues in the Conduct of PSSA S K Dawkins, T P Kelly, J A McDermid, J Murdoch, D J Pumfrey; University of York; York, UK.
- Eliciting Software Safety Requirements in Complex Catherine Menon, Tim Kelly
- Z.R. Yang et al. (Eds.): IDEAL 2004, LNCS 3177, pp. 266271, 2004. Springer-Verlag Berlin Heidelberg 2004
- Safety case architectures to complement a contract-based approach to designing safe systems S.A. Bates; The University of York; York, UK
- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks
- A systematic approach to safety case maintenance T.P. Kelly*, J.A. McDermid
- Page 1 of 14 The Costs, Benefits, and Risks Associated With Pattern-Based and
- Safety Case Composition Using Contracts -Refinements based on Feedback from
- Planes, Trains and Automobiles --An Investigation into Safety Policy for Systems of Systems Martin Hall-May; Tim Kelly; University of York; York, England
- Goal-Based Safety Standards: Opportunities and Challenges Tim Kelly, University of York, Heslington, York, YO10 5DD UK
- Achieving Integrated Process and Product Safety Ibrahim Habli and Tim Kelly
- Extending the Safety Case Concept to Address Dependability Georgios Despotou, BEng (Hons), MSc, MIEE; Tim Kelly, MA, PhD; Department of Computer Science,
- Reliability Engineering and System Safety 92 (2007) 15631583 Using fuzzy self-organising maps for safety critical systems
- Deviational analyses for validating regulations on real systems
- A Systematic Approach to Safety Case Maintenance Tim Kelly, John McDermid
- INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 01 GLASGOW, AUGUST 21-23, 2001
- Deriving Safety Requirements as Part of System Architecture Definition Weihang Wu, M.Sc.; Tim Kelly, Ph.D.; University of York; York, UK
- FUNCTIONAL HAZARD ANALYSIS FOR HIGHLY INTEGRATED AEROSPACE SYSTEMS P J Wilkinson1
- Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
- A Flexible Approach to Constructing Virtual Reuse Libraries
- Requirements for Domain-Specific Languages Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly, and Fiona A.C. Polack
- The Need for Flexible Requirements in Dependable Systems Georgios Despotou, Tim Kelly
- Safety Tactics for Software Architecture Design Weihang Wu Tim Kelly
- Eliciting Safety Policy and Balancing with Operational Fitness in Systems of Systems
