Title | ||
---|---|---|
Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap |
Abstract | ||
---|---|---|
In this paper we discuss issues in the development of formal methods for use in aerospace applications, reflecting our experience in working with both Rolls-Royce and British Aerospace. We discuss some of the key factors which we believe govern the application of discrete mathematics to aerospace applications, drawing comparisons with applied engineering mathematics in other domains.We give an overview of three projects (the three "small steps"):+ The development of a domain-specific language for aircraft engine control system specification; + The development of a formal semantics and tool support for state transition systems to facilitate analysis of specifications produced by systems engineers; + The use of formalisms in support of test automation. We then discuss the "gap" we see between the needs of industry and the current focus of the formal methods research community by pointing out important facets of industrially applicable formal methods which are not receiving adequate attention. We refer to this as a "giant leap" due to the need for a cultural shift in the research community, and the need for a coherent approach to the identified research issues rather than piecemeal studies of the issues.Our conclusions are to be optimistic for the future use of formal methods in industry, albeit with concern that their potential will not be realised unless there is a shift in emphasis within the research community. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1109/ICFEM.1998.730572 | ICFEM |
Keywords | Field | DocType |
automatic control,formal specification,system engineering,aerospace engineering,domain specific language,engineering drawings,discrete mathematics,control systems,formal method,mathematics,domain specific languages,aerospace industry,formal semantics | Aerospace,Applied engineering,Software engineering,Engineering management,Computer science,Theoretical computer science,Automation,Formal specification,Formal methods,Formalism (philosophy),State transition systems,Semantics of logic | Conference |
ISBN | Citations | PageRank |
0-8186-9198-0 | 10 | 0.76 |
References | Authors | |
22 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
John A. Mcdermid | 1 | 832 | 145.28 |
Andy Galloway | 2 | 177 | 18.25 |
Simon Burton | 3 | 45 | 5.64 |
John A. Clark | 4 | 926 | 68.87 |
Ian Toyn | 5 | 10 | 0.76 |
Nigel Tracey | 6 | 188 | 13.67 |
Samuel H. Valentine | 7 | 62 | 10.14 |