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 条

[1] Model-Driven Development of Embedded Real-Time Systems
David, Alexandre
Nielsen, Brian
ERCIM NEWS, 2008, (75): : 19 - 20
[2] Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software
Cruz, Fabiano
Barreto, Raimundo
Cordeiro, Lucas
APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 308 - 314
[3] Model-driven development of real-time systems with UML 2.0 and C
Khan, Mohammad Ullah
Geihs, Kurt
Gutbrodt, Felix
Gohner, Peter
Trauter, Roland
JOINT MEETING OF THE FOURTH WORKSHOP ON MODEL-BASED DEVELOPMENT OF COMPUTER-BASED SYSTEMS AND THIRD INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2006, : 33 - +
[4] Monitoring Capabilities of Schedulers in Model-Driven Development of Real-Time Systems
Saadatmand, Mehrdad
Sjodin, Mikael
Mustafa, Naveed Ul
2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
[5] A Model-Driven Framework for the Development of Portable Real-time Embedded Systems
Chehade, W. El Hajj
Radermacher, A.
Terrier, F.
Selic, B.
Gerard, S.
2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 45 - 54
[6] Applying model-driven development to distributed real-time and embedded avionics systems
Balasubramanian, Krishnakumar
Krishna, Arvind S.
Turkay, Emre
Balasubramanian, Jaiganesh
Parsons, Jeff
Gokhale, Aniruddha
Schmidt, Douglas C.
INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2006, 2 (3-4) : 142 - 155
[7] The Fujaba real-time tool suite - Model-driven development of safety-critical, real-time systems
Burmester, S
Giese, H
Hirsch, M
Schilling, D
Tichy, M
ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 670 - 671
[8] Model-driven architecture for hard real-time systems:: From platform independent models to code
Burmester, S
Giese, H
Schäfer, W
MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2005, 3748 : 25 - 40
[9] Model-Driven Scheduling of Real-Time Tasks for Robotics Systems
Wigand, Dennis Leroy
Wrede, Sebastian
2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), 2019, : 46 - 53
[10] A model-driven approach with synchronous semantics for developing hard real-time WSNs
Ro, Jin Woo
Bhatti, Zeeshan E.
Roop, Partha S.
2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,

← 1 2 3 4 5 →