The role of inspection in software quality assurance

Due to the complexity of the code, software is released with many errors. In response, both software practitioners and software researchers need to improve the reputation of the software. Inspection is the only way to improve the quality of software. Inspection methods can be more effective but success depends on having a sound and systematic procedure for conducting the inspection. The Workshop on Inspection in Software Engineering (WISE), a satellite event of the 2001 Computer Aided Verification (CAV '01) Conference, brought together researchers, practitioners, and regulators in the hope of finding effective approaches to software inspection. The workshop included invited lectures and paper presentations in the form of panel discussions on all aspects of software inspection. Submissions explained how practitioners and researchers were performing inspections, discussed the relevance of inspections, provided evidence of how inspections could be improved through refinement of the inspection process and computer aided tool support and explained how careful design of software could make inspections easier or more effective.     

Endothelial repair process and its relevance to longitudinal neointimal tissue patterns: comparing histology with in silico modelling

Re-establishing a functional endothelium following endovascular treatment is an important factor in arresting neointimal proliferation. In this study, both histology (in vivo) and computational simulations (in silico) are used to evaluate neointimal growth patterns within coronary arteries along the axial direction of the stent. Comparison of the growth configurations in vivo and in silico was undertaken to identify candidate mechanisms for endothelial repair. Stent, lumen and neointimal areas were measured from histological sections obtained from eight right coronary stented porcine arteries. Two re-endothelialization scenarios (endothelial cell (EC) random seeding and EC growth from proximal and distal ends) were implemented in silico to evaluate their influence on the morphology of the simulated lesions. Subject to the assumptions made in the current simulations, comparison between in vivo and in silico results suggests that endothelial growth does not occur from the proximal and distal ends alone, but is more consistent with the assumption of a random seeding process. This may occur either from the patches of endothelium which survive following stent implantation or from attachment of circulating endothelial progenitor cells.     

Robust nonblocking supervisory control of discrete-event systems

In this note, we generalize a robust supervisory control framework to deal with marked languages. We show how to synthesize a supervisor to control a family of plant models, each with its own specification. The solution we obtain is the most general in that it provides the closest approximation to the supremal controllable sublanguage for each plant/specification pair. We end the note by extending these results to deal with timed discrete-event systems.     

Hierarchical interface-based supervisory control-part II: parallel case

In this paper, we present a hierarchical method that decomposes a discrete-event system (DES) into a high-level subsystem which communicates with n/spl ges/1 parallel low-level subsystems, through separate interfaces which restrict the interaction of the subsystems. It is a generalization of the serial case (n=1) described in Part I of this paper, where we define an interface and a set of interface consistency properties that can be used to verify if a DES is nonblocking and controllable. Each clause of the definition can be verified using a single subsystem; thus the complete system model never needs to be stored in memory, offering potentially significant savings in computational resources. We provide algorithms for verifying these new properties, and briefly discuss the computational complexity of the method. Finally, we present an application to a large manufacturing example with an estimated worst-case closed-loop state-space size of 2.9/spl times/10/sup 21/.     

Software engineering practices and Simulink: bridging the gap

International Journal on Software Tools for Technology Transfer - Although widely used in embedded systems design, Matlab/Simulink is not considered a state-of-the-art design environment by the...     

Positive parenting in adolescence and its relation to low point narration and identity status in emerging adulthood: A longitudinal analysis.

In this longitudinal study, we examined identity development using the life story model (McAdams, 2001), in addition to a traditional identity status approach, in order to explore the association between perceived parenting in adolescence and the subsequent quality of life story narration in emerging adulthood. Participants (N = 100) were given a battery of questionnaires at ages 17 and 26 years and were asked to narrate a story at age 26 about their most difficult life experience. Low point narratives were analyzed for evidence of concluding clarity, resolution, and affective tone, termed coherent positive resolution (Pals, 2006). Structural equation modeling showed that participants who experienced more positive parenting at age 17 narrated their low points with clearer evidence of coherent positive resolution at age 26. Coherent positive resolution of the low point was also related to concurrent measures of identity achievement and emotional adjustment at age 26. Discussion centers on the potential impact of positive parenting as a contributor to healthy low point narration and identity in emerging adulthood. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Repository mining for changes in Simulink and Stateflow models

Software and Systems Modeling - Model-Based Development (MBD) is widely used for embedded controls development, with MATLAB/Simulink/Stateflow being one of the most used development environments in...     

Systemic modelling and computational physiology: The application of Bond Graph boundary conditions for 3D cardiovascular models

This paper presents an application of Bond Graphs in physiological modelling. In this work, a Bond Graph model is utilised as boundary condition for a detailed model of an idealized mitral valve. Applications of this type fit within the framework described by the “Virtual Physiological Human” initiative. This supports the integration of physical, mechanical and biochemical models encompassing a range of different length and time scales to obtain predictive models of the human body. Because 3D detailed modelling and simulation is computationally intensive, a 3D computational model of a whole biological system is, by today’s standards, impossible to achieve. Due to their unique multi-physics nature of internal coherence, Bond Graphs are particularly suited to biological applications and can be coupled to 3D models and lumped parameter models. A specific application in cardiovascular modelling is demonstrated by focusing on a specific example; a 3D model of the mitral valve coupled to a lumped parameter model of the left ventricle.     

Spot Weld Analysis With 2D Ultrasonic Arrays

This paper describes a threefold method of testing the performance of an array-based ultrasonic tool for nondestructive testing of spot welds. The tool is described in its capabilities, use, and advantages over existing counterparts. Performance testing for and the results from carrying out the testing are described. The three performance testing methods include 1) the use of calibrated samples, 2) comparisons with actual spot-welds, and 3) a performance evaluation of the embedded fitting software. The test of the fitting software was carried out by a comparison of results with reference fits supplied by the National Institute of Standards and Technology.