Automatic schedule computation for distributed real-time systems using timed automata

The time-triggered architecture is becoming accepted as a means of implementing scalable, safer and more reliable solutions for distributed real-time systems. In such systems, the execution of distributed software components and the communication of messages between them take place in a fixed patter...

Full description

Bibliographic Details
Main Author: Park, Young-Saeng
Other Authors: Robson, Adrian
Published: Northumbria University 2008
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.537402