Towards model-driven development of hard real-time systems - Integrating ASCET and aiT/StackAnalyzer

被引：0

作者：

Ferdinand, Christian ^{[1
]}

Heckmann, Reinhold ^{[1
]}

Wolff, Hans-Joerg ^{[2
]}

Renz, Christian ^{[2
]}

Parshin, Oleg ^{[3
]}

Wilhelm, Reinhard ^{[3
]}

机构：

[1] AbsInt Angewandte Informat GmbH, Sci Pk 1, D-66123 Saarbrucken, Germany

[2] ETAS GmBH, D-70469 Stuttgart, Germany

[3] Univ Saarland, D-66041 Saarbrucken, Germany

来源：

MODEL-DRIVEN DEVELOPMENT OF RELIABLE AUTOMOTIVE SERVICES | 2008年 / 4922卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Software developers in the automotive sector must achieve high quality objectives. Many design and implementation errors are avoided by synthesizing code from model-based software specifications using automatic code generators such as ETAS' ASCET. To verify non-functional properties of the implementation, model-based design processes should be complemented with static program analysis tools like AbsInt's StackAnalyzer mid timing analyzer aiT. ASCET, StackAnalyzer and aiT can be integrated hi a way that the aiT/StackAnalyzer analysis results for code generated by ASCET are conveniently accessible from within the ASCET development environment. This gives ASCET users a direct feedback on the effects of their design decisions on resource usage, allowing them to select; more efficient designs and implementation methods. In the paper, we present the tools, the experimental integration, preliminary results and plans for further tool integration.

引用

页码：145 / +

页数：2

共 50 条

[41] Integrating hard and soft real-time communication in autonomous robot systems
Mock, M
Nett, E
IEICE TRANSACTIONS ON COMMUNICATIONS, 2000, E83B (05) : 1067 - 1074
[42] Towards Hard Real-Time Erlang
Nicosia, Vincenzo
ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP, 2007, : 29 - 36
[43] Markov model-driven in real-time faulty node detection for naval distributed control networked systems
Kim, Dong-Seong, 1600, Institute of Control, Robotics and Systems (20):
[44] Aspect-Oriented Model-Driven Engineering for FPGA/VHDL based Embedded Real-Time Systems
Leite, Marcela
Wehrmeister, Marco Aurelio
2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2014, : 261 - 268
[45] Towards a model-driven architecture for autonomic systems
Gracanin, D
Bohner, SA
Hinchey, M
11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 500 - 505
[46] Supporting the Model-Driven Development of Real-time Embedded Systems with Run-Time Monitoring and Animation via Highly Customizable Code Generation
Das, Nondini
Ganesan, Suchita
Jweda, Leo
Bagherzadeh, Mojtaba
Hili, Nicolas
Dingel, Juergen
19TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS'16), 2016, : 36 - 43
[47] Using models in real-time software design - Model-driven development based on the Unified Modeling Language
Selic, B
Motus, L
IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (03): : 31 - 42
[48] Enabling Model-Driven Schedulability Analysis in the Development of Distributed Component-Based Real-Time Applications
Lopez Martinez, Patricia
Drake, Jose M.
Medina, Julio L.
2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 109 - 112
[49] Integrating a Usability Model into Model-Driven Web Development Processes
Fernandez, Adrian
Insfran, Emilio
Abrahao, Silvia
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2009, PROCEEDINGS, 2009, 5802 : 497 - 510
[50] Model-driven systems development: an introduction
Lycett, Mark
Marcos, Esperanza
Storey, Veda
EUROPEAN JOURNAL OF INFORMATION SYSTEMS, 2007, 16 (04) : 346 - 348

← 1 2 3 4 5 →