Margaret Naughton

Learn More
Purpose of this paper The development of a new software tool for the scheduling of real-time control messages in a time-triggered control network is described. The prime application area for such a solution is in real-time robotic controllers and other similar machine control systems. Design/methodology/approach -The design of a scheduling tool, called(More)
The design of network elements for real-time control networks requires careful consideration of the fundamental timing requirements. The use of a timed automata approach for modelling and verifying the timing requirements promises to be beneficial. In this work a case study approach is shown where a model of the packet scheduler component for a network(More)
King’s publication based on a key note presentation at the 2014 British Association of the Study of Spirituality (BASS) conference, a well written and thought provoking paper, leads us to consider the contribution of this critique of spirituality research to contemporary debates on the topic The views expressed within the paper are important and foster(More)
The design of network elements for real-time control networks requires careful consideration of the fundamental timing requirements. The use of a timed automata approach for modelling and verifying the timing requirements promises to be beneficial. In this work a case study approach is shown where a model of the packet scheduler component for a network(More)
  • 1