Outputs (8)

Scalable allocation of safety integrity levels in automotive systems (2015)
Thesis
Azevedo, L. P. D. S. (2015). Scalable allocation of safety integrity levels in automotive systems. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4218322

The allocation of safety integrity requirements is an important problem in modern safety engineering. It is necessary to find an allocation that meets system level safety integrity targets and that is simultaneously cost-effective. As safety-critical... Read More about Scalable allocation of safety integrity levels in automotive systems.

Dynamic model-based safety analysis: from state machines to temporal fault trees (2012)
Thesis
Mahmud, N. (2012). Dynamic model-based safety analysis: from state machines to temporal fault trees. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4214015

Finite state transition models such as State Machines (SMs) have become a prevalent paradigm for the description of dynamic systems. Such models are well-suited to modelling the behaviour of complex systems, including in conditions of failure, and wh... Read More about Dynamic model-based safety analysis: from state machines to temporal fault trees.

CernoCAMAL : a probabilistic computational cognitive architecture (2012)
Thesis
Miri, H. (2012). CernoCAMAL : a probabilistic computational cognitive architecture. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4214117

This thesis presents one possible way to develop a computational cognitive architecture, dubbed CernoCAMAL, that can be used to govern artificial minds probabilistically. The primary aim of the CernoCAMAL research project is to investigate how its pr... Read More about CernoCAMAL : a probabilistic computational cognitive architecture.

Multi-objective system optimisation with respect to availability, maintainability and cost (2012)
Thesis
Nggada, S. H. (2012). Multi-objective system optimisation with respect to availability, maintainability and cost. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4213593

Safety critical engineering systems are becoming increasingly larger and more complex. One way of ensuring the dependability of such systems is via architectural redundancy and replication of components. Use of redundancy has its limitations though,... Read More about Multi-objective system optimisation with respect to availability, maintainability and cost.

Integrated application of compositional and behavioural safety analysis (2011)
Thesis
Sharvia, S. (2011). Integrated application of compositional and behavioural safety analysis. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4211046

To address challenges arising in the safety assessment of critical engineering systems, research has recently focused on automating the synthesis of predictive models of system failure from design representations. In one approach, known as compositio... Read More about Integrated application of compositional and behavioural safety analysis.

Specification and use of component failure patterns (2010)
Thesis
Wolforth, I. P. (2010). Specification and use of component failure patterns. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4211022

Safety-critical systems are typically assessed for their adherence to specified safety properties. They are studied down to the component-level to identify root causes of any hazardous failures. Most recent work with model-based safety analysis has f... Read More about Specification and use of component failure patterns.

Multi-objective optimisation of safety-critical hierarchical systems (2010)
Thesis
Parker, D. (. J. (2010). Multi-objective optimisation of safety-critical hierarchical systems. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4209821

Achieving high reliability, particularly in safety critical systems, is an important and often mandatory requirement. At the same time costs should be kept as low as possible. Finding an optimum balance between maximising a system's reliability and m... Read More about Multi-objective optimisation of safety-critical hierarchical systems.

Pandora : a logic for the qualitative analysis of temporal fault trees (2009)
Thesis
Walker, M. (. D. (2009). Pandora : a logic for the qualitative analysis of temporal fault trees. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4209344

Fault Tree Analysis (FTA) is a valuable systems analysis technique widely used in safety analysis and reliability engineering, but it is not without its faults; in particular, it struggles to analyse systems in which time plays an important role, bec... Read More about Pandora : a logic for the qualitative analysis of temporal fault trees.