Dependability arguments with trusted bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of the system's components called trusted bases. This paper describes an idiom for modeling systems with trusted bases...
| Váldodahkkit: | , |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Artihkal |
| Giella: | en_US |
| Almmustuhtton: |
Institute of Electrical and Electronics Engineers
2011
|
| Liŋkkat: | http://hdl.handle.net/1721.1/62031 https://orcid.org/0000-0002-0194-3989 https://orcid.org/0000-0003-4864-078X |