Translating Timing Requirements of Embedded Software Systems Modeled in Simulink To A Timing Analysis Model

被引：0

作者：

Iyenghar, Padma ^{[1
]}

Noyer, Arne ^{[1
]}

Engelhardt, Joachim ^{[2
]}

Pulvermueller, Elke ^{[1
]}

机构：

[1] Univ Osnabrueck, Software Engn Res Grp, Osnabruck, Germany

[2] Univ Appl Sci, Inst Comp Engn, Osnabruck, Germany

来源：

2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA) | 2016年

关键词：

Model-Driven Timing analysis; Simulink; Embedded Software Engineering (ESE);

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In model-based Embedded Software Engineering (ESE), individual systems are modeled with chains of components that are translated to chains of tasks/runnables for a scheduling analysis. Early analysis of response time of such systems (e.g. end-to-end path delay) provides important feedback to understand how the function blocks/components in the system may actually behave. In this paper we report on work in progress pertaining to an overall workflow for model-driven specification, translation and validation of such timing constraints in ESE projects developed using Matlab/Simulink. The challenges addressed in this workflow and future directions are outlined.

引用

页数：4

共 50 条

[41] Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
Borde, Etienne
Rahmoun, Smail
Cadoret, Fabien
Pautet, Laurent
Singhoff, Frank
Dissaux, Pierre
[J]. PROCEEDINGS OF THE 2014 25TH IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2014, : 44 - 50
[42] Discrete Event Simulation and Analysis of Timing Problems in Automotive Embedded Systems
Lauer, Christoph
German, Reinhard
Pollmer, Jens
[J]. 2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, : 18 - 22
[43] Path clustering in software timing analysis
Wolf, F
Ernst, R
Ye, W
[J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2001, 9 (06) : 773 - 782
[44] A Model Checking based Software Requirements Specification Approach for Embedded Systems
Yang, Xiao
Chen, Xiaohong
Wang, Jiangtao
[J]. 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
[45] An Automated Software Verification Tool for Model-based Development of Embedded Systems with Simulink®
Boercsoek, Josef
Chaaban, Walid
Schwarz, Michael
Sheng, Huiyun
Sheleh, Oleksandr
Batchuluun, Batsuren
[J]. 2009 XXII INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES, 2009, : 45 - 50
[46] Timing Analysis for UAS Application Software
Hartsell, Charles
Karsai, Gabor
Lowry, Michael
[J]. 2018 IEEE AEROSPACE CONFERENCE, 2018,
[47] GameTime: A Toolkit for Timing Analysis of Software
Seshia, Sanjit A.
Kotker, Jonathan
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 388 - 392
[48] Towards a modular timing analysis of real-time software systems
deFigueiredo, JCA
Perkusich, A
[J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4442 - 4447
[49] Context-Sensitive Timing Simulation of Binary Embedded Software
Ottlik, Sebastian
Stattelmann, Stefan
Viehl, Alexander
Rosenstiel, Wolfgang
Bringmann, Oliver
[J]. 2014 INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURE AND SYNTHESIS FOR EMBEDDED SYSTEMS (CASES), 2014,
[50] Data timing schemes for software radio systems
Zhang, C
Luo, C
Su, X
Yao, Y
[J]. IEEE 54TH VEHICULAR TECHNOLOGY CONFERENCE, VTC FALL 2001, VOLS 1-4, PROCEEDINGS, 2001, : 2229 - 2233

← 1 2 3 4 5 →