Skip to main content
SpringerLink
Log in

Leveraging Semi-formal Approaches for DepDevOps

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops (SAFECOMP 2020)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12235))

Included in the following conference series:

Abstract

While formal methods have long been praised by the dependable Cyber-Physical System community, continuous software engineering practices are now employing or promoting semi-formal approaches for achieving lean and agile processes. This paper is a discussion about using Behaviour Driven Development, particularly Gherkin and RSpec for DepDevOps, DevOps for dependable Cyber-Physical Systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://gitlab.tu-clausthal.de/aeronautical-informatics/otaws.

  2. 2.

    https://github.com/rust-rspec/rspec.

  3. 3.

    https://github.com/bbqsrc/cucumber-rust.

References

  1. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)

    Article  Google Scholar 

  2. Barroca, L.M., McDermid, J.A.: Formal methods: use and relevance for the development of safety-critical systems. Comput. J. 35(6), 579–599 (1992)

    Article  Google Scholar 

  3. Bass, L., Weber, I., Zhu, L.: DevOps: A Software Architect’s Perspective. Addison-Wesley Professional, Boston (2015)

    Google Scholar 

  4. Black, S., Boca, P.P., Bowen, J.P., Gorman, J., Hinchey, M.: Formal versus agile: survival of the fittest. Computer 42(9), 37–45 (2009)

    Article  Google Scholar 

  5. Bowen, J.P., Stavridou, V.: Formal methods and software safety. In: 1992 Safety of Computer Control Systems (SAFECOMP 1992), pp. 93–98. Elsevier (1992)

    Google Scholar 

  6. Chelimsky, D., Astels, D., Helmkamp, B., North, D., Dennis, Z., Hellesoy, A.: The RSpec Book: Behaviour Driven Development with Rspec. Cucumber, and Friends, Pragmatic Bookshelf 3, 25 (2010)

    Google Scholar 

  7. Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. (CSUR) 28(4), 626–643 (1996)

    Article  Google Scholar 

  8. Ebert, C., Gallardo, G., Hernantes, J., Serrano, N.: DevOps. IEEE Softw. 33(3), 94–100 (2016)

    Article  Google Scholar 

  9. Eleftherakis, G., Cowling, A.J.: An agile formal development methodology. In: Proceedings of the 1st South-East European Workshop on Formal Methods, pp. 36–47 (2003)

    Google Scholar 

  10. Evans, E.: Domain-Driven Design: Tackling Complexity in the Heart of Software. Addison-Wesley Professional, Boston (2004)

    Google Scholar 

  11. Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-Physical Systems design: formal foundations, methods and integrated tool chains. In: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, pp. 40–46. IEEE (2015)

    Google Scholar 

  12. Gerhart, S., Craigen, D., Ralston, T.: Experience with formal methods in critical systems. IEEE Softw. 11(1), 21–28 (1994)

    Article  Google Scholar 

  13. McDermid, J.A.: Formal methods: use and relevance for the development of safety-critical systems. In: Safety Aspects of Computer Control, pp. 96–153. Elsevier (1993)

    Google Scholar 

  14. Okolnychyi, A., Fögen, K.: A study of tools for behavior-driven development. In: Full-Scale Software Engineering/Current Trends in Release Engineering, p. 7 (2016)

    Google Scholar 

  15. RTCA: DO-178C software considerations in airborne systems and equipment certification. RTCA (2011)

    Google Scholar 

  16. RTCA: DO-367 minimum operational performance standards (MOPS) for terrain awareness and warning systems (TAWS) airborne equipment. RTCA (2017)

    Google Scholar 

  17. Rushby, J., Underst, F.B.S., Stankovic, J.A.: Formal methods for dependable real-time systems (1992)

    Google Scholar 

  18. Seshia, S.A.: New frontiers in formal methods: learning, cyber-physical systems, education, and beyond. CSI J. Comput. 2(4), R1 (2015)

    Google Scholar 

  19. Thomas, M.: The role of formal methods in achieving dependable software. Reliab. Eng. Syst. Saf. 43(2), 129–134 (1994)

    Article  Google Scholar 

  20. Uzlu, T., Şaykol, E.: On utilizing rust programming language for Internet of Things. In: 2017 9th International Conference on Computational Intelligence and Communication Networks (CICN), pp. 93–96, September 2017. https://doi.org/10.1109/CICN.2017.8319363

  21. Wolff, S.: Scrum goes formal: agile methods for safety-critical systems. In: 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), pp. 23–29. IEEE (2012)

    Google Scholar 

  22. Wynne, M., Hellesoy, A., Tooke, S.: The Cucumber Book: Behaviour-Driven Development for Testers and Developers. Pragmatic Bookshelf (2017)

    Google Scholar 

  23. Yackel, R.: BDD in DevOps: an example of BDD in continuous integration. https://www.qasymphony.com/blog/bdd-devops-example-bdd-continuous-integration/. Accessed 20 May 2020

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal Zellerfeld, Germany

    Wanja Zaeske & Umut Durak

  2. Institute of Flight Systems, German Aerospace Center (DLR), Lilienthalplatz 7, 38108, Braunschweig, Germany

    Umut Durak

Authors
  1. Wanja Zaeske
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Umut Durak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Umut Durak .

Editor information

Editors and Affiliations

  1. University of Lisbon, Lisbon, Portugal

    António Casimiro

  2. Otto-von-Guericke University, Magdeburg, Germany

    Frank Ortmeier

  3. Austrian Institute of Technology, Vienna, Austria

    Erwin Schoitsch

  4. Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

  5. University of Lisbon, Lisbon, Portugal

    Pedro Ferreira

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zaeske, W., Durak, U. (2020). Leveraging Semi-formal Approaches for DepDevOps. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops. SAFECOMP 2020. Lecture Notes in Computer Science(), vol 12235. Springer, Cham. https://doi.org/10.1007/978-3-030-55583-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-55583-2_16

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-55582-5

  • Online ISBN: 978-3-030-55583-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation