Schedulability analysis support for automotive systems

From requirement to implementation

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

69 Downloads (Pure)

Résumé

Modeling and analysis of precise non-functional properties, such as energy and timing constraints, is key to the correct development of automotive systems. Automotive applications development cost, in particular, is impacted by incorrect design made at the early development phases but only detected later, often after implementation. This late detection of design errors leads to additional cost. In this paper, we propose a model driven approach to perform nonfunctional properties verification and to enable scheduling analysis of automotive systems at the very early design level. The different phases of a design range from the requirements to a model allocated on a specific execution platform: EAST-ADL and MARTE are used together to specify the structure and energy/timing constraints of the software, as well as the hardware parts of the system. To prove the correctness of specification and perform the scheduling analysis, the semantics of the constraints is given as mapping to a formal interchange format XFG (eXtended Function-block Graphs) language. The XFG models are then automatically translated into priced timed automata for model checking. This later transformation is supported by a tool chain called A-BeTA. We demonstrate the applicability of our approach on the Brake-By-Wire case study.

langue originaleAnglais
titreProceedings of the ACM Symposium on Applied Computing
Lieu de publicationNew York, NY, USA
EditeurACM Press
Pages1080-1085
Nombre de pages6
ISBN (imprimé)9781450324694
Les DOIs
étatPublié - 24 mars 2014
Evénement29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Corée du Sud
Durée: 24 mars 201428 mars 2014

Une conférence

Une conférence29th Annual ACM Symposium on Applied Computing, SAC 2014
PaysCorée du Sud
La villeGyeongju
période24/03/1428/03/14

Empreinte digitale

Scheduling
Interchanges
Model checking
Brakes
Costs
Semantics
Wire
Specifications
Hardware

Citer ceci

Kang, E-Y., & Schobbens, P. Y. (2014). Schedulability analysis support for automotive systems: From requirement to implementation. Dans Proceedings of the ACM Symposium on Applied Computing (p. 1080-1085). New York, NY, USA: ACM Press. https://doi.org/10.1145/2554850.2554929
Kang, Eun-Young ; Schobbens, Pierre Yves. / Schedulability analysis support for automotive systems : From requirement to implementation. Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA : ACM Press, 2014. p. 1080-1085
@inproceedings{34d386c5e8894bca9c340683210b5f29,
title = "Schedulability analysis support for automotive systems: From requirement to implementation",
abstract = "Modeling and analysis of precise non-functional properties, such as energy and timing constraints, is key to the correct development of automotive systems. Automotive applications development cost, in particular, is impacted by incorrect design made at the early development phases but only detected later, often after implementation. This late detection of design errors leads to additional cost. In this paper, we propose a model driven approach to perform nonfunctional properties verification and to enable scheduling analysis of automotive systems at the very early design level. The different phases of a design range from the requirements to a model allocated on a specific execution platform: EAST-ADL and MARTE are used together to specify the structure and energy/timing constraints of the software, as well as the hardware parts of the system. To prove the correctness of specification and perform the scheduling analysis, the semantics of the constraints is given as mapping to a formal interchange format XFG (eXtended Function-block Graphs) language. The XFG models are then automatically translated into priced timed automata for model checking. This later transformation is supported by a tool chain called A-BeTA. We demonstrate the applicability of our approach on the Brake-By-Wire case study.",
keywords = "EAST-ADL, Embedded real-time systems, MARTE, MBD, Model-checking",
author = "Eun-Young Kang and Schobbens, {Pierre Yves}",
year = "2014",
month = "3",
day = "24",
doi = "10.1145/2554850.2554929",
language = "English",
isbn = "9781450324694",
pages = "1080--1085",
booktitle = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "ACM Press",
address = "United States",

}

Kang, E-Y & Schobbens, PY 2014, Schedulability analysis support for automotive systems: From requirement to implementation. Dans Proceedings of the ACM Symposium on Applied Computing. ACM Press, New York, NY, USA, p. 1080-1085, 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, Corée du Sud, 24/03/14. https://doi.org/10.1145/2554850.2554929

Schedulability analysis support for automotive systems : From requirement to implementation. / Kang, Eun-Young; Schobbens, Pierre Yves.

Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA : ACM Press, 2014. p. 1080-1085.

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 - Schedulability analysis support for automotive systems

T2 - From requirement to implementation

AU - Kang, Eun-Young

AU - Schobbens, Pierre Yves

PY - 2014/3/24

Y1 - 2014/3/24

N2 - Modeling and analysis of precise non-functional properties, such as energy and timing constraints, is key to the correct development of automotive systems. Automotive applications development cost, in particular, is impacted by incorrect design made at the early development phases but only detected later, often after implementation. This late detection of design errors leads to additional cost. In this paper, we propose a model driven approach to perform nonfunctional properties verification and to enable scheduling analysis of automotive systems at the very early design level. The different phases of a design range from the requirements to a model allocated on a specific execution platform: EAST-ADL and MARTE are used together to specify the structure and energy/timing constraints of the software, as well as the hardware parts of the system. To prove the correctness of specification and perform the scheduling analysis, the semantics of the constraints is given as mapping to a formal interchange format XFG (eXtended Function-block Graphs) language. The XFG models are then automatically translated into priced timed automata for model checking. This later transformation is supported by a tool chain called A-BeTA. We demonstrate the applicability of our approach on the Brake-By-Wire case study.

AB - Modeling and analysis of precise non-functional properties, such as energy and timing constraints, is key to the correct development of automotive systems. Automotive applications development cost, in particular, is impacted by incorrect design made at the early development phases but only detected later, often after implementation. This late detection of design errors leads to additional cost. In this paper, we propose a model driven approach to perform nonfunctional properties verification and to enable scheduling analysis of automotive systems at the very early design level. The different phases of a design range from the requirements to a model allocated on a specific execution platform: EAST-ADL and MARTE are used together to specify the structure and energy/timing constraints of the software, as well as the hardware parts of the system. To prove the correctness of specification and perform the scheduling analysis, the semantics of the constraints is given as mapping to a formal interchange format XFG (eXtended Function-block Graphs) language. The XFG models are then automatically translated into priced timed automata for model checking. This later transformation is supported by a tool chain called A-BeTA. We demonstrate the applicability of our approach on the Brake-By-Wire case study.

KW - EAST-ADL

KW - Embedded real-time systems

KW - MARTE

KW - MBD

KW - Model-checking

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

U2 - 10.1145/2554850.2554929

DO - 10.1145/2554850.2554929

M3 - Conference contribution

SN - 9781450324694

SP - 1080

EP - 1085

BT - Proceedings of the ACM Symposium on Applied Computing

PB - ACM Press

CY - New York, NY, USA

ER -

Kang E-Y, Schobbens PY. Schedulability analysis support for automotive systems: From requirement to implementation. Dans Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press. 2014. p. 1080-1085 https://doi.org/10.1145/2554850.2554929