Runtime observation of functional safety properties in an automotive control network
| Autor: | Donal Heffernan, Ciaran MacNamee |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Scheme (programming language)
Functional safety Exploit business.industry Computer science Runtime verification Automotive industry 020207 software engineering Control engineering 02 engineering and technology CAN bus Hardware and Architecture Embedded system Control system 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Observability business computer Software computer.programming_language |
| Zdroj: | Journal of Systems Architecture. 68:38-50 |
| ISSN: | 1383-7621 |
| DOI: | 10.1016/j.sysarc.2016.05.001 |
| Popis: | This paper exploits the observability of control messages in a control network to formally monitor safety properties to verify a control application's correct behaviour. A monitor scheme is proposed based on a runtime verification method, which can verify selected properties of an application's behaviour, including the verification of formally specified functional safety properties. A prototype hardware based circuit is developed to provide a monitor function. A case study example for an automotive gearbox control system is presented. The control application is evaluated in the target application environment, which is a controller area network (CAN) based network. The behaviour of the monitor is assessed and the results show that it is feasible to monitor and verify functional safety properties, as defined by the ISO 26262 standard for functional safety in road vehicles, using the proposed method. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect