By Topic

A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

6 Author(s)

In this paper, we deal with the kind of distributed embedded software that is constructed from tasks that communicate with each other by sending and receiving multicast messages. These tasks must share resources. So, it is important to schedule a timetable describing when the tasks occupy the resources so that there is no resource competition and the tasks occupy the resources within pre-specified periods. We call this scheduling process resource scheduling. Because tasks must satisfy many constraints and there are message delays in the communication of the tasks, resource scheduling is a difficult task. So, resource scheduling design methods are necessary. In this paper, we propose a resource scheduling design method that allows multicast messages whose receivers can be more than three tasks and an efficient verification method for the method.

Published in:

Quality Software, 2007. QSIC '07. Seventh International Conference on

Date of Conference:

11-12 Oct. 2007