research-article

Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project

Author:

Alexander RomanovskyAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 37, Issue 5

Pages 1 - 4

https://doi.org/10.1145/2347696.2347710

Published: 02 September 2012 Publication History

Abstract

The work of the major EU-funded ICT DEPLOY Integrated Project (February 2008 -- April 2012) on Industrial Deployment of Advanced\ System Engineering Methods for High Productivity and Dependability [1] was driven by the tasks of achieving and evaluating industrial takeup, initially by DEPLOY industrial partners, of DEPLOY methods and tools, together with the necessary further research on methods and tools. Our previous SEN paper [2] introduced the project. The project has been one of the most significant efforts ever focusing on understanding the issues researchers and engineers face during the deployment of formal methods. This paper briefly reports on the project legacy and provides pointers to the various sources of information produced by the project.

References

[1]

FP-7 DEPLOY Integrated Project: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. ICT-214158. http://deploy-project.eu

[2]

Romanovsky, A. DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. ACM SIGSOFT Software Engineering Notes 33(6): 1--3 (2008)

Digital Library

[3]

FP6 STREP RODIN project on Rigorous Open Development Environment for Complex Systems - http://rodin.cs.ncl.ac.uk/

[4]

Event-B and the Rodin Platform. http://www.event-b.org/

[5]

Abrial, J-R. Modeling in Event-B: System and Software Engineering. Cambridge University Press, May 2010.

Digital Library

[6]

http://research.nii.ac.jp/eventb2012

[7]

http://www.advance-ict.eu

[8]

http://safecap.cs.ncl.ac.uk

[9]

http://atc.ugr.es/recomp

[10]

http://wiki.event-b.org/index.php/Industrial_Projects

[11]

www.qnx.com/news/web_seminars/medical_device_software.html

[12]

http://www.rodintools.org/

[13]

http://www.event-b.org/abook.html

[14]

http://deploy-eprints.ecs.soton.ac.uk

[15]

http://wiki.event-b.org/index.php/Main_Page

[16]

http://handbook.event-b.org

[17]

http://www.fm4industry.org

[18]

http://sourceforge.net/projects/rodin-b-sharp

[19]

http://rodintools.org/dbook.html

Index Terms

Recommendations

DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability

The work of the new FP7 ICT DEPLOY Integrated Project (February 2008 -- January 2012) [1] is driven by the tasks of achieving and evaluating industrial take-up, initially by DEPLOY industrial partners, of DEPLOY methods and tools, together with the ...
Towards the Composition of Specifications in Event-B

The development of a system can start with the creation of a specification. Following this viewpoint, we claim that often a specification can be constructed from the combination of specifications which can be seen as composition. Event-B is a formal ...
Redevelopment of an industrial case study using event-B and Rodin
FACS-FMI'07: Proceedings of the 2007th internatioanal conference on Formal Methods in Industry

CDIS is a commercial air traffic information system that was developed using formal methods 15 years ago by Praxis, and it is still in operation today. This system is an example of an industrial scale system that has been developed using formal methods. ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 37, Issue 5

September 2012

129 pages

ISSN:0163-5948

DOI:10.1145/2347696

Issue’s Table of Contents

Copyright © 2012 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 September 2012

Published in SIGSOFT Volume 37, Issue 5

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
115
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents