Skip to main content

Research Repository

Advanced Search

All Outputs (11)

Model transformation for analyzing dependability of AADL model by using HiP-HOPS (2019)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Mahmud, N. (2019). Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Journal of Systems and Software, 151, 258-282. https://doi.org/10.1016/j.jss.2019.02.019

The Architecture Analysis and Design Language (AADL) has emerged as a potential future standard in aerospace, automobile and avionics industries for model-based development of dependability-critical systems. As AADL is relatively new, some existing a... Read More about Model transformation for analyzing dependability of AADL model by using HiP-HOPS.

A dependability modeling and analysis approach for an IoP-based service system (2018)
Conference Proceeding
Mian, Z., Bottaci, L., Jiang, J., He, J., Yu, Q., & Wang, X. (2018). A dependability modeling and analysis approach for an IoP-based service system. In IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) (2036-2041). https://doi.org/10.1109/SmartWorld.2018.00341

The increasing use of the internet of people (IoP) based service systems has the potential to bring about substantial benefits to individuals. An IoP-based service system includes components such as cell phones, wearable devices, smart homes, cars et... Read More about A dependability modeling and analysis approach for an IoP-based service system.

A synthesis of logic and bio-inspired techniques in the design of dependable systems (2016)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., …Sorokos, I. (2016). A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control, 41, 170-182. https://doi.org/10.1016/j.arcontrol.2016.04.008

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecast... Read More about A synthesis of logic and bio-inspired techniques in the design of dependable systems.

Model transformation for multi-objective architecture optimisation of dependable systems (2015)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., & Mahmud, N. (2015). Model transformation for multi-objective architecture optimisation of dependable systems. Advances in Intelligent Systems and Computing, 307, 91-110. https://doi.org/10.1007/978-3-319-08964-5_6

The promise of model-based engineering is that by use of an integrated and coherent system model both functional and non-functional requirements may be analysed, implemented and tested in a rigorous and cost-effective manner. An important part of mod... Read More about Model transformation for multi-objective architecture optimisation of dependable systems.

Model transformation for multi-objective architecture optimisation for dependable systems (2014)
Thesis
Mian, Z. (2014). Model transformation for multi-objective architecture optimisation for dependable systems. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4216353

Model-based engineering (MBE) promises a number of advantages for the development of embedded systems. Model-based engineering depends on a common model of the system, which is refined as the system is developed. The use of a common model promises a... Read More about Model transformation for multi-objective architecture optimisation for dependable systems.

Mutation analysis of dynamically typed programs (2013)
Thesis
Abu Hashish, N. (2013). Mutation analysis of dynamically typed programs. (Thesis). University of Hull. Retrieved from 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.

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. (2012). System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 45(6), 1647-1652. https://doi.org/10.3182/20120523-3-RO-2023.00334

The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and d... Read More about System dependability modelling and analysis using AADL and HiP-HOPS.

Using program data-state scarcity to guide automatic test data generation (2009)
Journal Article
Alshraideh, M., Bottaci, L., & Mahafzah, B. A. (2010). Using program data-state scarcity to guide automatic test data generation. Software quality journal, 18(1), 109-144. https://doi.org/10.1007/s11219-009-9083-x

Finding test data to cover structural test coverage criteria such as branch coverage is largely a manual and hence expensive activity. A potential low cost alternative is to generate the required test data automatically. Search-based test data genera... Read More about Using program data-state scarcity to guide automatic test data generation.

Predicting cardiovascular risks using pattern recognition and data mining. (2009)
Thesis
Nguyen, T. T. T. (2009). Predicting cardiovascular risks using pattern recognition and data mining. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4209582

This thesis presents the use of pattern recognition and data mining techniques into risk prediction models in the clinical domain of cardiovascular medicine. The data is modelled and classified by using a number of alternative pattern recognition and... Read More about Predicting cardiovascular risks using pattern recognition and data mining..

Use of program and data-specific heuristics for automatic software test data generation (2007)
Thesis
Alshraideh, M. (2007). Use of program and data-specific heuristics for automatic software test data generation. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4217477

The application of heuristic search techniques, such as genetic algorithms, to the problem of automatically generating software test data has been a growing interest for many researchers in recent years. The problem tackled by this thesis is the deve... Read More about Use of program and data-specific heuristics for automatic software test data generation.

Application of artificial intelligence techniques to probeless fault diagnosis of printed circuit boards (1994)
Thesis
Arslan, T. S. (1994). Application of artificial intelligence techniques to probeless fault diagnosis of printed circuit boards. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4223811

This thesis describes investigations which led to the development of a failure diagnosis expert system for printed circuit boards which exploits functional test data. The boards considered are highly complex mixed signal (analogue and digital) system... Read More about Application of artificial intelligence techniques to probeless fault diagnosis of printed circuit boards.