%0 Journal Article %1 BRAUN200971 %A Braun, Peter %A Philipps, Jan %A Schätz, Bernhard %A Wagner, Stefan %D 2009 %J Electronic Notes in Theoretical Computer Science %K iste-se model-based myown safety safety-case %N 4 %P 71 - 77 %R https://doi.org/10.1016/j.entcs.2009.09.007 %T Model-Based Safety-Cases for Software-Intensive Systems %U http://www.sciencedirect.com/science/article/pii/S1571066109003624 %V 238 %X Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived.

@article{BRAUN200971, abstract = {Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived.}, added-at = {2018-06-13T11:26:11.000+0200}, author = {Braun, Peter and Philipps, Jan and Schätz, Bernhard and Wagner, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/212dbf923cc352778b6c211314fad6daa/wagnerst}, description = {Model-Based Safety-Cases for Software-Intensive Systems - ScienceDirect}, doi = {https://doi.org/10.1016/j.entcs.2009.09.007}, interhash = {a1e41c94ddb1982447000b0d54296abc}, intrahash = {12dbf923cc352778b6c211314fad6daa}, issn = {1571-0661}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {iste-se model-based myown safety safety-case}, note = {Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)}, number = 4, pages = {71 - 77}, timestamp = {2021-02-19T09:05:12.000+0100}, title = {Model-Based Safety-Cases for Software-Intensive Systems}, url = {http://www.sciencedirect.com/science/article/pii/S1571066109003624}, volume = 238, year = 2009 }