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 originale | Anglais |
|---|---|
| titre | Proceedings of the ACM Symposium on Applied Computing |
| Lieu de publication | New York, NY, USA |
| Editeur | ACM Press |
| Pages | 1080-1085 |
| Nombre de pages | 6 |
| ISBN (imprimé) | 9781450324694 |
| Les DOIs | |
| état | Publié - 24 mars 2014 |
| Evénement | 29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Corée du Sud Durée: 24 mars 2014 → 28 mars 2014 |
Une conférence
| Une conférence | 29th Annual ACM Symposium on Applied Computing, SAC 2014 |
|---|---|
| Pays | Corée du Sud |
| La ville | Gyeongju |
| période | 24/03/14 → 28/03/14 |
Empreinte digitale
Citer ceci
}
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érence › Article 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 -