Outputs (30)

Quantification of Simultaneous-AND Gates in Temporal Fault Trees (2013)
Presentation / Conference Contribution
Edifor, E., Walker, M., & Gordon, N. Quantification of Simultaneous-AND Gates in Temporal Fault Trees

Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA... Read More about Quantification of Simultaneous-AND Gates in Temporal Fault Trees.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Presentation / Conference Contribution
Mian, Z., & Bottaci, L. Multi-objective architecture optimisation modelling for dependable systems. Presented at 4th IFAC Workshop on Dependable Control of Discrete Systems, York, UK

The design of dependable systems must address both cost and dependability (i.e. safety, reliability, availability and maintainability) concerns. For large systems, the design space of alternatives with respect to both dependability and cost is very l... Read More about Multi-objective architecture optimisation modelling for dependable systems.

An open-source multi-DOF articulated robotic educational platform for autonomous object manipulation (2013)
Journal Article
Manzoor, S., Ul Islam, R., Khalid, A., Samad, A., & Iqbal, J. (2014). An open-source multi-DOF articulated robotic educational platform for autonomous object manipulation. Robotics and Computer-Integrated Manufacturing, 30(3), 351-362. https://doi.org/10.1016/j.rcim.2013.11.003

This research presents an autonomous robotic framework for academic, vocational and training purpose. The platform is centred on a 6 Degree Of Freedom (DOF) serial robotic arm. The kinematic and dynamic models of the robot have been derived to facili... Read More about An open-source multi-DOF articulated robotic educational platform for autonomous object manipulation.

Overview of Bayesian sequential Monte Carlo methods for group and extended object tracking (2013)
Journal Article
Mihaylova, L., Carmi, A. Y., Septier, F., Gning, A., Pang, S. K., & Godsill, S. (2014). Overview of Bayesian sequential Monte Carlo methods for group and extended object tracking. Digital Signal Processing, 25, 1-16. https://doi.org/10.1016/j.dsp.2013.11.006

This work presents the current state-of-the-art in techniques for tracking a number of objects moving in a coordinated and interacting fashion. Groups are structured objects characterized with particular motion patterns. The group can be comprised of... Read More about Overview of Bayesian sequential Monte Carlo methods for group and extended object tracking.

Mutation analysis of dynamically typed programs (2013)
Thesis
Abu Hashish, N. Mutation analysis of dynamically typed programs. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4215632

The increasing use of dynamically typed programming languages brings a new challenge to software testing. In these languages, types are not checked at compile-time. Type errors must be found by testing and in general, programs written in these langua... Read More about Mutation analysis of dynamically typed programs.

Cooperative wideband spectrum sensing with multi-bit hard decision in cognitive radio (2013)
Presentation / Conference Contribution
Mehdawi, M. A., Riley, N. G., Ammar, M., Fanan, A., & Zolfaghari, M. (2013, November). Cooperative wideband spectrum sensing with multi-bit hard decision in cognitive radio. Presented at 2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers

Cognitive radio offers an increasingly attractive solution to overcome the underutilization problem. A sensor network based cooperative wideband spectrum sensing is proposed in this paper. The purpose of the sensor network is to determine the frequen... Read More about Cooperative wideband spectrum sensing with multi-bit hard decision in cognitive radio.

Maximising gain for minimal pain: Utilising natural game mechanics (2013)
Journal Article
Gordon, N., Brayshaw, M., & Grey, S. (2013). Maximising gain for minimal pain: Utilising natural game mechanics. Innovation in teaching and learning in information and computer sciences, 12(1), 27-38. https://doi.org/10.11120/ital.2013.00004

This paper considers the application of natural games mechanics within higher education as a vehicle to encourage student engagement and achievement of desired learning outcomes. It concludes with desiderata of features for a learning environment whe... Read More about Maximising gain for minimal pain: Utilising natural game mechanics.

Automatic optimisation of system architectures using EAST-ADL (2013)
Journal Article
Walker, M., Reiser, M.-O., Tucci-Piergiovanni, S., Papadopoulos, Y., Lönn, H., Mraidha, C., Parker, D., Chen, D., & Servat, D. (2013). Automatic optimisation of system architectures using EAST-ADL. Journal of Systems and Software, 86(10), 2467-2487. https://doi.org/10.1016/j.jss.2013.04.001

There are many challenges which face designers of complex system architectures, particularly safety-critical or real-time systems. The introduction of Architecture Description Languages (ADLs) has helped to meet these challenges by consolidating info... Read More about Automatic optimisation of system architectures using EAST-ADL.

Box-particle probability hypothesis density filtering (2013)
Journal Article
Schikora, M., Gning, A., Mihaylova, L., Cremers, D., & Koch, W. (2014). Box-particle probability hypothesis density filtering. IEEE Transactions on Aerospace and Electronic Systems, 50(3), 1660-1672. https://doi.org/10.1109/taes.2014.120238

This paper develops a novel approach for multitarget tracking, called box-particle probability hypothesis density filter (box-PHD filter). The approach is able to track multiple targets and estimates the unknown number of targets. Furthermore, it is... Read More about Box-particle probability hypothesis density filtering.

Automatic generation of Temporal Fault Trees from AADL models (2013)
Presentation / Conference Contribution
Mahmud, N., & Mian, Z. (2013, September). Automatic generation of Temporal Fault Trees from AADL models. Presented at Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013, Amsterdam, Netherlands

The Architecture Analysis and Design Language (AADL) is gaining growing acceptance in the aerospace, automobile and avionics industries. These industries are increasingly concerned with systems exhibiting sequence-dependent failures. About dependabil... Read More about Automatic generation of Temporal Fault Trees from AADL models.