For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Hierarchical System Schedulability Analysis Framework Using UPPAAL
So Jin AHN Dae Yon HWANG Miyoung KANG Jin-Young CHOI
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/08/01
Online ISSN: 1745-1361
Type of Manuscript: LETTER
Category: Software System
hierarchical system, schedulability analysis, real-time systems, formal methods, UPPAAL,
Full Text: PDF(455.9KB)>>
Analyzing the schedulability of hierarchical real-time systems is difficult because of the systems' complex behavior. It gets more complicated when shared resources or dependencies among tasks are included. This paper introduces a framework based on UPPAAL that can analyze the schedulability of hierarchical real-time systems.