The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.
Abstract. Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering and evaluation can be very useful for processing such information for areas ranging from performance profiling to user modelling and intrusion detection. In this paper, we give an overview of LarvaStat -a runtime verification tool extending L ÖÚ [2] with the ability to straightforwardly specify real-time related statistical properties. Being automaton-based, LarvaStat also makes explicit the overhead induced by monitoring.
Food-borne illness causes a significant burden of disease globally. The majority of confirmed cases of food-borne illness in Malta are caused by salmonellosis. Detailed case investigations by the Disease Surveillance Unit, Malta, revealed that most of the notified cases of infectious intestinal disease are most likely to be due to poor food safety practices in the home. Consumer awareness studies have shown that, in general, consumers are aware of the recommended food safety precautions, yet still adopt high-risk behaviours. Three focus groups and a small case control group were formed to gather information on local consumer knowledge and attitudes towards safe food handling in the home. The responses from the three focus groups were analysed and grouped into general themes. The information obtained from these results was then used to plan a local food safety health promotion strategy. The results show that individuals who had been exposed to salmonellosis, or who had a dependant who had been exposed, had developed a higher level of food safety knowledge and awareness. Variations between knowledge and self-reported practices make it apparent that persons have to be convinced that food safety measures are effective before they take action to change their behaviour. In conclusion, consumer education strategies need to emphasise the burden of illness, making safe food handling meaningful to consumers. Continuous reinforcement of the messages may be effective in empowering the consumer to foster behaviour change.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.