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

Vahid Garousi*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationIEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008
Pages1575-1580
Number of pages6
DOIs
Publication statusPublished - 22 Sep 2008
Externally publishedYes
EventIEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008 - Niagara Falls, Canada
Duration: 04 May 200807 May 2008

Conference

ConferenceIEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008
CountryCanada
CityNiagara Falls
Period04/05/200807/05/2008

Keywords

  • Arrival patterns
  • Real-time systems
  • Release times
  • UML

ASJC Scopus subject areas

  • Hardware and Architecture
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'A formalism for arrival time analysis of real-time tasks based on UML models'. Together they form a unique fingerprint.

  • Cite this

    Garousi, V. (2008). A formalism for arrival time analysis of real-time tasks based on UML models. In IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008 (pp. 1575-1580). [4564807] https://doi.org/10.1109/CCECE.2008.4564807