Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems.
Marjan SirjaniLuciana ProvenzanoSara Abbaspour AsadollahMahshid Helali MoghadamMehrdad SaadatmandPublished in: J. Internet Serv. Appl. (2021)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- cyber physical systems
- support systems
- agent architecture
- model checking
- low cost
- knowledge based systems
- development process
- adaptive systems
- decision support
- intelligent agents
- real time
- formal specification
- multi agent systems
- case study
- e learning