Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
Abstract Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. Cyber-physical systems are now in every corner of our lives, and we need robust methods for handling the ever-increasing complexity of their software systems. Mo...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SpringerOpen
2021-05-01
|
| Series: | Journal of Internet Services and Applications |
| Subjects: | |
| Online Access: | https://doi.org/10.1186/s13174-021-00132-z |