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