Browsing by Author "Snooke, Neal"

H...............H

Browsing by Author "Snooke, Neal"

Sort by: Order: Results:

  • Snooke, Neal; Bell, Jonathan (2006-03-22)
    Recent work in Model Based Reasoning has resulted in the development of automated tools to perform Failure Mode Effects Analysis (FMEA) and Sneak Circuit Analysis (SCA). These tools work at the component level for individual ...
  • Price, Chris; Snooke, Neal; Lewis, Stuart (2006-03-17)
    Much research in model-based reasoning has concentrated on the use of a single, usually qualitative, level of modeling. This is less than ideal for many engineering applications, where the amount of knowledge available ...
  • Price, Chris; Snooke, Neal; Lewis, Stuart (2003-08)
    Much research in model-based reasoning has concentrated on the use of a single, usually qualitative, level of modeling. This is less than ideal for many engineering applications, where the amount of knowledge available ...
  • Department of Computer Science; Advanced Reasoning Group; Snooke, Neal (2010-12-16)
    International PCT Application
  • Downes, Clive; Snooke, Neal; Price, Chris; Aspey, Carol (2008-07-22)
    The ASTRAEA project is a £32M UK initiative to develop the safety case for unmanned aerial vehicles flying in commercial airspace. It is addressing both the issue of what needs to be covered by such a safety case, and how ...
  • Snooke, Neal (2009-09-27)
    This paper builds on the ability to produce a comprehensive automated Failure Modes and Effects Analysis (FMEA) using qualitative model based reasoning techniques. The automated FMEA provides a comprehensive set of ...
  • Snooke, Neal; Price, Christopher John (2012-10-01)
    The comprehensive on-board diagnosis of faults in many aerospace and other engineered systems requires real time execution using limited computational resources, and must also provide verifiable behaviour. This paper shows ...
  • Snooke, Neal (Springer, 2014-05-15)
  • Department of Computer Science; Snooke, Neal (2012-11-01)
    A method of generating symptom electronic data for use in a diagnostic system (210). The method includes: i) obtaining (302) Failure Modes and Effects Analysis (FMEA) data for a target system, the data including a plurality ...
  • Snooke, Neal; Price, Chris (2008-03-04)
    The concept of software failure mode and effects analysis (FMEA) has grown in attractiveness over recent years as a way of assessing the reliability of software. Like its hardware counterpart, software FMEA is immensely ...
  • Snooke, Neal; Price, Chris (2006-03-22)
    Qualitative reasoning about electrical systems has reached a level of achievement which allows it to be used for applications on realistic automotive circuits. The type of circuits for which it is most effective can be ...
  • Snooke, Neal; Price, Chris (1997-06-03)
    Qualitative reasoning about electrical systems has reached a level of achievement which allows it to be used for applications on realistic automotive circuits. The type of circuits for which it is most effective can be ...
  • Price, Chris; Pugh, Dave; Snooke, Neal; Hunt, John; Wilson, Myra (1997)
    Increasing complexity of design in automotive electrical systems has been paralleled by increased demands for analysis of the safety and reliability aspects of those designs. Such demands can place a great burden on the ...
  • Bell, Jonathan; Snooke, Neal (2006-03-20)
    Functional modeling languages have been used to describe processes that react to discrete external events and remain in a constant state until another such event stimulates a change in system state, and are deficient in ...
  • Bell, Jonathan; Snooke, Neal (2004-08)
    Functional modeling languages have been used to describe processes that react to discrete external events and remain in a constant state until another such event stimulates a change in system state, and are deficient in ...
  • McManus, Alex; Price, Chris; Snooke, Neal; Joseph, Richard (2006-03-22)
    Automotive engineers are under increasing pressure to produce correct, safe designs in shorter time frames. We present an algorithm for automating Design Verification of automotive electrical circuits, building on the ...
  • Snooke, Neal; Price, Christopher (2011-12-12)
    This paper builds on the ability to produce a comprehensive automated set of component fault¿ observation relations for vehicle on-board systems using qualitative model based reasoning techniques. Observations are typically ...
  • Diao, Ren; Chao, Fei; Peng, Taoxin; Snooke, Neal; Shen, Qiang (2013-09-25)
    Classifier ensembles constitute one of the main research directions in machine learning and data mining. The use of multiple classifiers generally allows better predictive performance than that achievable with a single ...
  • Bell, Jonathan; Price, Chris; Snooke, Neal (2005-05)
    Description of system function is already in use as the basis of an approach to interpretation of the results of simulation in design analysis, allowing an automated design analysis tool to generate a textual report detailing ...
  • Bell, Jonathan; Price, Chris; Snooke, Neal (2006-03-20)
    Description of system function is already in use as the basis of an approach to interpretation of the results of simulation in design analysis, allowing an automated design analysis tool to generate a textual report detailing ...

Search Cadair

Browse

My Account