Export 3 results:
Search results for biblio_year:2014
Filters: Author is Thierry Coq [Reset Search]
Filters: Author is Thierry Coq [Reset Search]
"Planning for Safety Evidence Collection: a Tool-Supported Approach Based on Modeling of Standards Compliance Information." IEEE Software pp (2011).
Simula.simula.182.pdf (630.37 KB)
A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies. Simula Research Laboratory, 2011.
Simula.simula.193.pdf (1.35 MB)
Characterizing the Chain of Evidence for Software Safety Cases: a Conceptual Model Based on the IEC 61508 Standard In Third IEEE International Conference on Software Testing, Verification and Validation (ICST), Edited by M. Gaudel, A. R. Cavalli and S. Ghosh. IEEE Computer Society, 2010.
Simula.se.687.pdf (792.84 KB)