Behavioral Aspects of Safety-Critical Software Development.

Per Lenberg Robert Feldt Lars Göran Wallgren Tengberg Lucas Gren

Published in: ICSE (Workshops) (2020)

Keyphrases

safety critical
software development
formal methods
software engineering
safety analysis
embedded systems
fault tolerant
agent architecture
nuclear power plant
software systems
software architecture
development process
real time
regulatory requirements
load balancing
support systems
distributed systems
open source