Browsing Cyfrifiadureg / Computer Science by Author "Snooke, Neal"

Sort by: Order: Results:

  • Snooke, Neal; Bell, Jonathan (2002-06)
    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 (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-04-01)
    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 ...
  • Price, Chris; Snooke, Neal (Research Publishing Services, 2008-04-03)
    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 (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 (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 ...
  • 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 ...
  • Snooke, Neal; Shipman, Richard (Springer Nature, 2001-12-11)
    Model based reasoning applied to electrical systems has matured over recent years resulting in deployment of commercial design analysis tools in the automotive industry [1, 41. These tools work at the component level on ...
  • Snooke, Neal; Price, Chris (1998-11-23)
    This paper discusses the use of hierarchies of function in reasoning about automotive electrical systems. Such hierarchies enable more powerful reasoning for applications such as diagnosis, failure mode and effects analysis, ...
  • Price, Chris; Snooke, Neal; Ellis, David (1999-01)
    Engineers have developed a number of design techniques in order to detect problems in their designs, such as yellow-boarding, FMECA, FTA and sneak circuit analysis. Concurrent engineering demands that all such design ...
  • Bell, Jonathan (University of Wales AberystwythComputer Science, 2006)
    This thesis attempts to answer the question "Can we devise a language for interpretation of behavioural simulation of engineered systems (of arbitrary complexity) in terms of the systems’ purpose?" It does so by presenting ...
  • Bell, Jonathan; Snooke, Neal; Price, Chris (2005-08)
    Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a textual design analysis report that expresses ...
  • Price, Chris; Snooke, Neal; Lewis, Stuart (2006-06)
    Software support for the automotive electrical design process is vital, as many of the safety analysis tasks needing to be carried out, while complex, are repetitive and time consuming. Such support is required throughout ...
  • Snooke, Neal (2010-08-04)
    This paper argues that software engineering should not overlook the lessons learned by other engineering disciplines with longer established histories. As software engineering evolves it should focus not only on application ...
  • Snooke, Neal (2004-06)
    Failure Mode and Effects Analysis is widely used in engineering hardware systems to help in understanding the effects of potential failures and the faults that cause them to occur. The analysis is iterative leading to ...
  • Shipman, Richard Charles (University of WalesComputer Science, 2011-09)
    Research at Aberystwyth into qualitative simulation of electrical circuits has been word-leading for nearly two decades. During that time, the Advanced Reasoning Group has developed a variety of electrical circuit ...
  • Price, Chris; Trave-Massuyes, Louise; Milne, Rob; Ironi, Liliana; Forbus, Kenneth; Bredeweg, Bert; Lee, Mark; Struss, Peter; Snooke, Neal; Lucas, Peter; Cavazza, Marc; Coghill, George (2006-12-04)
    This paper reviews the state of the art in model-based systems and qualitative reasoning, and considers where the field will be in twenty years time. It highlights six areas where developments in model-based systems in ...

Search Cadair


Advanced Search

Browse