On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Shewhart's control charts and process capability ratio applied to a sewage treatment station

The current study used statistical methods of quality control to evaluate the performance of a sewage treatment station. The concerned station is located in Cascavel city, Paraná State. The evaluated parameters were hydrogenionic potential, settleable solids, total suspended solids, chemical oxygen demand and biochemical oxygen demand in five days. Statistical analysis was performed through Shewhart control charts and process capability ratio. According to Shewhart charts, only the BOD(5.20) variable was under statistical control. Through capability ratios, we observed that except for pH the sewage treatment station is not capable to produce effluents under characteristics that fulfill specifications or standard launching required by environmental legislation.

Implementation of the trauma registry as a tool for quality improvement in trauma care in a brazilian hospital: the first 12 months

ABSTRACTObjective:to analyze the implementation of a trauma registry in a university teaching hospital delivering care under the unified health system (SUS), and its ability to identify points for improvement in the quality of care provided.Methods:the data collection group comprised students from medicine and nursing courses who were holders of FAPESP scholarships (technical training 1) or otherwise, overseen by the coordinators of the project. The itreg (ECO Sistemas-RJ/SBAIT) software was used as the database tool. Several quality "filters" were proposed to select those cases for review in the quality control process.Results:data for 1344 trauma patients were input to the itreg database between March and November 2014. Around 87.0% of cases were blunt trauma patients, 59.6% had RTS>7.0 and 67% ISS<9. Full records were available for 292 cases, which were selected for review in the quality program. The auditing filters most frequently registered were laparotomy four hours after admission and drainage of acute subdural hematomas four hours after admission. Several points for improvement were flagged, such as control of overtriage of patients, the need to reduce the number of negative imaging exams, the development of protocols for achieving central venous access, and management of major TBI.Conclusion: the trauma registry provides a clear picture of the points to be improved in trauma patient care, however, there are specific peculiarities for implementing this tool in the Brazilian milieu.

Tuotantoympäristön jatkuva parantaminen

Tutkimuksen tavoitteena oli luoda kohdeyritykseen toimintamalli, jonka avulla saadaan osallistettua työntekijät, tiiminvetäjät ja työnjohto tuotannon jatkuvaan parantamiseen sekä parannettua tuotannon takaisinkytkentää tiimitasolla. Tutkimus rajattiin pilottitiimiin sekä tiimissä olevien työpisteiden kautta reititettyihin tuotteisiin. Ennen tutkimuksen aloitusta yrityksellä oli jo olemassa sähköinen aloitejärjestelmä, mutta sen käyttö oli organisaation uudelleen järjestelyjen myötä vähentynyt. Tutkimuksen teoriaosassa tutustuttiin jatkuvan parantamisen kulttuuriin ja työkaluihin. Lisäksi tutustuttiin laadunhallinnan sisältöön, käsitteistöön ja laadunvalvontatyökaluihin sekä tuotannon mittareihin. Teorian pohjalta tutkimuksessa luotiin jatkuvan parantamisen toimintamalli, joka tunnistaa ja eliminoi prosessissa olevaa hukkaa osallistamalla pilottitiimin työntekijöitä hukkakorttien avulla. Lisäksi tutkimuksessa luotiin toimintamalli tuotannon kehitysideoiden raportointiin ja käsittelyyn. Tuotannon takaisinkytkentää kehitettiin luomalla pilottitiimiin tuloskortti sekä perustamalla yritykseen päiväkatsauskäytäntö. Tutkimuksessa suoritettiin myös toimihenkilötason kehitysprojekteja käyttäen apuna teoriassa esiteltyjä malleja ja työkaluja. Tuloksena saatiin toimintamalli, joka tuottaa työntekijämäärään suhteutettuna enemmän kehitysideoita sekä käsittelee ne tehokkaammin kuin sähköinen aloitejärjestelmä. Hukkakorteilla toteutetun hukan raportoinnin kautta tunnistettiin ja raportoitiin seitsemän viikon tarkasteluajanjakson aikana yhteensä 23,6 tuntia hukka-aikaa. Tiimin tuloskortin avulla tiimin työntekijät pystyivät viikkotasolla seuraamaan oman tiiminsä suorituskykyä tavoitearvoihin verrattuna. Tämä näkyi muun muassa tiimin suoritustason nousuna. Kehitysprojektien avulla saatiin parannettua pilottitiimin toiminnan ja tuotteiden laatua. Päiväkatsauskäytännön avulla saatiin osallistettua tiiminvetäjät ongelmaratkaisuun sekä tuotannon suorituskyvyn varmistamiseen.

Quality assurance of refuse derived fuel with machine vision

This thesis studies the use of machine vision in RDF quality assurance and manufacturing. Currently machine vision is used in recycling and material detection and some commer- cial products are available in the market. In this thesis an on-line machine vision system is proposed for characterizing particle size. The proposed machine vision system is based on the mapping between image segmenta- tion and the ground truth of the particle size. The results shows that the implementation of such machine vision system is feasible.

Development and characterization of thin printed films for gas sensing applications

The monitoring and control of hydrogen sulfide (H2S) level is of great interest for a wide range of application areas including food quality control, defense and antiterrorist applications and air quality monitoring e.g. in mines. H2S is a very poisonous and flammable gas. Exposure to low concentrations of H2S can result in eye irritation, a sore throat and cough, shortness of breath, and fluid retention in the lungs. These symptoms usually disappear in a few weeks. Long-term, low-level exposure may result in fatigue, loss of appetite, headache, irritability, poor memory, and dizziness. Higher concentrations of 700 - 800 ppm tend to be fatal. H2S has a characteristic smell of rotten egg. However, because of temporary paralysis of olfactory nerves, the smelling capability at concentrations higher than 100 ppm is severely compromised. In addition, volatile H2S is one of the main products during the spoilage of poultry meat in anaerobic conditions. Currently, no commercial H2S sensor is available which can operate under anaerobic conditions and can be easily integrated in the food packaging. This thesis presents a step-wise progress in the development of printed H2S gas sensors. Efforts were made in the formulation, characterization and optimization of functional printable inks and coating pastes based on composites of a polymer and a metal salt as well as a composite of a metal salt and an organic acid. Different processing techniques including inkjet printing, flexographic printing, screen printing and spray coating were utilized in the fabrication of H2S sensors. The dispersions were characterized by measuring turbidity, surface tension, viscosity and particle size. The sensing films were characterized using X-ray photoelectron spectroscopy, X-ray diffraction, atomic force microscopy and an electrical multimeter. Thin and thick printed or coated films were developed for gas sensing applications with the aim of monitoring the H2S concentrations in real life applications. Initially, a H2S gas sensor based on a composite of polyaniline and metal salt was developed. Both aqueous and solvent-based dispersions were developed and characterized. These dispersions were then utilized in the fabrication of roll-to-roll printed H2S gas sensors. However, the humidity background, long term instability and comparatively lower detection limit made these sensors less favourable for real practical applications. To overcome these problems, copper acetate based sensors were developed for H2S gas sensing. Stable inks with excellent printability were developed by tuning the surface tension, viscosity and particle size. This enabled the formation of inkjet-printed high quality copper acetate films with excellent sensitivity towards H2S. Furthermore, these sensors showed negligible humidity effects and improved selectivity, response time, lower limit of detection and coefficient of variation. The lower limit of detection of copper acetate based sensors was further improved to sub-ppm level by incorporation of catalytic gold nano-particles and subsequent plasma treatment of the sensing film. These sensors were further integrated in an inexpensive wirelessly readable RLC-circuit (where R is resistor, L is inductor and C is capacitor). The performance of these sensors towards biogenic H2S produced during the spoilage of poultry meat in the modified atmosphere package was also demonstrated in this thesis. This serves as a proof of concept that these sensors can be utilized in real life applications.

Ympäristöjohtaminen tienrakennushankkeessa

Tässä diplomityössä tutkittiin tienrakentamisen aikaista ympäristöjohtamista. Työn tavoitteena oli arvioida jo toteutuneen infrastruktuuriprojektin rakentamisen aikaisen ympäristöjohtamisen onnistumista, verrata toteutunutta ympäristöjohtamista standardiin SFS-EN ISO 14001 ja löytää standardin avulla kehitysehdotukset vastaavanlaisten projektien toteuttamisen aikaiseen ympäristöjohtamiseen tulevaisuudessa. Työ toteutettiin tutkimalla esimerkkiprojektin ympäristönsuojelulle ja ympäristövaikutusten seurannalle tehtyjä suunnitelmia, projektin rakentamisen aikana koottua laatuaineistoa, projektin aikana pidettyjä kokouksia ja tiedotustilaisuuksia sekä haastattelemalla projektin ympäristöjohtamisen toteutuksen kannalta avainhenkilöitä. Tutkimuksessa havaittiin, että jos projektijohto hyödyntäisi ISO 14001 standardia ym-päristöjohtamisensa perustana vastaavanlaisissa tienrakennusprojekteissa, pystyisi se kehittämään projektin urakoitsijoiden hankintavaihetta, projektin aikaista sisäistä ja ulkoista viestintää sekä projektinjohdon toteuttamaa laadunvalvontaa projektin aikana. ISO 14001 standardin hyödyntäminen projektin toteuttamisen aikaisessa ympäristöjoh-tamisessa vaatisi projektin ylimmän johdon sitoutumista standardin noudattamiseen. Ympäristöjohtaminen tulee implementoida osaksi projektijohtamista ja sen toimijoilla tulee olla konkreettista vaikutusvaltaa projektin toimintaan. Projektijohdon sitoutuminen standardin mukaisuuteen antaa puitteet ja käytännöt sekä vaatia että valvoa projektin toimijoiden ympäristönsuojelun toteutumista, raportointia ja viestintää.

Production Quality Analysis of Special Elevator Cars Based on Six Sigma Approach

Project scope is to utilize Six Sigma DMAIC approach and lean principles to improve production quality of the case company. Six Sigma tools and techniques are explored through a literature review and later used in the quality control phase. The focus is set on the Pareto analysis to demonstrate the most evident development areas in the production. Materials that are not delivered to the customer or materials that damaged during transportation comprise the biggest share of all feedbacks. The goal is set to reduce these feedbacks by 50 %. Production observation pointed out that not only material shortages but also over-production is a daily situation. As a result, an initial picking list where the purchased and own production components can be seen, is created, reduction of over- and underproduction and material marking improvement are seen the most competitive options so that the goal can be reached. The picking list development should still continue to make sure that the list can be used not only in the case study but also in the industrial scale. The reduction of material missing category can be evaluated reliably not sooner than in few years because it takes time to gather the needed statistical information.

The Effectiveness of Learning Portfolios: A Study of Quality Assurance Programs of Selected Health Regulatory Colleges in Ontario

Health regulatory colleges promote quality practice and continued competence through Quality Assurance (QA) programs. For many colleges, a QA program includes the use of portfolios that incorporate self-directed learning. The purpose of this study was to determine some of the issues surrounding the effectiveness of QA portfolio programs. The literature review revealed that portfolios are valuable tools, but gaps in knowledge include a comparative analysis of QA programs and the perspective of regulatory college administrators. Data were collected through interviews with 6 administrators and a review of 14 portfolio models described on college websites. The results from the two data sources were applied to Robert Stake's responsive evaluation framework to identify issues related to the portfolio's effectiveness (Stake, 1967). The learning components of portfolios were analyzed through the humanist and constructivist lenses. All 14 portfolio models were found to have 3 main components: self-diagnosis, learning plan and activities, and self-evaluation. However, differences were uncovered in learners' autonomy in selecting learning activities, methods of portfolio evaluation, and the relationship between the portfolio and other QA components. The results revealed a dual philosophy of learning in portfolio models and an apparent contradiction between the needs of the individual learner and the organization. Paths for future research include the tenuous relationship between competence and learning, and the impact of technical approaches on selfdirected learning initiatives. A key recommendation is to acknowledge the unique identity of each profession so that health regulatory colleges can address legislative demands and learner needs.

Chapter 10: Antemortem Handling and Welfare

The chapter discusses the following topics: Continuous Measurement and Monitoring, Meat Quality Correlations, How Stressful is Slaughter?, Causes of Poor Welfare Audit Scores, Animal Vision, Hearing and Smell, Basic Handling Principles, Handler Movement Patterns, Design of Handling Facilities, Design and Operation of Restraint Devices, Stunning, Stunning Method and Blood-Splash, Bruising and Meat Quality.

Development of Safety and Quality Management System in Shrimp Farming

Shrimp Aquaculture has provided tremendous opportunity for the economic and social upliftment of rural communities in the coastal areas of our country Over a hundred thousand farmers, of whom about 90% belong to the small and marginal category, are engaged in shrimp farming. Penaeus monodon is the most predominant cultured species in India which is mainly exported to highly sophisticated, quality and safety conscious world markets. Food safety has been of concem to humankind since the dawn of history and the concern about food safety resulted in the evolution of a cost effective, food safety assurance method, the Hazard Analysis Critical Control Point (HACCP). Considering the major contribution of cultured Penaeus monodon to the total shrimp production and the economic losses encountered due to disease outbreak and also because traditional methods of quality control and end point inspection cannot guarantee the safety of our cultured seafood products, it is essential that science based preventive approaches like HACCP and Pre requisite Programmes (PRP) be implemented in our shrimp farming operations. PRP is considered as a support system which provides a solid foundation for HACCP. The safety of postlarvae (PL) supplied for brackish water shrimp farming has also become an issue of concern over the past few years. The quality and safety of hatchery produced seeds have been deteriorating and disease outbreaks have become very common in hatcheries. It is in this context that the necessity for following strict quarantine measures with standards and code of practices becomes significant. Though there were a lot of hue and cry on the need for extending the focus of seafood safety assurance from processing and exporting to the pre-harvest and hatchery rearing phases, an experimental move in this direction has been rare or nil. An integrated management system only can assure the effective control of the quality, hygiene and safety related issues. This study therefore aims at designing a safety and quality management system model for implementation in shrimp farming and hatchery operations by linking the concepts of HACCP and PRP.

Development of Total Quality Management System in Seafood (Freezing) Industry in Kerala

Quality related problems have become dominant in the seafood processing industry in Kerala. This has resulted in the rejection of seafood sent from India to many destinations. The latest being the total block listing of seafood companies from India from being exported to Europe and partial block listing by the US. The quality systems prevailed in the seafood industry in India were outdated and no longer in use in the developed world. According to EC Directive discussed above all the seafood factories exporting to European countries have to adopt HACCP. Based on this, EIA has now made HACCP system mandatory in all the seafood processing factories in India. This transformation from a traditional product based inspection system to a process control system requires thorough changes in the various stages of production and quality management. This study is conducted by the author with to study the status of the existing infrastructure and quality control system in the seafood industry in Kerala with reference to the recent developments in the quality concepts in international markets and study the drawbacks, if any, of the existing quality management systems in force in the seafood factories in Kerala for introducing the mandatory HACCP concept. To assess the possibilities of introducing Total Quality Management system in the seafood industry in Kerala in order to effectively adopt the HACCP concept. This is also aimed at improving the quality of the products and productivity of the industry by sustaining the world markets in the long run.

Predicting overall service quality: a structural equation modelling approach

In this article, the results of a modified SERVQUAL questionnaire (Parasuraman et al., 1991) are reported. The modifications consisted in substituting questionnaire items particularly suited to a specific service (banking) and context (county of Girona, Spain) for the original rather general and abstract items. These modifications led to more interpretable factors which accounted for a higher percentage of item variance. The data were submitted to various structural equation models which made it possible to conclude that the questionnaire contains items with a high measurement quality with respect to five identified dimensions of service quality which differ from those specified by Parasuraman et al. And are specific to the banking service. The two dimensions relating to the behaviour of employees have the greatest predictive power on overall quality and satisfaction ratings, which enables managers to use a low-cost reduced version of the questionnaire to monitor quality on a regular basis. It was also found that satisfaction and overall quality were perfectly correlated thus showing that customers do not perceive these concepts as being distinct

A hybrid method for sag source location in power network

The work presented in this paper belongs to the power quality knowledge area and deals with the voltage sags in power transmission and distribution systems. Propagating throughout the power network, voltage sags can cause plenty of problems for domestic and industrial loads that can financially cost a lot. To impose penalties to responsible party and to improve monitoring and mitigation strategies, sags must be located in the power network. With such a worthwhile objective, this paper comes up with a new method for associating a sag waveform with its origin in transmission and distribution networks. It solves this problem through developing hybrid methods which hire multiway principal component analysis (MPCA) as a dimension reduction tool. MPCA reexpresses sag waveforms in a new subspace just in a few scores. We train some well-known classifiers with these scores and exploit them for classification of future sags. The capabilities of the proposed method for dimension reduction and classification are examined using the real data gathered from three substations in Catalonia, Spain. The obtained classification rates certify the goodness and powerfulness of the developed hybrid methods as brand-new tools for sag classification

Introducción de la metodología análisis modal de fallos y efectos (AMFE) como herramienta de gestión en una ese del distrito capital de II nivel

El presente trabajo expone la elaboración de un proceso sistemático para la identificación y clasificación de modos de fallo utilizando la metodología ANÁLISIS MODAL DE FALLOS Y EFECTOS (AMFE), como un procedimiento de gran utilidad para mejorar la calidad y seguridad de la prestación de servicios asistenciales. Se analizaron 254 modos de fallo, en el servicio de urgencias de una ESE de II Nivel del Distrito Capital, se utilizó una herramienta de selección de procesos denominada Matriz de Priorización utilizada por el Centro de Gestión Hospitalaria con algunas adaptaciones de acuerdo con las necesidades institucionales. Se calificaron 227 de ellos correspondiendo a un 89,37%. Se entrevistaron 48 médicos, 27 enfermeras, 27 auxiliares de enfermería y 9 camilleros, para un total de 111 colaboradores que corresponden al 30% del total del personal del servicio de urgencias. Se generó una hoja de control de calidad (aceptación) del ejercicio con un porcentaje total del 85%, teniendo como resultado que 102 personas de las 111 encuestadas, diligenciaron correctamente la totalidad de los campos del formato AMFE. Se buscó Implementar el uso de la metodología AMFE como herramienta de gestión y mejora de procesos institucionales, realizando una prueba piloto al proceso seleccionado y evaluando si esta metodología se podía aplicar a otros procesos asistenciales. Se observó que de la totalidad de los modos de fallo el mayor valor de criticidad se encontró en el rango de 45 puntos. Se determinaron 11 modos de fallos en esta categoría, los cuales se encuentran dos asociados dos están asociados con el acceso del paciente a la institución, siete relacionados con el Registro e Ingreso del usuario, uno relacionado con la planeación de la atención y dos relacionados con la ejecución del tratamiento. Palabras claves: Análisis Modal De Fallos y Efectos (AMFE), urgencias, mejora continua.