Lancaster EPrints

From Scenarios to Code: An Air Traffic Control Case Study.

Whittle, Jon and Saboo, Jyoti and Kwan, Richard (2005) From Scenarios to Code: An Air Traffic Control Case Study. Software and Systems Modeling, 4 (1). pp. 71-93. ISSN 1619-1366

Full text not available from this repository.

Abstract

There has been much recent interest in synthesis algorithms that generate finite state machines from scenarios of intended system behavior. One of the uses of such algorithms is in the transition from requirements scenarios to design. Despite much theoretical work on the nature of these algorithms, there has been very little work on applying the algorithms to practical applications. In this paper, we apply the Whittle & Schumann synthesis algorithm [32] to a component of an air traffic advisory system under development at NASA Ames Research Center. We not only apply the algorithm to generate state machine designs from scenarios but also show how to generate code from the generated state machines using existing commercial code generation tools. The results demonstrate the possibility of generating application code directly from scenarios of system behavior.

Item Type: Article
Journal or Publication Title: Software and Systems Modeling
Additional Information: This was the first paper to empirically validate techniques for synthesizing finite state machines from requirements scenarios. These synthesis techniques were the subject of great academic interest (including 6 ICSE workshops devoted to the topic) but no industrial validation existed before this paper. The empirical evaluation was undertaken in collaboration with NASA on a real-world air traffic control subsystem. An earlier, shorter version was published in 2003's ICSE. Publication of the case study in this paper led to at least a dozen workshop and conference papers which also used the case study in validation experiments. RAE_import_type : Journal article RAE_uoa_type : Computer Science and Informatics
Subjects: T Technology > T Technology (General)
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 2590
Deposited By: ep_importer
Deposited On: 28 Mar 2008 12:38
Refereed?: Yes
Published?: Published
Last Modified: 26 Jul 2012 16:27
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/2590

Actions (login required)

View Item