Laatukäsikirjan laatiminen Refinec Oy:lle

Tämän kandidaatintyön tavoitteena oli tutkia, mikä on laatukäsikirjan merkitys laadunhallintajärjestelmässä, miten laadunhallintajärjestelmä sertifioidaan ja mitä hyötyä Refinec Oy:lle olisi sertifioidusta laadunhallintajärjestelmästä. Refinec Oy:lle laadittiin kandidaatintyössä laatukäsikirja ja siihen kuuluvat liitteet ja toimintaohjeet valmiin laadunhallintajärjestelmän pohjalle. Tavoitteena oli tuottaa Refinec Oy:lle laadunhallintajärjestelmän sertifiointiin tarvittavat dokumentit. Laatukäsikirja laadittiin standardin SFS-EN ISO 9001:2008 mukaisesti. ISO 9001 on kansainvälinen standardi joka käsittelee laadunhallintajärjestelmiä ja niiden vaatimuksia. Laatukäsikirjan liitteeksi laadittiin taulukoita erilaisia tarkastuksia ja raportointeja varten. Lisäksi Refinec Oy:lle laadittiin yhdessä yrityksen johdon kanssa toimintaohjeet, joiden mukaan Refinec Oy toimii. Tutkimus osoitti laatukäsikirjan olevan keskeinen osa laadunhallintajärjestelmää, sillä laadunhallintajärjestelmän auditointi suoritetaan laatukäsikirjan perusteella. Laadunhallintajärjestelmän sertifioinnissa auditoija tarkastaa sen olevan standardin mukainen niin laatukäsikirjassa kuvattuna kuin käytännössäkin. Refinec Oy halusi dokumentit laadunhallintajärjestelmästä ja toimintaohjeista, jotta asiakkaille voitaisiin taata ja todentaa toiminnan laatu ja harkitsee laadunhallintajärjestelmän sertifiointia.

Tietoturvallisuuden hallintajärjestelmät terveydenhuollon organisaatiossa

Tietoturvallisuuden hallintajärjestelmä on organisaation laatujärjestelmän osa, joka keskittyy tietoturvallisuuteen liittyvien riskien hallintaan. Tässä työssä esitellään erityisesti terveydenhuoltoalaan liittyviä tietoturvavaatimuksia ja vertaillaan kuutta tietoturvallisuuden hallintajärjestelmämallia. Työssä tutkitaan millaisia eroja tietoturvallisuuden hallintajärjestelmien rakenteessa ja kattavuudessa on ja miten ne kykenevät vastaamaan terveydenhuoltoalan tietoturvaan liittyviin erityistarpeisiin. Lopputuloksena valitaan parhaiten soveltuva tietoturvallisuuden hallintajärjestelmä esimerkkiorganisaatiolle, joka on julkisomisteinen kuntoutusyhtiö. Arvioitavia hallintajärjestelmämalleja ovat TCSEC, ITSEC, Common Criteria, SOGP, VAHTI-ohjeet sekä ISO/IEC 27001 -standardiperhe. Tietoturvallisuuden hallintajärjestelmämalleja verrataan kahdesta aiemmasta tutkimuksesta sovellettujen vertailumallien pohjalta. Vertailun perusteella todetaan TCSEC, ITSEC ja Common Criteria –standardien olevan muita arvioituja hallintajärjestelmämalleja suppeampia ja soveltuvan parhaiten tekniseen tuotekehitystoimintaan. Laajempia SOGP-, VAHTI- ja ISO/IEC 27001 –malleja verrataan vielä erikseen terveydenhuollon sekä esimerkkiyrityksen erityistarpeisiin nähden ja lopputuloksena päädytään valitsemaan esimerkkiyritykselle parhaiten soveltuvaksi hallintajärjestelmämalliksi ISO/IEC 27001.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

La gestion de la qualité des soins dans un contexte de contrat liant un établissement public et un partenaire privé

Travail dirigé présenté à la Faculté des sciences infirmières en vue de l'obtention du grade M.S. ès sciences (M. Sc) en sciences infirmières, option administration des sciences infirmières

An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Impact Assessment Of Biocides On Microalgae - A Study In Vitro

The present study was undertaken to make a detailed investigation for_ the assessment of specific impact of commonly used biocides at the lower trophic level of food chain i.e., microalgae by using batch culture techniques in the laboratory. Microalgal representatives from three habitats i.e., fresh water, estuarine and marine were investigated. The different biocides selected are of common use in the agricultural practices. Because of the importance of microalgae as live feed for larval and postlarval stages of different aquatic organisms, the fluctuations in algal populations as a result of biocide treatment will surely affect the food chain. These studies are also of significance in setting the criteria and standards for water quality management by suggesting threshold values of different biocides tested, beyond which they affect the ecosystem adversely. The thesis has been divided into six chapters

Gap Analysis For Implementing Tqm In Seafood Exporting Firms

Gap analysis is a very useful tool for firms contemplating adoption of a new system. This paper envisages the use of the gap analysis tool as a precursor for Indian seafood exporting firms to adopt total quality management. Total quality management (TQM) is a management philosophy which strives to put quality at the forefront of all its decision-making, thereby satisfying customers. We therefore recommend that firms adopt the TQM system for better alignment of management goals. The gap analysis tool serves as a roadmap for TQM implementation, by showing the management where they actually are and where they want to be. The main gaps were found to be in the areas of usage of SPC tools (66.7%), benchmarking (65.6%), top management commitment (56.25%) and customer focus (48.1%).

Sistemes integrats de gestió: qualitat, medi ambient i prevenció: presentacions [versió html]

Les organitzacions es veuen actualment envoltades d’un entorn en constant canvi. Les empreses que volen sobreviure en aquest context de creixent competitivitat i internacionalització dels mercats, tenen en els models de gestió una eina per a la millora de la seva gestió diària, la presa de decisions en l’empresa i l’establiment d’una estratègia que les ajudi a avançar cap a l’excel·lència empresarial. Els models de gestió empresarial neixen amb la idea de fomentar aquest paradigma de la qualitat i han anat evolucionant fins a arribar als anomenats Sistemes Integrats de Gestió, SIG, que aborden la gestió de la qualitat, el medi ambient i la seguretat d’una manera conjunta

Sistemes integrats de gestió: qualitat, medi ambient i prevenció: presentacions [versió comprimida]

Les organitzacions es veuen actualment envoltades d’un entorn en constant canvi. Les empreses que volen sobreviure en aquest context de creixent competitivitat i internacionalització dels mercats, tenen en els models de gestió una eina per a la millora de la seva gestió diària, la presa de decisions en l’empresa i l’establiment d’una estratègia que les ajudi a avançar cap a l’excel·lència empresarial. Els models de gestió empresarial neixen amb la idea de fomentar aquest paradigma de la qualitat i han anat evolucionant fins a arribar als anomenats Sistemes Integrats de Gestió, SIG, que aborden la gestió de la qualitat, el medi ambient i la seguretat d’una manera conjunta

Metodolog??a de la evaluaci??n de la ense??anza universitaria

Resumen de los autores. Res??menes en espa??ol e ingl??s

La ISO 9000: ¿Seguirá siendo válida en la nueva era de la gestión de la calidad?

Si bien la gestión de la Calidad siempre ha estado presente en nuestro entorno, no es hasta la aparición de la famosa normativa ISO 9000 que su impacto se ha incluso popularizado, tanto a escala nacional como internacional. En la actualidad, cuando las empresas y organizaciones de nuestro país se plantean nuevos retos (modelos de gestión de la calidad total como el EFQM, nuevos estándares de gestión como la ISO 14000, estándares de soporte como la ISO 10000, …), en este artículo nos preguntamos si la ISO 9000 seguirá siendo válida en esta nueva era

Elementos para la formulación de planes de mejoramiento de la calidad de agua para consumo humano

Los planes de mejoramiento son el instrumento para encauzar la gestión de la calidad del agua. Esta propuesta aborda enfoques estratégicos y frentes de acción para el suministro de agua potable. Se incluye una guía metodológica y un esquema de evaluación integral, para formular planes viables y verificables.

Implementación de la administración de costos de calidad en TGS : impresora de valores

Basándose en la necesidad manifiesta de la empresa Thomas Greg & Sons de Colombia por controlar los costos en los que incurre por adoptar un Sistema de Gestión de Calidad, se realizó una investigación de los procesos que realiza la empresa a nivel productivo y el esquema de costos que utiliza a nivel organizacional, con el fin de proponer y concebir un modelo de administración de costos de la calidad y de la no calidad que sea conforme a lo esperado por la alta gerencia y que contribuya significativamente al control de costos.

Projecte FPQ : cap a una formació professional de qualitat. 'Proyecto FPQ : hacia una formación profesional de calidad'.

Resumen tomado de la propia publicación

Prevalencia de los síntomas otorrinolaringológicos y factores asociados en los trabajadores de una central de llamadas en la ciudad de Bogotá Colombia

La industria de las centrales de llamadas es uno de los sectores de más rápido crecimiento en el mundo desarrollado, gracias a los avances tecnológicos han permitido su uso cada vez más generalizado desarrollando servicios integrales que son accesibles las 24 horas del día. Los operadores telefónicos o tele-operadores de esta industria se ven enfrentados a jornadas laborales en las que se exponen al uso constante de la voz, utilización permanente de auriculares de comunicación, confinamiento en estaciones de trabajo delimitadas pero no aisladas; aumentando así la prevalencia de síntomas como los otorrinolaringológicos. Este estudio tiene como objeto identificar la prevalencia de síntomas otorrinolaringológicos dados por alteraciones de la voz, compromiso auditivo y síntomas de la vía respiratoria superior durante la jornada laboral de los trabajadores de una central de llamadas de una prestigiosa empresa aseguradora de la ciudad de Bogotá Colombia, así como también identificar la asociación de factores demográficos organizacionales y biológicos con los síntomas otorrinolaringológicos y analizar el medio ambiente laboral de dicha empresa y la relación de los síntomas otorrinolaringológicos con mediciones de ruido, temperatura y humedad. La población estudiada fue de 81 tele operadores de los cuales 61 (75.3%) fueron mujeres, se evidencio que las enfermedades respiratorias altas tienen una prevalencia del 36%, también se reporto una prevalencia del 85% (69) tele operadores reportaron por lo menos un síntoma de voz y solo 12 tele operadores 15% no reportaron ningún síntoma. En cuanto a la hipoacusia solo 5 (6.2%) reportaron disminución de la agudeza auditiva