3 papers
cs.SE2018
Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment
Yang Wang, Stefan Wagner
Context: Agile development is in widespread use, even in safety-critical domains. Motivation: However, there is a lack of an ap- propriate safety analysis and verification method i…
cs.SE2018
Communication channels in safety analysis: An industrial exploratory case study
Yang Wang, Daniel Graziotin, Stefan Kriso +1
Context: Safety analysis is a predominant activity in developing safety-critical systems. It is a highly cooperative task among multiple functional departments due to increasingly…
cs.SE2016
The Scalability-Efficiency/Maintainability-Portability Trade-off in Simulation Software Engineering: Examples and a Preliminary Systematic Literature Review
Dirk Pflüger, Miriam Mehl, Julian Valentin +5
Large-scale simulations play a central role in science and the industry. Several challenges occur when building simulation software, because simulations require complex software de…