Could Fire and Rescue Services identify older people at risk of falls?

Protecting or improving the efficiency and effectiveness of services while reducing costs in response to public sector funding reductions is a significant challenge for all public service organisations. Preventing falls in older people is a major public health objective. We propose here an innovative model of community partnership with Fire and Rescue Services assisting falls prevention services to enhance the safety and well-being of older people in local communities through early identification of those who are at risk of injury from a fall or accidental domestic fire

Special Collections Preservation Policy

Relating to Special Collections held in Oxford Brookes University Library

Verifying Real-Time Systems using Explicit-time Description Methods

Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Explicit-Time Description Methods aim to verify real-time systems with general untimed model checkers. Lamport presented an explicit-time description method using a clock-ticking process (Tick) to simulate the passage of time together with a group of global variables for time requirements. This paper proposes a new explicit-time description method with no reliance on global variables. Instead, it uses rendezvous synchronization steps between the Tick process and each system process to simulate time. This new method achieves better modularity and facilitates usage of more complex timing constraints. The two explicit-time description methods are implemented in DIVINE, a well-known distributed-memory model checker. Preliminary experiment results show that our new method, with better modularity, is comparable to Lamport's method with respect to time and memory efficiency

Ambitions and Text

Reviews the book Well Dreams: Essays on John Montague, edited by Thomas Dillon Redshaw