Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

Justified Fault-Ride-Through Requirements for Wind Turbines in Power Systems

In this paper, a novel adaptive strategy to obtain technically justified fault-ride-through requirements for wind turbines (WTs) is proposed. The main objective is to promote an effective integration of wind turbines into power systems with still low penetration levels of wind power based on technical and economical considerations. The level of requirement imposed by the strategy is increased stepwise over time, depending on system characteristics and on wind power penetration level. The idea behind is to introduce stringent requirements only when they are technically needed for a reliable and secure power system operation. Voltage stability support and fault-ride-through requirements are considered in the strategy. Simulations are based on the Chilean transmission network, a midsize isolated power system with still low penetration levels of wind power. Simulations include fixed speed induction generators and doubly fed induction generators. The effects on power system stability of the wind power injections, integrated into the network by adopting the adaptive strategy, are compared with the effects that have the same installed capacity of wind power but only considering WTs able to fulfill stringent requirements (fault-ride-through capability and support voltage stability). Based on simulations and international experience, technically justified requirements for the Chilean case are proposed.

Development of Control Systems for Safety Instrumented Systems

Safety Instrumented Systems (SIS) are designed to prevent and / or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people`s health, protecting the environment and saving costs of industrial equipment. The design of these systems require formal methods for ensuring the safety requirements, but according material published in this area, has not identified a consolidated procedure to match the task. This sense, this article introduces a formal method for diagnosis and treatment of critical faults based on Bayesian network (BN) and Petri net (PN). This approach considers diagnosis and treatment for each safety instrumented function (SIF) including hazard and operability (HAZOP) study in the equipment or system under control. It also uses BN and Behavioral Petri net (BPN) for diagnoses and decision-making and the PN for the synthesis, modeling and control to be implemented by Safety Programmable Logic Controller (PLC). An application example considering the diagnosis and treatment of critical faults is presented and illustrates the methodology proposed.

Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation

Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.

On Building a Memory Evolutive System for Application to Learning and Cognition Modeling

We address here aspects of the implementation of a memory evolutive system (MES), based on the model proposed by A. Ehresmann and J. Vanbremeersch (2007), by means of a simulated network of spiking neurons with time dependent plasticity. We point out the advantages and challenges of applying category theory for the representation of cognition, by using the MES architecture. Then we discuss the issues concerning the minimum requirements that an artificial neural network (ANN) should fulfill in order that it would be capable of expressing the categories and mappings between them, underlying the MES. We conclude that a pulsed ANN based on Izhikevich`s formal neuron with STDP (spike time-dependent plasticity) has sufficient dynamical properties to achieve these requirements, provided it can cope with the topological requirements. Finally, we present some perspectives of future research concerning the proposed ANN topology.

The Effects of Host, Geographic Origin, and Gender on the Thermal Requirements of Diaphorina citri (Hemiptera: Psyllidae)

Diaphorina citri Kuwayama (Hemiptera: Psyllidae) is the vector of the bacteria that causes citrus greening and is considered one of the world`s most important citrus diseases. We examined how host, geographic region, and gender affect the thermal requirements of D. citri. The insects were reared in climatic chambers at constant temperatures of 18, 20, 22, 25, 28, 30, and 32 1 degrees C, 70 +/- 10% RH, and a 14 h photophase. Host plants for D. citri included orange (Citrus sinensis [Rutaceae]) varieties Pera and Natal, the rootstock, Rungpur lime (C. limonia [Rutaceae]) and the natural host, Orange jessamine (Murraya paniculata [Rutaceae]). To study the influence of geographic origin on thermal requirements, we studied D. citri populations from Piracicaba, SP (warmer region) and Itapetininga, SP (cooler region). The duration and survival of the development stages and the duration of the total development (egg-adult) did not differ significantly on the different hosts, but it did vary with temperature. Nymphs of D. citri created on the different hosts have the same thermal requirements. The thermal requirements for this species collected from the two climate regions were identical; males and females also had the same thermal requirements.

Diet-dependent life history, feeding preference and thermal requirements of the predatory mite Neoseiulus baraki (Acari: Phytoseiidae)

Neoseiulus baraki Athias-Henriot (Acari: Phytoseiidae) has been reported from the Americas, Africa and Asia, often in association with Aceria guerreronis Keifer (Acari: Eriophyidae), one of the most important pests of coconut (Cocos nucifera L.) in diVerent parts of the world. That phytoseiid has been considered one of the most common predators associated with A. guerreronis in Brazil. The objective of this study was to evaluate the feeding preference and the eVect of food items commonly present on coconut fruits and several temperature regimes on the life history of a Brazilian population of N. baraki. Completion of immature development was possible when N. baraki was fed A. guerreronis, Steneotarsonemus concavuscutum Lofego and Gondim Jr., and Tyrophagus putrescentiae (Schrank). Fecundity was highest on T. putrescentiae (39.4 eggs), followed by A. guerreronis (24.8 eggs). In choice tests, irrespective of the food on which N. baraki was reared, a larger number of adults of this predator chose leaf discs containing A. guerreronis than discs containing other food items, demonstrating a preference of the former for the latter as food. Egg to adult thermal developmental time was calculated as 84.2 degree-days, above a threshold of 15.8 degrees C. This lower developmental threshold is higher than previously published for phytoseiid species from higher latitudes. Neoseiulus baraki was shown to have higher biotic potential at 30 degrees C (r(m) 0.29). The results suggest N. baraki to be a promising biological control agent of A. guerreronis, well adapted to survive and develop in areas with relatively high temperatures, where that pest prevails.

Biological characteristics and thermal requirements of a Brazilian strain of the parasitoid Trichogramma pretiosum reared on eggs of Pseudoplusia includens and Anticarsia gemmatalis

A new strain of the parasitoid Trichogramma pretiosum, was collected in Rio Verde County, State of Goias, Central Brazil, and designated as T. pretiosum RV. This strain was then found to be the most effective one among several different strains of T. pretiosum tested in a parasitoid selection assay. Therefore, its biological characteristics and thermal requirements were studied, aiming at allowing its multiplication under controlled environmental conditions in the laboratory. The parasitoid was reared on eggs of Pseudoplusia includens and Anticarsia gemmatalis at different constant temperatures within an 18-32 degrees C temperature range. The number of annual generations of the parasitoid was also estimated at those temperatures. Results have shown that T. pretiosum RV developmental time, from egg to adult, was influenced by all temperatures tested within the range, varying from 6.8 to 20.3 days and 6.0 to 17.0 days on eggs of P. includens and A. gemmatalis, respectively. The emergence of T. pretiosum RV from eggs of A. gemmatalis was higher than 94% at all temperatures tested. When this variable was evaluated on eggs of P. includens, however, the figures were higher than that within the 18-30 degrees C range (more than 98%), and were also statistically higher than the emergence observed at 32 degrees C (90.2%). The sex ratio of the parasitoids emerged from eggs of A. gemmatalis decreased from 0.55 to 0.29 at 18-32 degrees C, respectively. However, for those emerged from eggs of P. includens, the sex ratio was similar (0.73, 0.72 and 0.71) at 20, 28 and 32 degrees C, respectively. The lower temperature threshold (Tb) and thermal constant (K) were 10.65 degrees C and 151.25 degree-days when the parasitoid was reared on eggs of P. includens; and 11.64 degrees C and 127.60 degree-days when reared on eggs of A. gemmatalis. The number of generations per month increased from 1.45 to 4.23 and from 1.49 to 4.79 when the parasitoid was reared on eggs of P. includens and A. gemmatalis, respectively, following the increases in the temperature. (C) 2009 Elsevier Inc. All rights reserved.

Irrigation requirements and transpiration coupling to the atmosphere of a citrus orchard in Southern Brazil

Crop evapotranspiration (ETc) was measured as evaporative heat flux from an irrigated acid lime orchard (Citrus latifolia Tanaka) using the aerodynamic method. Crop transpiration (T) was determined by a stem heat balance method. The irrigation requirements were determined by comparing the orchard evapotranspiration (ETc) and T with the reference evapotranspiration (ETo) derived from the Penman-Monteith equation, and the irrigation requirements were expressed as ETc/ETo (Kc) and T/ETo (Kcb) ratios. The influence of inter-row vegetation on the ETc was analyzed because the measurements were taken during the summer and winter, which are periods with different regional soil water content. In this study, the average Mc values obtained were 0.65 and 0.24 for the summer and winter, respectively. The strong coupling of citrus trees to the atmosphere and the sensitivity of citrus plants to large vapor pressure deficits and air/leaf temperatures caused variations in the Kcb in relation to the ETo ranges. During the summer, the Kcb value ranged from 0.34 when the ETo exceeded 5 mm d(-1) to 0.46 when the ETo was less than 3 mm d(-1). (C) 2011 Elsevier B.V. All rights reserved.

Impedimetric immunosensor for electronegative low density lipoprotein (LDL(-)) based on monoclonal antibody adsorbed on (polyvinyl formal)-gold nanoparticles matrix

Monoclonal antibodies (MAb) have been commonly applied to measure LDL in vivo and to characterize modifications of the lipids and apoprotein of the LDL particles. The electronegative low density lipoprotein (LDL(-)) has an apolipoprotein B-100 modified at oxidized events in vivo. In this work, a novel LDL-electrochemical biosensor was developed by adsorption of anti-LDL(-) MAb on an (polyvinyl formal)-gold nanoparticles (PVF-AuNPs)-modified gold electrode. Electrochemical impedance spectroscopy (EIS) and cyclic voltammetry (CV) were used to characterize the recognition of LDL-. The interaction between MAb-LDL(-) leads to a blockage in the electron transfer of the [Fe(CN)(6)](4-)/K(4)[Fe(CN)(6)](3-) redox couple, which may could result in high change in the electron transfer resistance (R(CT)) and decrease in the amperometric responses in CV analysis. The compact antibody-antigen complex introduces the insulating layer on the assembled surface, which increases the diameter of the semicircle, resulting in a high R(CT), and the charge transferring rate constant k(0) decreases from 18.2 x 10(-6) m/s to 4.6 x 10(-6) m/s. Our results suggest that the interaction between MAb and lipoprotein can be quantitatively assessed by the modified electrode. The PVF-AuNPs-MAb system exhibited a sensitive response to LDL(-), which could be used as a biosensor to quantify plasmatic levels of LDL(-). (C) 2011 Elsevier B.V. All rights reserved.

Control of vector-borne disease by genetic manipulation of insect populations: technological requirements and research priorities

The possibility of controlling vector-borne disease through the development and release of transgenic insect vectors has recently gained popular support and is being actively pursued by a number of research laboratories around the world. Several technical problems must be solved before such a strategy could be implemented: genes encoding refractory traits (traits that render the insect unable to transmit the pathogen) must be identified, a transformation system for important vector species has to be developed, and a strategy to spread the refractory trait into natural vector populations must be designed. Recent advances in this field of research make it seem likely that this technology will be available in the near future. In this paper we review recent progress in this area as well as argue that care should be taken in selecting the most appropriate disease system with which to first attempt this form of intervention. Much attention is currently being given to the application of this technology to the control of malaria, transmitted by Anopheles gambiae in Africa. While malaria is undoubtedly the most important vector-borne disease in the world and its control should remain an important goal, we maintain that the complex epidemiology of malaria together with the intense transmission rates in Africa may make it unsuitable for the first application of this technology. Diseases such as African trypanosomiasis, transmitted by the tsetse fly, or unstable malaria in India may provide more appropriate initial targets to evaluate the potential of this form of intervention.

Formal performance appraisal interviews: Can they really be objective, and are they useful anyway?

This paper reports on a qualitative field study conducted in Australia which examined what is occurring in formal performance appraisal interviews in relation to their objectivity and resultant outcomes. Supervisors and subordinates who had recently been involved in performance appraisals were interviewed about their experiences of the process. Perceptions of the utility of, and satisfaction with the interview process were examined. Further, the effect of the relationship between the participants on objectivity was investigated. Results indicated that formal appraisal interviews were not perceived to be of great utility, and that the relationship of the participants influenced the interview.

Triple objective team mentoring: achieving learning objectives with chemical engineering students

A sophisticated style of mentoring has been found to be essential to support engineering student teams undertaking technically demanding, real-world problems as part of a Project-Centred Curriculum (PCC) at The University of Queensland. The term ‘triple-objective’ mentoring was coined to define mentoring that addresses not only the student’s technical goal achievement but also their time and team management. This is achieved through a number of formal mentor meetings that are informed by a confidential instrument which requires students to individually reflect on team processes prior to the meeting, and a checklist of technical requirements against which the interim student team progress and achievements are assessed. Triple-objective mentoring requires significant time input and coordination by the academic but has been shown to ensure effective student team work and learning undiminished by team dysfunction. Student feedback shows they value the process and agree that the tools developed to support the process are effective in developing and assessing team work and skills with average scores mostly above 3 on a four point scale.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.