A formalism for arrival time analysis of Real-Time tasks based on UML models

被引：0

作者：

Garousi, Vahid ^{[1
]}

机构：

[1] Univ Calgary, Dept Elect & Comp Engn, Software Qual Engn Res Grp SoftQual, Calgary, AB T2N 1N4, Canada

来源：

2008 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-4 | 2008年

关键词：

Real-Time systems; UML; arrival patterns; release times;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

One of the important and effort-consuming aspects in the development of Real-Time (RT) systems is the analysis of RT job arrival times, i.e., finding the time instant(s) or time interval(s) when tasks are allowed to start. The analysis of arrival times becomes complex when the number of RT tasks under analysis grows and also when RT tasks have different arrival patterns, e.g., periodic. We present in this paper an automatable UML-based arrival time analysis formalism for RT systems. To show the applicability and effectiveness of our formalism, an example arrival time analysis using the formalism is presented.

引用

页码：1505 / 1510

页数：6

共 50 条

[1] Schedulability Analysis Approach for UML-Based Real-Time Models
Gherbi, Abdelouahed
[J]. COMPUTER APPLICATIONS FOR SOFTWARE ENGINEERING, DISASTER RECOVERY, AND BUSINESS CONTINUITY, 2012, 340 : 194 - 201
[2] UML models for dependability analysis of real-time systems
Addouche, N
Antoine, C
Montmain, J
[J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5209 - 5214
[3] Arrival Times Model for Concurrent Real-time Tasks
Cruz Perez, Graduado Daniel
Medel Juarez, Jose de Jesus
Guevara Lopez, Pedro
[J]. COMPUTACION Y SISTEMAS, 2009, 12 (04): : 460 - 474
[4] Slicing UML-based Models of Real-time Embedded Systems
Ahmadi, Reza
Posse, Ernesto
Dingel, Juergen
[J]. 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 346 - 356
[5] Transferability of travel time models and provision of real-time arrival time information
Shalaby, A
Lyon, C
Sayed, T
[J]. 2001 IEEE INTELLIGENT TRANSPORTATION SYSTEMS - PROCEEDINGS, 2001, : 982 - 987
[6] Firmness Analysis of Real-time Tasks
Behrouzian, Amir
Ara, Hadi Alizadeh
Geilen, Marc
Goswami, Dip
Basten, Twan
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (04)
[7] Real-time extensions to UML
McLaughlin, MJ
Moore, A
[J]. DR DOBBS JOURNAL, 1998, 23 (12): : 82 - +
[8] A real-time profile for UML
Graf S.
Ober I.
Ober I.
[J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (2) : 113 - 127
[9] Assessing the Robustness of Arrival Curves Models for Real-Time Systems
Salem, Mahmoud
Carvajal, Gonzalo
Liu, Tong
Fischmeister, Sebastian
[J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2019), 2019, 11750 : 23 - 40
[10] Multiform time in UML for real-time embedded applications
Andre, C.
Mallet, F.
Peraldi-Frati, M-A.
[J]. 13TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2007, : 232 - +

← 1 2 3 4 5 →