TY - GEN
T1 - Combining STPA and BDD for safety analysis and verification in agile development
AU - Wang, Yang
AU - Wagner, Stefan
N1 - Publisher Copyright:
© 2018 Authors.
PY - 2018/5/27
Y1 - 2018/5/27
N2 - Agile development is in widespread use, even in safety-critical domains. However, there is a lack of an appropriate safety analysis and verification method in agile development. In this poster, we propose the use of Behavior Driven Development for safety verification with System-Theoretic Process Analysis for safety analysis in agile development. It shows a good capability on communication effectiveness through a preliminary controlled experiment.
AB - Agile development is in widespread use, even in safety-critical domains. However, there is a lack of an appropriate safety analysis and verification method in agile development. In this poster, we propose the use of Behavior Driven Development for safety verification with System-Theoretic Process Analysis for safety analysis in agile development. It shows a good capability on communication effectiveness through a preliminary controlled experiment.
KW - Agile development
KW - safety verification
KW - Safety-critical systems
UR - http://www.scopus.com/inward/record.url?scp=85049694839&partnerID=8YFLogxK
U2 - 10.1145/3183440.3194973
DO - 10.1145/3183440.3194973
M3 - Conference contribution
AN - SCOPUS:85049694839
T3 - Proceedings - International Conference on Software Engineering
SP - 286
EP - 287
BT - Proceedings - International Conference on Software Engineering
PB - IEEE Computer Society
T2 - 40th ACM/IEEE International Conference on Software Engineering, ICSE 2018
Y2 - 27 May 2018 through 3 June 2018
ER -