Skip to main content

Research Repository

Advanced Search

All Outputs (3)

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.