Modeling Real-Time System Performance with Respect to Scheduling Analysis

被引：0

作者：

Han, Fenglin ^{[1
]}

Herrmann, Peter ^{[1
]}

机构：

[1] Norwegian Univ Sci & Technol, Dept Telemat, N-7034 Trondheim, Norway

来源：

2013 INTERNATIONAL JOINT CONFERENCE ON AWARENESS SCIENCE AND TECHNOLOGY & UBI-MEDIA COMPUTING (ICAST-UMEDIA) | 2013年

关键词：

Real-time embedded systems; SPACE; performance evaluation; UML; timed automata;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The development and analysis of embedded realtime system is complex due to its platform and application dependencies. To tackle this complexity, we amended the modelbased engineering method SPACE to enable also the modeling, simulation and verification of real-time properties of reactive systems. In this paper, we present a further extension making performance estimations and schedulability analysis of reactive real-time building blocks possible. First, a performance profile for evaluating real-time tasks of a building block is outlined. Second, we present the schedulability analysis of a high level real-time system which is carried out by transforming real-time interface descriptions to timed automata that are composed with automata simulating hardware and scheduling policies.

引用

页码：663 / 670

页数：8

共 33 条

[1]

Aceto L, 1998, LECT NOTES COMPUT SC, V1384, P263, DOI 10.1007/BFb0054177

[2] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

[3]

Alur R., 1990, Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science (90CH2897-7), P414, DOI 10.1109/LICS.1990.113766

[4] A software component quality model: A preliminary evaluation [J].

Alvaro, Alexandre ;

de Almeida, Eduardo Santana ;

Meira, Silvio Lemos .

32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, :28-+

[5]

Amnell T, 2003, LECT NOTES COMPUT SC, V2791, P60

[6]

[Anonymous], P 6 INT WORKSH JAV T

[7]

Bengtsson J., 1996, UPPAAL TOOL SUITE VA

[8] Implementation of Coloured Stochastic Activity Networks within the PDETool Framework [J].

Bidgoly, Amir Jalaly ;

Khalili, Ali ;

Azgomi, Mohammad Abdollahi .

2009 THIRD ASIA INTERNATIONAL CONFERENCE ON MODELLING & SIMULATION, VOLS 1 AND 2, 2009, :710-715

[9]

Constazltinescu C., 1994, Proceedings of the IEEE Workshop on Real-Time Applications (Cat. No.94TH0663-5), P142, DOI 10.1109/RTA.1994.316162

[10]

Feller W., 1968, INTRO PROBABILITY TH

← 1 2 3 4 →