Buscar

 

RI UFLA (Universidade Federal de Lavras) >
Revistas UFLA >
Infocomp >

Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/10046

Title: Modeling and analysis of real time fixed priority scheduling using UML 2.0
???metadata.dc.creator???: Hazra, Rumpa
Dey, Shouvik
Kanjilal, Ananya
Bhattacharya, Swapan
Keywords: Real time systems
UML
Priority Ceiling Protocol
Priority Inheritance Protocol
Deadlock
Sistemas de tempo real
Protocolo de Prioridade Teto
Protocolo de Herança de Prioridade
Interbloqueio
Publisher: Editora da UFLA
???metadata.dc.date???: 1-Jun-2013
Citation: HAZRA, R. et al. Modeling and analysis of real time fixed priority scheduling using UML 2.0. INFOCOMP: Journal of Computer Science, Lavras, v. 12, n. 1, p. 36-48, June 2013.
Abstract: Real Time Systems (RTS) interact with their environments using time constrained input/output signals. A functional misbehavior or a deviation from the specified time constraints may have catastrophic consequences. Hence, ensuring the correctness of such systems is extremely important and necessary. The increasing complexities of now-a-days ubiquitous real time systems require using an adequate modeling language. Unified Modeling Language (UML), a widely used visual object oriented modeling language, has proved to be effective and suitable for real time systems. The paper discusses the ability of UML and its profile to determine the schedulability of a fixed priority real time system. This paper puts stresses on the occurrence of deadlock in using the Priority Inheritance Protocol and prevention of such using the Priority Ceiling Protocol. Using UML 2.0 Sequence and Timing Diagrams, we model these two protocols and further, we analyze and compare these models.
Other Identifiers: http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/371
???metadata.dc.language???: eng
Appears in Collections:Infocomp

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


View Statistics

 


DSpace Software Copyright © 2002-2010  Duraspace - Feedback