Incremental Construction of Large Specifications: Case Study and Techniques
Incremental Construction of Large Specifications: Case Study and Techniques
The RODIN project is an EU-funded project concerned with the provision of methods and tools for rigorous development of complex software-based systems. Ultimately, through the development of open-source tools and techniques, the project aims to make formal methods more appealing and accessible to industry. The project is driven by a number of case studies, each of which is designed to exercise the technology being developed and create methodologies for the future. In this paper we focus on the methodologies being developed in one of the case studies (the CDIS subset). This case study is based on a commercial air traffic information system that was developed using formal methods 14 years ago, and it is still in operation today. The key goals of our approach are to improve the comprehensibility of large specifications and to achieve a complete mechanical proof of consistency.
Evans, Neil
65fb759c-7b27-4d36-84ce-3ba5c3c9b9de
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
2006
Evans, Neil
65fb759c-7b27-4d36-84ce-3ba5c3c9b9de
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Evans, Neil and Butler, Michael
(2006)
Incremental Construction of Large Specifications: Case Study and Techniques
Record type:
Monograph
(Project Report)
Abstract
The RODIN project is an EU-funded project concerned with the provision of methods and tools for rigorous development of complex software-based systems. Ultimately, through the development of open-source tools and techniques, the project aims to make formal methods more appealing and accessible to industry. The project is driven by a number of case studies, each of which is designed to exercise the technology being developed and create methodologies for the future. In this paper we focus on the methodologies being developed in one of the case studies (the CDIS subset). This case study is based on a commercial air traffic information system that was developed using formal methods 14 years ago, and it is still in operation today. The key goals of our approach are to improve the comprehensibility of large specifications and to achieve a complete mechanical proof of consistency.
More information
Published date: 2006
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262734
URI: http://eprints.soton.ac.uk/id/eprint/262734
PURE UUID: c312824a-2686-42c5-a686-6aa08de4a4ff
Catalogue record
Date deposited: 20 Jun 2006
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Neil Evans
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics