Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow

Eun Young Kang, Jianda Chen, Liu Ke, Shangyu Chen

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

East-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified East-adl to include energy constraints and transformed energy-aware real-time behavioral constraints in East-adl into analyzable Uppaal models. In this paper, we extend our previous work by including support for Stateflow, which is used to design event-driven systems via hierarchical state machines and flow charts. However, Stateflow provides limited support for formal analysis and often suffers from incomplete coverage issues since it was originally designed for the simulation of designs and as such does not provide a model amenable to formal verification. We tackle that shortcoming by transforming Stateflow models into verifiable Uppaal models with stochastic semantics and integrating the translation with formal statistical analysis techniques: a flattening strategy and a set of mapping rules are proposed to facilitate the guarantee of translation. The analysis techniques, including the flattening and mapping strategy, are validated and demonstrated on the Fault-Tolerant Fuel Control case study.

Original languageEnglish
Title of host publicationProceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1328-1333
Number of pages6
ISBN (Electronic)9781509026050
DOIs
Publication statusPublished - 19 Oct 2016
Event11th IEEE Conference on Industrial Electronics and Applications, ICIEA 2016 - Hefei, China
Duration: 5 Jun 20167 Jun 2016

Conference

Conference11th IEEE Conference on Industrial Electronics and Applications, ICIEA 2016
CountryChina
CityHefei
Period5/06/167/06/16

Fingerprint

Statistical Analysis
Statistical methods
Real-time
Formal Analysis
Energy
Flow diagram
Hierarchical Systems
Case-control Study
Event-driven
Formal Verification
State Machine
Fault-tolerant
Embedded systems
Embedded Systems
Model
System Design
Coverage
Safety
Semantics
Systems analysis

Keywords

  • East-adl
  • Stateflow
  • Uppaal-SMC
  • Verification & Validation

Cite this

Kang, E. Y., Chen, J., Ke, L., & Chen, S. (2016). Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow. In Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016 (pp. 1328-1333). [7603790] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICIEA.2016.7603790
Kang, Eun Young ; Chen, Jianda ; Ke, Liu ; Chen, Shangyu. / Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow. Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 1328-1333
@inproceedings{49a04e09e7e548bab5bee8446e6b9bb8,
title = "Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow",
abstract = "East-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified East-adl to include energy constraints and transformed energy-aware real-time behavioral constraints in East-adl into analyzable Uppaal models. In this paper, we extend our previous work by including support for Stateflow, which is used to design event-driven systems via hierarchical state machines and flow charts. However, Stateflow provides limited support for formal analysis and often suffers from incomplete coverage issues since it was originally designed for the simulation of designs and as such does not provide a model amenable to formal verification. We tackle that shortcoming by transforming Stateflow models into verifiable Uppaal models with stochastic semantics and integrating the translation with formal statistical analysis techniques: a flattening strategy and a set of mapping rules are proposed to facilitate the guarantee of translation. The analysis techniques, including the flattening and mapping strategy, are validated and demonstrated on the Fault-Tolerant Fuel Control case study.",
keywords = "East-adl, Stateflow, Uppaal-SMC, Verification & Validation",
author = "Kang, {Eun Young} and Jianda Chen and Liu Ke and Shangyu Chen",
year = "2016",
month = "10",
day = "19",
doi = "10.1109/ICIEA.2016.7603790",
language = "English",
pages = "1328--1333",
booktitle = "Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

Kang, EY, Chen, J, Ke, L & Chen, S 2016, Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow. in Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016., 7603790, Institute of Electrical and Electronics Engineers Inc., pp. 1328-1333, 11th IEEE Conference on Industrial Electronics and Applications, ICIEA 2016, Hefei, China, 5/06/16. https://doi.org/10.1109/ICIEA.2016.7603790

Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow. / Kang, Eun Young; Chen, Jianda; Ke, Liu; Chen, Shangyu.

Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 1328-1333 7603790.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

TY - GEN

T1 - Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow

AU - Kang, Eun Young

AU - Chen, Jianda

AU - Ke, Liu

AU - Chen, Shangyu

PY - 2016/10/19

Y1 - 2016/10/19

N2 - East-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified East-adl to include energy constraints and transformed energy-aware real-time behavioral constraints in East-adl into analyzable Uppaal models. In this paper, we extend our previous work by including support for Stateflow, which is used to design event-driven systems via hierarchical state machines and flow charts. However, Stateflow provides limited support for formal analysis and often suffers from incomplete coverage issues since it was originally designed for the simulation of designs and as such does not provide a model amenable to formal verification. We tackle that shortcoming by transforming Stateflow models into verifiable Uppaal models with stochastic semantics and integrating the translation with formal statistical analysis techniques: a flattening strategy and a set of mapping rules are proposed to facilitate the guarantee of translation. The analysis techniques, including the flattening and mapping strategy, are validated and demonstrated on the Fault-Tolerant Fuel Control case study.

AB - East-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified East-adl to include energy constraints and transformed energy-aware real-time behavioral constraints in East-adl into analyzable Uppaal models. In this paper, we extend our previous work by including support for Stateflow, which is used to design event-driven systems via hierarchical state machines and flow charts. However, Stateflow provides limited support for formal analysis and often suffers from incomplete coverage issues since it was originally designed for the simulation of designs and as such does not provide a model amenable to formal verification. We tackle that shortcoming by transforming Stateflow models into verifiable Uppaal models with stochastic semantics and integrating the translation with formal statistical analysis techniques: a flattening strategy and a set of mapping rules are proposed to facilitate the guarantee of translation. The analysis techniques, including the flattening and mapping strategy, are validated and demonstrated on the Fault-Tolerant Fuel Control case study.

KW - East-adl

KW - Stateflow

KW - Uppaal-SMC

KW - Verification & Validation

UR - http://www.scopus.com/inward/record.url?scp=84997112230&partnerID=8YFLogxK

U2 - 10.1109/ICIEA.2016.7603790

DO - 10.1109/ICIEA.2016.7603790

M3 - Conference contribution

SP - 1328

EP - 1333

BT - Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Kang EY, Chen J, Ke L, Chen S. Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow. In Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016. Institute of Electrical and Electronics Engineers Inc. 2016. p. 1328-1333. 7603790 https://doi.org/10.1109/ICIEA.2016.7603790