Loading…
STPA-based Method to Identify and Control Feature Interactions in Large Complex Systems
This research develops and evaluates a new approach that can be applied during STPA Step 1 (identify Unsafe Control Actions) to efficiently identify complex feature interactions among multiple controllers that can result in dysfunctional system behavior. The new approach is applied and evaluated usi...
Saved in:
Published in: | Procedia engineering 2015, Vol.128, p.12-14 |
---|---|
Main Authors: | , |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites Items that cite this one |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | This research develops and evaluates a new approach that can be applied during STPA Step 1 (identify Unsafe Control Actions) to efficiently identify complex feature interactions among multiple controllers that can result in dysfunctional system behavior. The new approach is applied and evaluated using several automated automotive systems with an emphasis on controllers that may interact or interfere with each other directly or indirectly. The approach is shown to analyze hundreds of interactions with an order of magnitude less effort than has been possible previously. In addition, formal methods are applied to support reasoning about completeness and to enable tool assistance during the search for dysfunctional interactions. Humans are explicitly included as controllers that may interact with automated systems, and accident scenarios involving complex human interactions such as software-induced human errors can be identified. |
---|---|
ISSN: | 1877-7058 1877-7058 |
DOI: | 10.1016/j.proeng.2015.11.499 |