Outputs (748)

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. (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.

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.