Skip to main content

Research Repository

Advanced Search

All Outputs (4)

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

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.