All Outputs (8)

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.

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.

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.

The technology supported assessment model: a proposal for FIT in HNUE (2013)
Presentation / Conference Contribution
Nguyen, T. C., & Gordon, N. (2013, June). The technology supported assessment model: a proposal for FIT in HNUE. Presented at Learning technologies

The student learning assessment systems used in many Vietnamese universities do not utilise technology enhanced learning. Therefore, assessment systems take up a lot of time, and require manual human intervention. Moreover, the benefits of active lea... Read More about The technology supported assessment model: a proposal for FIT in HNUE.

Robotics for nuclear power plants - Challenges and future perspectives (2013)
Presentation / Conference Contribution
Iqbal, J., Tahir, A. M., Ul Islam, R., & Riaz-Un-Nabi. (2012, September). Robotics for nuclear power plants - Challenges and future perspectives. Presented at 2012 2nd International Conference on Applied Robotics for the Power Industry (CARPI), Zurich, Switzerland

Use of robotics and computerized tools in Nuclear Power Plants (NPPs) has been identified as a highly recommended practice by IAEA. The key rationale of robotics application has always been to avoid human exposure to hazardous environments and tasks... Read More about Robotics for nuclear power plants - Challenges and future perspectives.

An autonomous image-guided robotic system simulating industrial applications (2013)
Presentation / Conference Contribution
Islam, R. U., Iqbal, J., Manzoor, S., Khalid, A., & Khan, S. (2012, July). An autonomous image-guided robotic system simulating industrial applications. Presented at 2012 7th International Conference on System of Systems Engineering (SoSE), Genova, Italy

This paper presents a robotic system based on a serial manipulator. The robot is a vertical articulated arm with 5 revolute joints having 6 Degree Of Freedom. Actuated with six precise servo motors, the system offers positional accuracy of ±0.5mm wit... Read More about An autonomous image-guided robotic system simulating industrial applications.

Brain controlled human robot interface (2013)
Presentation / Conference Contribution
Naveed, K., Iqbal, J., & Ur Rehman, H. (2012, October). Brain controlled human robot interface. Presented at 2012 International Conference on Robotics and Artificial Intelligence (ICRAI)

This Paper emphasizes on the ever increasing need of better communication medium between a human and a robot in order to control it precisely. Brain Computer Interface (BCI) is the most suitable mean of communication between them, especially for the... Read More about Brain controlled human robot interface.