Title :
Modeling and analysis of deadlock driven dynamic priority scheduling
Author :
Hazra, Ranjay ; Kanjilal, A. ; Dey, Shuvashis ; Bhattacharya, Surya
Author_Institution :
Dept. of Comput. Sci. & Eng., Heritage Inst. of Technol., Kolkata, India
Abstract :
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).
Keywords :
Unified Modeling Language; concurrency control; formal specification; object-oriented languages; protocols; real-time systems; scheduling; visual languages; PIP; RTSS; SBPCP; UML 2.0; Unified Modeling Language; deadlock driven dynamic priority scheduling analysis; deadlock driven dynamic priority scheduling modeling; deadlock occurrence; logical correctness; priority inheritance protocol; real time software system design; real time software system specification; stack based preemption ceiling protocol; timing correctness; visual object-oriented modeling language; Dynamic scheduling; Object oriented modeling; Protocols; Real-time systems; System recovery; Timing; Unified modeling language; Deadlock; PIP; RTSS; SBPCP; UML;
Conference_Titel :
TENCON 2013 - 2013 IEEE Region 10 Conference (31194)
Conference_Location :
Xi´an
Print_ISBN :
978-1-4799-2825-5
DOI :
10.1109/TENCON.2013.6718507
