title: A case study in verification of UML statecharts: the PROFIsafe protocol

authors: Malik, Robi

subjects: computer science

abstract: We discuss our experience obtained during the PROFIsafe verification and test case generation project at Siemens Corporate Technology. In this project, a formal analysis of the PROFIsafe protocol for failsafe communication has been carried out. A formal model based on finite-state machines has been obtained from the UML specification of the protocol. This model has been analysed with formal verification techniques, and several important properties have been proven. Based on the verified model, a set of test cases for the automatic execution of conformance tests has been derived. The paper explains how the UML statecharts defining the PROFIsafe protocol are translated into finite-state machines, and points out important aspects and problems occurring during the modelling and verification of industrial applications.

text: A case study in verification of UML statecharts: the PROFIsafe protocol We discuss our experience obtained during the PROFIsafe verification and test case generation project at Siemens Corporate Technology. In this project, a formal analysis of the PROFIsafe protocol for failsafe communication has been carried out. A formal model based on finite-state machines has been obtained from the UML specification of the protocol. This model has been analysed with formal verification techniques, and several important properties have been proven. Based on the verified model, a set of test cases for the automatic execution of conformance tests has been derived. The paper explains how the UML statecharts defining the PROFIsafe protocol are translated into finite-state machines, and points out important aspects and problems occurring during the modelling and verification of industrial applications.

year: 2003

title: Child pedestrian safety en route to and from rural schools: A case study

authors: Russell, Tonya

subjects: child safety

abstract: This research examines the safety hazards faced by child pedestrians at rural schools within the Waipa District. The main objectives of this research were to identify hazards child pedestrians face, to identify current counter-measures to these hazards, and to evaluate the regulations and policies pertaining to these counter-measures and child pedestrian safety. Meeting these objectives then allowed the design of possible counter-measures to the hazards faced by rural child pedestrians. The ultimate goal of this research was to improve child pedestrian safety at rural schools.

text: Child pedestrian safety en route to and from rural schools: A case study This research examines the safety hazards faced by child pedestrians at rural schools within the Waipa District. The main objectives of this research were to identify hazards child pedestrians face, to identify current counter-measures to these hazards, and to evaluate the regulations and policies pertaining to these counter-measures and child pedestrian safety. Meeting these objectives then allowed the design of possible counter-measures to the hazards faced by rural child pedestrians. The ultimate goal of this research was to improve child pedestrian safety at rural schools.

year: 1999

title: Weaving the realities and responsibilities: Crossing culture and concepts of healing within co-existing mental health and addictive disorders.

authors: McLachlan, Andre David

subjects: Maori

abstract: Within ‘Mainstream’ western and Kaupapa Māori services, competing priorities often mean that cultural and clinical services are not implemented in unison. Without this ‘unison’, treatment of Māori with co-existing mental health and addictive disorders may be ineffective. This paper reflects the journey of a small social service agency ‘Pai Ake Solutions Limited’ (PASL) in integrating western clinical approaches within tikanga Māori values. 
Pai Ake Solutions Limited (PASL) provides a range of group and individual services to whānau who are affected by mental illness and co-existing substance use problems. The initial development of the service was based on the whakaaro of providing ‘pai ake’ (better) services for whānau in the greater Waikato. These services were initially founded on the strong values of founders Mihaka Hohua and the late Ritchie Re Cribb, which were influenced by the practices and experiences of Ngati Kahangungu, Ngati Haua, and Waikato-Maniopoto. From an initial non-clinical service provision contract, PASL began receiving referrals from individuals and whānau whose needs were not being met by mainstream service providers. Encouraging outcomes and an internal agency review of clientele utilising the service, identified that those accessing PASL services were experiencing socially and clinically significant mental and physical health, addiction and psychosocial problems.

text: Weaving the realities and responsibilities: Crossing culture and concepts of healing within co-existing mental health and addictive disorders. Within ‘Mainstream’ western and Kaupapa Māori services, competing priorities often mean that cultural and clinical services are not implemented in unison. Without this ‘unison’, treatment of Māori with co-existing mental health and addictive disorders may be ineffective. This paper reflects the journey of a small social service agency ‘Pai Ake Solutions Limited’ (PASL) in integrating western clinical approaches within tikanga Māori values. 
Pai Ake Solutions Limited (PASL) provides a range of group and individual services to whānau who are affected by mental illness and co-existing substance use problems. The initial development of the service was based on the whakaaro of providing ‘pai ake’ (better) services for whānau in the greater Waikato. These services were initially founded on the strong values of founders Mihaka Hohua and the late Ritchie Re Cribb, which were influenced by the practices and experiences of Ngati Kahangungu, Ngati Haua, and Waikato-Maniopoto. From an initial non-clinical service provision contract, PASL began receiving referrals from individuals and whānau whose needs were not being met by mainstream service providers. Encouraging outcomes and an internal agency review of clientele utilising the service, identified that those accessing PASL services were experiencing socially and clinically significant mental and physical health, addiction and psychosocial problems.

year: 2008