Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Stroke awareness in Brazil - Alarming results in a community-based study

Background and Purpose-Stroke is the leading cause of death in Brazil. This community-based study assessed lay knowledge about stroke recognition and treatment and risk factors for cerebrovascular diseases and activation of emergency medical services in Brazil. Methods-The study was conducted between July 2004 and December 2005. Subjects were selected from the urban population in transit about public places of 4 major Brazilian cities: S (a) over tildeo Paulo, Salvador, Fortaleza, and Ribeir (a) over tildeo Preto. Trained medical students, residents, and neurologists interviewed subjects using a structured, open-ended questionnaire in Portuguese based on a case presentation of a typical patient with acute stroke at home. Results-Eight hundred fourteen subjects were interviewed during the study period (53.9% women; mean age, 39.2 years; age range, 18 to 80 years). There were 28 different Portuguese terms to name stroke. Twenty-two percent did not recognize any warning signs of stroke. Only 34.6% of subjects answered the correct nationwide emergency telephone number in Brazil (# 192). Only 51.4% of subjects would call emergency medical services for a relative with symptoms of stroke. In a multivariate analysis, individuals with higher education called emergency medical services (P=0.038, OR=1.5, 95%, CI: 1.02 to 2.2) and knew at least one risk factor for stroke (P<0.05, OR=2.0, 95% CI: 1.2 to 3.2) more often than those with lower education. Conclusions-Our study discloses alarming lack of knowledge about activation of emergency medical services and availability of acute stroke treatment in Brazil. These findings have implications for public health initiatives in the treatment of stroke and other cardiovascular emergencies.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Feasibility of an evidence-based literature search service for general practitioners

Objective: To test the feasibility of an evidence-based clinical literature search service to help answer general practitioners' (GPs') clinical questions. Design: Two search services supplied GPs who submitted questions with the best available empirical evidence to answer these questions. The GPs provided feedback on the value of the service, and concordance of answers from the two search services was assessed. Setting: Two literature search services (Queensland and Victoria), operating for nine months from February 1999. Main outcome measures: Use of the service; time taken to locate answers; availability of evidence; value of the service to GPs; and consistency of answers from the two services. Results: 58 GPs asked 160 questions (29 asked one, 11 asked five or more). The questions concerned treatment (65%), aetiology (17%), prognosis (13%), and diagnosis (5%). Answering a question took a mean of 3 hours 32 minutes of personnel time (95% Cl, 2.67-3.97); nine questions took longer than 10 hours each to answer, the longest taking 23 hours 30 minutes. Evidence of suitable quality to provide a sound answer was available for 126 (79%) questions. Feedback data for 84 (53%) questions, provided by 42 GPs, showed that they appreciated the service, and asking the questions changed clinical care. There were many minor differences between the answers from the two centres, and substantial differences in the evidence found for 4/14 questions. However, conclusions reached were largely similar, with no or only minor differences for all questions. Conclusions: It is feasible to provide a literature search service, but further assessment is needed to establish its cost effectiveness.

Incremental parsing in language-based editors: user needs and how to meet them

Incremental parsing has long been recognized as a technique of great utility in the construction of language-based editors, and correspondingly, the area currently enjoys a mature theory. Unfortunately, many practical considerations have been largely overlooked in previously published algorithms. Many user requirements for an editing system necessarily impact on the design of its incremental parser, but most approaches focus only on one: response time. This paper details an incremental parser based on LR parsing techniques and designed for use in a modeless syntax recognition editor. The nature of this editor places significant demands on the structure and quality of the document representation it uses, and hence, on the parser. The strategy presented here is novel in that both the parser and the representation it constructs are tolerant of the inevitable and frequent syntax errors that arise during editing. This is achieved by a method that differs from conventional error repair techniques, and that is more appropriate for use in an interactive context. Furthermore, the parser aims to minimize disturbance to this representation, not only to ensure other system components can operate incrementally, but also to avoid unfortunate consequences for certain user-oriented services. The algorithm is augmented with a limited form of predictive tree-building, and a technique is presented for the determination of valid symbols for menu-based insertion. Copyright (C) 2001 John Wiley & Sons, Ltd.