Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture;...

Full description

Bibliographic Details
Main Author: Westman, Jonas
Format: Doctoral Thesis
Language:English
Published: KTH, Mekatronik 2016
Subjects:
Contracts
Heterogeneous Systems
Safety
Architecture
Requirements
Specification
Elements
Compositional
IEC 61508
ISO 26262
Kontrakt
Heterogena System
Säkerhet
Arkitektur
Kravhantering
Specifiering
Element
Kompositionell
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-192150
http://nbn-resolving.de/urn:isbn:978-91-7729-106-0

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-192150
http://nbn-resolving.de/urn:isbn:978-91-7729-106-0

Similar Items