Tell a friend
Print
Zaeske, Wanja and Durak, Umut (2020) Leveraging Semi-formal Approaches for DepDevOps. In: 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020. SAFECOMP 2020 Workshops, 2020-09-15 - 2020-09-18, Lisbon, Portugal. doi: 10.1007/978-3-030-55583-2_16. ISBN 978-3-030-55582-5. ISSN 0302-9743.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Only accessible within DLR
164kB |
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.
| Item URL in elib: | https://elib.dlr.de/139697/ | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Conference or Workshop Item (Speech) | ||||||||||||
| Title: | Leveraging Semi-formal Approaches for DepDevOps | ||||||||||||
| Authors: |
| ||||||||||||
| Date: | 2020 | ||||||||||||
| Journal or Publication Title: | 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020 | ||||||||||||
| Refereed publication: | Yes | ||||||||||||
| Open Access: | No | ||||||||||||
| Gold Open Access: | No | ||||||||||||
| In SCOPUS: | Yes | ||||||||||||
| In ISI Web of Science: | No | ||||||||||||
| DOI: | 10.1007/978-3-030-55583-2_16 | ||||||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||||||
| ISSN: | 0302-9743 | ||||||||||||
| ISBN: | 978-3-030-55582-5 | ||||||||||||
| Status: | Published | ||||||||||||
| Keywords: | Semi-formal approaches, Dependable systems, Agile | ||||||||||||
| Event Title: | SAFECOMP 2020 Workshops | ||||||||||||
| Event Location: | Lisbon, Portugal | ||||||||||||
| Event Type: | international Conference | ||||||||||||
| Event Start Date: | 15 September 2020 | ||||||||||||
| Event End Date: | 18 September 2020 | ||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||
| HGF - Program: | Aeronautics | ||||||||||||
| HGF - Program Themes: | fixed-wing aircraft | ||||||||||||
| DLR - Research area: | Aeronautics | ||||||||||||
| DLR - Program: | L AR - Aircraft Research | ||||||||||||
| DLR - Research theme (Project): | L - Concepts and Integration (old) | ||||||||||||
| Location: | Braunschweig | ||||||||||||
| Institutes and Institutions: | Institute of Flight Systems > Safety Critical Systems&Systems Engineering | ||||||||||||
| Deposited By: | Durak, Prof. Dr. Umut | ||||||||||||
| Deposited On: | 13 Jan 2021 10:00 | ||||||||||||
| Last Modified: | 24 Apr 2024 20:40 |
Repository Staff Only: item control page
