All Outputs (3)

Technology and risk considerations in shaping future drone legislation (2021)
Journal Article
Wright, S., & Studley, M. (2021). Technology and risk considerations in shaping future drone legislation. International Journal of Technology, Policy and Management, 21(2), 128-139. https://doi.org/10.1504/IJTPM.2021.116513

The global aviation industry has decades-old and highly successful legislation enforcing safety in conventional manned aerospace. This framework has been evolved gradually around a set of mature technologies with particular goals and implementations,... Read More about Technology and risk considerations in shaping future drone legislation.

Pulsed thermography digital motion stabilization for the unmanned vehicle inspection of solar farms and GFRP wind blades through UAVs and UGVs (2021)
Conference Proceeding
Urtasun, B., López De Uralde, P., Velar, K., Gorostegui, E., Neelov, J., Wright, S., …Basiri, M. (2021). Pulsed thermography digital motion stabilization for the unmanned vehicle inspection of solar farms and GFRP wind blades through UAVs and UGVs. In J. N. Zalameda, & A. Mendioroz (Eds.), . https://doi.org/10.1117/12.2585902

The quality control of structures and fuselages in both the wind-turbine and solar sectors is a fundamental part that allows a lifetime assessment of their elements, from its initial assembly to the recurring inspection cycles. Automating the active... Read More about Pulsed thermography digital motion stabilization for the unmanned vehicle inspection of solar farms and GFRP wind blades through UAVs and UGVs.

Systematic assessment of formal methods based models quality criteria (2021)
Conference Proceeding
Maldini, L., & Wright, S. (2021). Systematic assessment of formal methods based models quality criteria. In Advances in Model and Data Engineering in the Digitalization Era MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings (31-45). https://doi.org/10.1007/978-3-030-87657-9_3

When presented with two fully proved formal methods-based specifications, how can a System Engineer decide which is superior when both models specify the same requirements, but in two different ways? This paper investigates and propose a methodology... Read More about Systematic assessment of formal methods based models quality criteria.