Modeling and analysis of deadlock driven dynamic priority scheduling

Specifying and designing Real Time Software Systems (RTSS) is a complex matter, because it requires logical correctness as well as timing correctness. Unified Modeling Language (UML), the standard visual object-oriented modeling language, is suitable to deal with this complexity. In RTSS, scheduling...

Full description

Saved in:
Bibliographic Details
Main Authors: Hazra, Rumpa, Kanjilal, Ananya, Dey, Shouvik, Bhattacharya, Swapan
Format: Conference Proceeding
Language:English
Subjects:
Deadlock
Dynamic scheduling
Object oriented modeling
PIP
Protocols
Real-time systems
RTSS
SBPCP
System recovery
Timing
UML
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Specifying and designing Real Time Software Systems (RTSS) is a complex matter, because it requires logical correctness as well as timing correctness. Unified Modeling Language (UML), the standard visual object-oriented modeling language, is suitable to deal with this complexity. In RTSS, scheduling of tasks with hard deadlines has been an important area of research in today's life. In this paper a model is developed using UML 2.0 to highlight the deadlock occurrence as a drawback of Priority Inheritance Protocol (PIP). Further an improved model has been developed to prevent deadlock using the Stack Based Preemption Ceiling Protocol (SBPCP).
ISSN:2159-3442
2159-3450
DOI:10.1109/TENCON.2013.6718507