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

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

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.

langue originaleAnglais
titreProceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016
EditeurInstitute of Electrical and Electronics Engineers Inc.
Pages1328-1333
Nombre de pages6
ISBN (Electronique)9781509026050
Les DOIs
étatPublié - 19 oct. 2016
Evénement11th IEEE Conference on Industrial Electronics and Applications, ICIEA 2016 - Hefei, Chine
Durée: 5 juin 20167 juin 2016

Une conférence

Une conférence11th IEEE Conference on Industrial Electronics and Applications, ICIEA 2016
PaysChine
La villeHefei
période5/06/167/06/16

Empreinte digitale

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

Citer ceci

Kang, E. Y., Chen, J., Ke, L., & Chen, S. (2016). Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow. Dans Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016 (p. 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. p. 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. Dans Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016., 7603790, Institute of Electrical and Electronics Engineers Inc., p. 1328-1333, 11th IEEE Conference on Industrial Electronics and Applications, ICIEA 2016, Hefei, Chine, 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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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

AN - SCOPUS:84997112230

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. Dans 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