Facilitating Reuse of Safety Case Artefacts Using Safety Contracts
Safety-critical systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. Developing such systems to comply with a safety s...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Mälardalens högskola, Inbyggda system
2015
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-27906 http://nbn-resolving.de/urn:isbn:978-91-7485-213-4 |