Formal Model-Driven Engineering: Generating Data and Behavioral Components
Liviu Gabriel Cretu, Florin Dumitriu · Apple Academic Press eBooks · 2014
Our society is increasingly dependent upon the behaviour of complex software systems. Errors in the design and implementation of these systems can have significant consequences. In August 2012, a ‘fairly major bug’ in the trading software used by Knight Capital Group lost that firm $461m in 45 minutes [15]. A software glitch in the anti-lock braking system caused Toyota to recall more than 400,000 vehicles in 2010 [25]; the total cost to the company of this and other software-related recalls in the same period is estimated at $3bn. In October 2008, 103 people were injured, 12 of them seriously, when a Qantas airliner [3] dived repeatedly as the fly-bywire software responded inappropriately to data from inertial reference sensors. A modern car contains the product of over 100 million lines of source code [4], and in the aerospace industry, it has been claimed that “the current development process is reaching the limit of affordability of building safe aircraft” [10]. The solution to the problems of increasing software complexity lies in the automatic generation of correct, lowerlevel software from higher-level descriptions: precise models of structure and functionality.