Model-Based Development (MBD)

Welcome to Oyindamola Olajubu who has recently joined the Department of Computing and Immersive Technology, University of Northampton as a PhD researcher on a collaborative project  with GE Aviation Systems on Model-Based software development. A summary of the project can be found below.

Project Description

Model-Based Development (MBD) is seeing widespread adoption in a variety of domains within industry, especially in aviation. Industries around the world are reporting significant benefits from its use. However, the extent to which MBD can be used effectively in the software development lifecycle is unclear.

GE Aviation Systems primarily uses natural language (textual ‘shall’ statements) to express software requirements. These textual statements are often ambiguous, untestable, incorrect, missing detail, etc. Finding this out late in the development lifecycle proves very expensive. To this end, GE Aviation Systems has turned to MBD. They still use textual statements to express software requirements, but they supplement the requirements writing activity with modelling and simulation so that engineers gain a better understanding of the requirements and their faults. The models can then be refined and improved and serve as the Software Design artifacts that are used to auto-generate code. Currently, this means they have to write tests manually to test the design against the requirements. The study will investigate whether they could use models to express requirements and use those models to auto-generate test cases for testing the design model. This would then increase their productivity. To summarise, the research project will study the feasibility of model based tool support to capture requirements and automate requirements based testing.

Supervisors
Dr Suraj Ajit
Dr Mark Johnson
Dr Scott Turner