Generation of model-based safety arguments from automatically allocated safety integrity levels
(2017)
Thesis
Sorokos, I. (2017). Generation of model-based safety arguments from automatically allocated safety integrity levels. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4222118
To certify safety-critical systems, assurance arguments linking evidence of safety to appropriate requirements must be constructed. However, modern safety-critical systems feature increasing complexity and integration, which render manual approaches... Read More about Generation of model-based safety arguments from automatically allocated safety integrity levels.