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
Etat de la publicationPublié - 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 Examiner les sujets de recherche de « Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow ». Ensemble, ils forment une empreinte digitale unique.

  • Contient cette citation

    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