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: Purification of a Thermostable DNA Polymerase from a Thermotoga Species

authors: Simpson, H.D.

subjects: biology

abstract: Most of the initial studies on the fundamental cellular process of biosynthesis and repair of deoxyribonucleic acid (DNA) have been carried out on the bacterium
Escherichia coli.¹When a single-stranded DNA template is provided with a primer, the 5’ - 3’ polymerase copies the template in the presence of deoxyribonucleotide triphosphates and a divalent cation, for example, Mg²⁺.

text: Purification of a Thermostable DNA Polymerase from a Thermotoga Species Most of the initial studies on the fundamental cellular process of biosynthesis and repair of deoxyribonucleic acid (DNA) have been carried out on the bacterium
Escherichia coli.¹When a single-stranded DNA template is provided with a primer, the 5’ - 3’ polymerase copies the template in the presence of deoxyribonucleotide triphosphates and a divalent cation, for example, Mg²⁺.

year: 1990

title: Does artificial intelligence modelling have anything to offer traditional management of freshwater food resources?

authors: Death, Russell G.

abstract: Management of freshwater systems and the ecosystem services they provide has become a multi-stakeholder activity. This requires information on resources and how to manage them to be disseminated to a wide range of users. While artificial intelligence modelling can provide a powerful tool in managing and understanding resources and their drivers, they can be confusing to many users. In this study, we explored the potential use of two alternative modelling approaches (Boosted Regression Trees (BRT) and Bayesian Belief Networks (BBN)) for managing three species of freshwater mahinga kai species-kākahi or kaeo (freshwater mussel), koura (freshwater crayfish) and tuna (freshwater eel). While the BBN model I sbetter for stakeholder communication, the BRT produced more accurate models for all species. However, variables identified as being important for predicting abundance and biomass of these species were often environmental parameters that cannot be managed to improve yield. The artificial intelligence modelling does provide some accurate linkages between the target species and their environmental drivers. Nevertheless, translating these relationships into management plans remains challenging. The models are clearly not a panacea for better resource management, but provide one more tool that might assist multi-stakeholder understanding of how best to manage freshwater resources.

text: Does artificial intelligence modelling have anything to offer traditional management of freshwater food resources? Management of freshwater systems and the ecosystem services they provide has become a multi-stakeholder activity. This requires information on resources and how to manage them to be disseminated to a wide range of users. While artificial intelligence modelling can provide a powerful tool in managing and understanding resources and their drivers, they can be confusing to many users. In this study, we explored the potential use of two alternative modelling approaches (Boosted Regression Trees (BRT) and Bayesian Belief Networks (BBN)) for managing three species of freshwater mahinga kai species-kākahi or kaeo (freshwater mussel), koura (freshwater crayfish) and tuna (freshwater eel). While the BBN model I sbetter for stakeholder communication, the BRT produced more accurate models for all species. However, variables identified as being important for predicting abundance and biomass of these species were often environmental parameters that cannot be managed to improve yield. The artificial intelligence modelling does provide some accurate linkages between the target species and their environmental drivers. Nevertheless, translating these relationships into management plans remains challenging. The models are clearly not a panacea for better resource management, but provide one more tool that might assist multi-stakeholder understanding of how best to manage freshwater resources.

year: 2017