All Outputs (708)

Using simulation to evaluate dynamic systems with weibull or lognormal distributions (2014)
Presentation / Conference Contribution
Edifor, E., Gordon, N., Walker, M., & Papadopoulos, Y. Using simulation to evaluate dynamic systems with weibull or lognormal distributions. Presented at Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland

© Springer International Publishing Switzerland 2014. Most techniques for quantitatively analysing the temporal fault trees of safety-critical systems are used with the assumption that the systems under study have exponentially distributed component... Read More about Using simulation to evaluate dynamic systems with weibull or lognormal distributions.

GPU accelerating technique for rendering implicitly represented vasculatures (2014)
Presentation / Conference Contribution
Hong, Q., Wang, B., Li, Q., Li, Y., & Wu, Q. GPU accelerating technique for rendering implicitly represented vasculatures. Presented at 2nd International Conference on Biomedical Engineering and Biotechnology, Wuhan, China

With the flooding datasets of medical Computed Tomography (CT) and Magnetic Resonance Imaging (MRI), implicit modeling techniques are increasingly applied to reconstruct the human organs, especially the vasculature. However, displaying implicitly rep... Read More about GPU accelerating technique for rendering implicitly represented vasculatures.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Presentation / Conference Contribution
Mian, Z., & Bottaci, L. (2013). Multi-objective architecture optimisation modelling for dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 4(22), 31-36. https://doi.org/10.3182/20130904-3-UK-4041.00033

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.

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.

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.

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.

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 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. (2014). Automatic generation of Temporal Fault Trees from AADL models. In R. Steenbergen, P. VanGelder, S. Miraglia, & A. Vrouwenvelder (Eds.), Safety, Reliability and Risk Analysis : Beyond the Horizon (2741-2749). https://doi.org/10.1201/b15938

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.

Assisted assignment of automotive safety requirements (2013)
Journal Article
Azevedo, L. D. S., Parker, D., Walker, M., Papadopoulos, Y., & Araújo, R. E. (2014). Assisted assignment of automotive safety requirements. IEEE Software, 31(1), 62-68. https://doi.org/10.1109/ms.2013.118

ISO 26262, a functional-safety standard, uses Automotive Safety Integrity Levels (ASILs) to assign safety requirements to automotive-system elements. System designers initially assign ASILs to system-level hazards and then allocate them to elements o... Read More about Assisted assignment of automotive safety requirements.

A snake-based scheme for path planning and control with constraints by distributed visual sensors (2013)
Journal Article
Cheng, Y., Jiang, P., & Hu, Y. F. (2014). A snake-based scheme for path planning and control with constraints by distributed visual sensors. Robotica, 32(4), 477-499. https://doi.org/10.1017/S0263574713000805

This paper proposes a robot navigation scheme using wireless visual sensors deployed in an environment. Different from the conventional autonomous robot approaches, the scheme intends to relieve massive on-board information processing required by a r... Read More about A snake-based scheme for path planning and control with constraints by distributed visual sensors.

Real-time target detection and tracking: A comparative in-depth review of strategies (2013)
Journal Article
Iqbal, J., Pasha, M., Riaz-un-Nabi, Khan, H., & Iqbal, J. (2013). Real-time target detection and tracking: A comparative in-depth review of strategies. Life science journal, 10(3), 804-813

This survey reports the approaches for object detection and successful target tracking based on image acquisition for real time applications. Moving target detection and its tracking is an important research topic in computer vision and robotics. Com... Read More about Real-time target detection and tracking: A comparative in-depth review of strategies.

A novel track-drive mobile robotic framework for conducting projects on robotics and control systems (2013)
Journal Article
Iqbal, J., Riaz un Nabi, S., Attayyab Khan, A., & Khan, H. (2013). A novel track-drive mobile robotic framework for conducting projects on robotics and control systems. Life science journal, 10(3), 130-137

This paper presents a novel robotic framework to help students to practically grasp the concepts of Robotics and Control Systems in a laboratory environment. The framework is centered on a robotic rover having two tank-like tracks which permit locomo... Read More about A novel track-drive mobile robotic framework for conducting projects on robotics and control systems.

Computer vision inspired real-time autonomous moving target detection, tracking and locking (2013)
Journal Article
Iqbal, J., Pasha, S. M., Baizid, K., Khan, A. A., & Iqbal, J. (2013). Computer vision inspired real-time autonomous moving target detection, tracking and locking. Life science journal, 10(4), 3338-3345

Moving object analysis is one of the most important and challenging research subjects in computer vision, video processing and robotics. This analysis is three folds: object detection followed by its tracking and locking. Today's applications demand... Read More about Computer vision inspired real-time autonomous moving target detection, tracking and locking.

Formal verification and validation of embedded systems: the UML-based MADES approach (2013)
Journal Article
Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., Radjenovic, A., & Rossi, M. (2015). Formal verification and validation of embedded systems: the UML-based MADES approach. Software and systems modeling, 14(1), 343-363. https://doi.org/10.1007/s10270-013-0330-z

© 2013, Springer-Verlag Berlin Heidelberg. Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have t... Read More about Formal verification and validation of embedded systems: the UML-based MADES approach.

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.

Fuzzy rule-based system applied to risk estimation of cardiovascular patients (2013)
Journal Article
Bohacik, J., & Davis, D. N. (2013). Fuzzy rule-based system applied to risk estimation of cardiovascular patients. Journal of Multiple-Valued Logic and Soft Computing, 20(5-6), 445-466

Cardiovascular decision support is one area of increasing research interest. On-going collaborations between clinicians and computer scientists are looking at the application of knowledge discovery in databases to the area of patient diagnosis, based... Read More about Fuzzy rule-based system applied to risk estimation of cardiovascular patients.

Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support (2013)
Book Chapter
Al-Qora'n, L., Sharvia, S., Papadopoulos, Y., & Gordon, N. (2013). Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support. In Global Telemedicine and eHealth Updates: Knowledge Resources (527 - 531). International Society for Telemedicine & eHealth

Home Telehealth systems are used to help in the management of chronic conditions by patients themselves. Effective safety analysis tools are needed to ensure reliability and safety of these high risk systems. We hereby explain how Hierarchically-Perf... Read More about Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support.