title: A Coloured Petri Net approach to model and analyze safety-critical interactive systems

authors: Jaidka, Sapna

subjects: Science & Technology

abstract: To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We present a technique to construct a single Coloured Petri Net model of the user interface, interaction and functionality of safety-critical interactive systems and then analyze the achieved Coloured Petri Net model using a state space analysis method. There are several reasons for using Coloured Petri Nets. Coloured Petri Nets provides a graphical representation and hierarchical structuring mechanism, and a state space verification technique, which allows querying the state space to investigate behaviours of a system. There are several tools that supports Coloured Petri Nets including the CPN Tool which helps in building CPN models and allows simulation and analysis using state spaces. The technique to model and analyze safety-critical interactive systems is illustrated using a simplified infusion pump example.

text: A Coloured Petri Net approach to model and analyze safety-critical interactive systems To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We present a technique to construct a single Coloured Petri Net model of the user interface, interaction and functionality of safety-critical interactive systems and then analyze the achieved Coloured Petri Net model using a state space analysis method. There are several reasons for using Coloured Petri Nets. Coloured Petri Nets provides a graphical representation and hierarchical structuring mechanism, and a state space verification technique, which allows querying the state space to investigate behaviours of a system. There are several tools that supports Coloured Petri Nets including the CPN Tool which helps in building CPN models and allows simulation and analysis using state spaces. The technique to model and analyze safety-critical interactive systems is illustrated using a simplified infusion pump example.

year: 2019

title: Ecosystem restoration: A public health intervention

authors: Breed, Martin F.

subjects: Science & Technology

abstract: We are seemingly locked into a downward spiral of ecological degradation, biodiversity loss, and a climate emergency. Ecological restoration aims to improve the ecological trajectory of degraded ecosystems. Ecosystem declines threaten human health. Dramatic changes in human behavior and government policy are essential, but will only occur through a profound paradigm shift explicitly linking human and ecological health. We outline the case for ecological restoration as a ‘public health intervention’, and provide an action plan that enables the required paradigm shift.

text: Ecosystem restoration: A public health intervention We are seemingly locked into a downward spiral of ecological degradation, biodiversity loss, and a climate emergency. Ecological restoration aims to improve the ecological trajectory of degraded ecosystems. Ecosystem declines threaten human health. Dramatic changes in human behavior and government policy are essential, but will only occur through a profound paradigm shift explicitly linking human and ecological health. We outline the case for ecological restoration as a ‘public health intervention’, and provide an action plan that enables the required paradigm shift.

year: 2020

title: The Control, environmental sustainability and information management of Maori land in New Zealand

authors: Morad, Munir

subjects: Maori land

abstract: An increase in Maori land claims and the subsequent settlement of a number of land confiscation grievances have prompted calls for change to the land management, cadastral and legal regimes in New Zealand. There is little expert agreement as to Me shape any such reforms should take, but environmental planners and Maori leaders have conceded the need for an overhaul of current land information management practices. Such reforms must aspire to being legally workable, culturally appropriate and environmentally sustainable.
Most land in New Zealand is subject to recent legislation (post-1984) which acknowledges concern for Maori cultural values and ancestral rights and environmental sustainability. The existence of this legislation and growing Maori involvement in formulating public policy for the management of land and environmental resources mean that Maori concepts of land management and sustainability are receiving increasing attention and are likely to influence the shape of future cadastral reforms for Maori lands.

text: The Control, environmental sustainability and information management of Maori land in New Zealand An increase in Maori land claims and the subsequent settlement of a number of land confiscation grievances have prompted calls for change to the land management, cadastral and legal regimes in New Zealand. There is little expert agreement as to Me shape any such reforms should take, but environmental planners and Maori leaders have conceded the need for an overhaul of current land information management practices. Such reforms must aspire to being legally workable, culturally appropriate and environmentally sustainable.
Most land in New Zealand is subject to recent legislation (post-1984) which acknowledges concern for Maori cultural values and ancestral rights and environmental sustainability. The existence of this legislation and growing Maori involvement in formulating public policy for the management of land and environmental resources mean that Maori concepts of land management and sustainability are receiving increasing attention and are likely to influence the shape of future cadastral reforms for Maori lands.

year: 1997