loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Quality Software (QSIC 2007)
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software
Portland, Oregon, USA
October 11-October 12
ISBN: 0-7695-3035-4
Masahiko Watanabe, Kyushu University
Akira Fukuda, Kyushu University
Michihiro Matsumoto, CATS Corporation
Hirokazu Yatsu, CATS Corporation
Ichiro Hosotani, Toyota Motor Corporation
Shigeyuki Kido, Toyota Motor Corporation
Distributed embedded software is constructed from tasks that are connected through networks or buses. These tasks may communicate with each other by sending and receiving multicast messages, for example, by using CAN protocol. In this paper, we deal with this kind of distributed embedded software. 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.
Citation:
Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido, "A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software," qsic, pp.137-142, Seventh International Conference on Quality Software (QSIC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.