A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software

Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of systems. FTA and FMEA are most commonly used by safety analysts. Recently, STPA has been proposed with the goal to better cope with complex systems including software. Objective: This research aimed at comparing quantitatively these three safety analysis techniques with regard to their effectiveness, applicability, understandability, ease of use and efficiency in identifying software safety requirements at the system level. Method: We conducted a controlled experiment with 21 master and bachelor students applying these three techniques to three safety-critical systems: train door control, anti-lock braking and traffic collision and avoidance. Results: The results showed that there is no statistically significant difference between these techniques in terms of applicability, understandability and ease of use, but a significant difference in terms of effectiveness and efficiency is obtained. Conclusion: We conclude that STPA seems to be an effective method to identify software safety requirements at the system level. In particular, STPA addresses more different software safety requirements than the traditional techniques FTA and FMEA, but STPA needs more time to carry out by safety analysts with little or no prior experience.Comment: 10 pages, 1 figure in Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering (EASE '15). ACM, 201

Amylin in the periphery II: An updated mini-review

Amylin is a polypeptide that is cosecreted with insulin from the beta cells of the pancreas. Therefore, in states of diabetes in which the beta-cell mass is largely depleted or dysfunctional, insulin and amylin secretion are also lost or dysregulated. While the soluble monomeric form of amylin acts as a hormone that alters physiological responses related to feeding and acts as a specific growth factor, there has been renewed interest in the less-soluble oligomeric and insoluble polymeric forms of human (also monkey and cat) amylin that may contribute to the establishment of a pathophysiological pathway to overt diabetes. With this discovery has grown the hope of minimizing, with appropriate therapy, these toxic forms to preserve the functional (c) not-cell mass. Human beta cells may also be more vulnerable to these forms and one risk factor, a higher fat diet, may promote toxic forms. The generation and utilities of transgenic rodent models, which express enhanced levels of human amylin, have been accompanied by strategies that may lead to the reduction of toxic forms and associated risk factors. The successful definition and faithful expression of the physiological receptors (and complexes) for amylin that may differ for each target organ is an important development in the field of amylin research generally. Besides the heuristic value for the understanding of the molecular biology of receptors, the opportunity to screen and identify nonpeptide analogues that bind the physiological receptors has important implications for biomedicine and clinical practice in relation to treatments for diabetic complications, bone diseases, and eating disorders. In particular, in their capacities to mimic the effects of amylin as a growth factor, amylin analogues may prove useful in the stimulation of beta-cell mass (in conjunction with other factors), reduce the activity of the osteoclast population, and stimulate the regeneration of proximal tubules following toxic insult (and thus avoid the development of renal insufficiency)

The Road We’ve Traveled: 12 Years of Undergraduate Software Engineering at the Rochester Institute of Technology

In 1996, the Rochester Institute of Technology launched the first undergraduate software engineering program in North America. This paper briefly reviews the development of the program, and describes the program’s evolution up to the present. We illuminate both the constant aspects of the program – what we believe we got right – as well as the changes made in light of pedagogical, technological and disciplinary advances. We conclude by considering the current and future challenges for undergraduate software engineering education both at RIT and elsewhere

Eating increases oxidative damage in a reptile

While eating has substantial benefits in terms of both nutrient and energy acquisition, there are physiological costs associated with digesting and metabolizing a meal. Frequently, these costs have been documented in the context of energy expenditure while other physiological costs have been relatively unexplored. Here, we tested whether the seemingly innocuous act of eating affects either systemic pro-oxidant (reactive oxygen metabolite, ROM) levels or antioxidant capacity of corn snakes (Pantherophis guttatus) by collecting plasma during absorptive (peak increase in metabolic rate due to digestion of a meal) and non-absorptive (baseline) states. When individuals were digesting a meal, there was a minimal increase in antioxidant capacity relative to baseline (4%), but a substantial increase in ROMs (nearly 155%), even when controlling for circulating nutrient levels. We report an oxidative cost of eating that is much greater than that due to long distance flight or mounting an immune response in other taxa. This result demonstrates the importance of investigating non-energetic costs associated with meal processing, and it begs future work to identify the mechanism(s) driving this increase in ROM levels. Because energetic costs associated with eating are taxonomically widespread, identifying the taxonomic breadth of eating-induced ROM increases may provide insights into the interplay between oxidative damage and life history theory

Postprandial response of plasma insulin, amylin and acylated ghrelin to various test meals in lean and obese cats

The propensity of diets of different composition to promote obesity is a current topic in feline medicine. The effects of three meals with different protein:fat ratios on hormones (insulin, acylated ghrelin and amylin) involved in the control of food intake and glucose metabolism were compared. Five lean (two females and three males, 28·6 (sd 3·4) % body fat mass (BFM), mean body weight (BW) 4590g) and five obese (two females and three males, 37·1 (sd 4·1) % BFM, mean BW 4670g) adult cats were studied. Only BFM differed significantly between obese and lean cats. The cats were fed a high-protein (HP), a high-fat and a high-carbohydrate diet in a randomised cross-over design. Food intake did not differ between cats fed on the different diets, but obese cats consumed significantly more energy, expressed as per kg fat-free mass, than lean cats. After a 6-week adaptation period, a test meal was given and blood samples were collected before and 0, 30, 60 and 100min after the meal. Baseline concentrations of glucose, amylin and acylated ghrelin were higher in obese cats than in lean cats, and obese cats showed the highest postprandial responses of glucose and amylin. The HP diet led to higher postprandial amylin concentrations than the other diets, indicating a possible effect of amino acids on β-cell secretion. Postprandial ghrelin concentrations were unaffected by diet composition. The relationship between insulin, amylin and ghrelin secretion and their relevant roles in food intake and glucose metabolism in cats require further stud

Configuring electronic states in an atomically precise array of quantum boxes

Communication.-- et al.A 2D array of electronically coupled quantum boxes is fabricated by means of on-surface self-assembly assuring ultimate precision of each box. The quantum states embedded in the boxes are configured by adsorbates, whose occupancy is controlled with atomic precision. The electronic interbox coupling can be maintained or significantly reduced by proper arrangement of empty and filled boxes.The authors would like to acknowledge financial support from the Swiss Nanoscience Institute (SNI), Swiss National Science Foundation (Grants Nos. 200020-149713 and 206021-121461), the Spanish Ministry of Economy (Grant No. MAT2013-46593-C6-4-P), the Basque Government (Grant No. IT621-13), the São Paulo Research Foundation (Grant No. 2013/04855-0), Swiss Government Excellence Scholarship Program, Netherlands Organization for Scientific Research NWO (Chemical Sciences, VIDI-Grant No. 700.10.424), the European Research Council (ERC-2012-StG 307760-SURFPRO), University of Basel, University of Heidelberg, Linköping University, University of Groningen, Paul Scherrer Institute, and the Japan Science and Technology Agency (JST) “Precursory Research for Embryonic Science and Technology (PRESTO)” for a project of “Molecular technology and creation of new function.”Peer Reviewe

Acute hormonal response to glucose, lipids and arginine infusion in overweight cats

In cats, the incidence of obesity and diabetes is increasing, and little is known about specific aspects of the endocrine control of food intake in this species. Recent data suggest that ghrelin has an important role in the control of insulin secretion and vice versa, but this role has never been demonstrated in cats. Here we aimed to improve our understanding about the relationship between insulin, amylin and ghrelin secretion in response to a nutrient load in overweight cats. After a 16h fast, weekly, six overweight male cats underwent randomly one of the four testing sessions: saline, glucose, arginine and TAG. All solutions were isoenergetic and isovolumic, and were injected intravenously as a bolus. Glucose, insulin, acylated ghrelin (AG), amylin and prolactin were assayed in plasma before and 10, 20, 40, 60, 80 and 100min after the nutrient load. A linear mixed-effects model was used to assess the effect of bolus and time on the parameters. A parenteral bolus of glucose or arginine increased insulin and ghrelin concentrations in cats. Except for with the TAG bolus, no suppression of ghrelin was observed. The absence of AG suppression after the intravenous load of arginine and glucose may suggest: (1) that some nutrients do not promote satiation in overweight cats; or that (2) AG may be involved in non-homeostatic consumption mechanisms. However, the role of ghrelin in food reward remains to be assessed in cat

Data needs to be a priority

Findability, Accessibility, Interoperability, and Reusability (FAIR) data are essential to heliophysics and all scientific research. The principles of FAIR data ensure the reusability and findability of data, as well as its long-term care. The goal is that data are accessible for the ongoing discovery and verification process and can be used on their own or with newly generated data in future studies leading to innovations. With the onset in the previous decades of NASA and other agencies requiring mission data to be open to the public, heliophysics has already made great strides toward FAIR data and benefited from these efforts. Continued improvements in our metadata, data archives, and data portals and the addition of DOIs for data citation will ensure data will be FAIR, enabling further scientific discoveries, reproducibility of results, longitudinal studies, and verification and validation of models. Currently, not all the data collected are findable and on open networks or archives, and not all data on archives have DOIs. Within this study, we make recommendations to prioritize resources needed to satisfy FAIR data principles, treating them as a fundamental research infrastructure rather than a simple research product.• Data collection, preparation, archiving, and accessibility need to be a priority.• Data collection, preparation, archiving, and accessibility need dedicated and sustained funding support.• Data need to be accessible through investment in infrastructure: tools to access and read the data and personnel to maintain these data and IT infrastructure.• Data need to be collected in sustained ways to enable further science and, specifically, model validation efforts