Search for dissertations about: "product verification"

Showing result 1 - 5 of 64 swedish dissertations containing the words product verification.

  2. 1. Module property verification : A method to plan and perform quality verifications in modular architectures

    Author : Patrik Kenger; Mauro Onori; Christoph Hanisch; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modular products; product architecture; product verification; test; inspection; product assembly; defects; Manufacturing engineering; Produktionsteknik;

    Abstract : Modular product architectures have generated numerous benefits for companies in terms of cost, lead-time and quality. The defined interfaces and the module’s properties decrease the effort to develop new product variants, and provide an opportunity to perform parallel tasks in design, manufacturing and assembly. READ MORE

  4. 2. Procedure-Modular Verification of Temporal Safety Properties

    Author : Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Abstract : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. READ MORE

  5. 3. Automated Verification and Generation of Flexible Automation Control

    Author : Johan Richardsson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; manufacturing systems; program generation; control; verification;

    Abstract : Consumer product life-cycles are constantly shortening; the automotive industry is an illustrative example. As a consequence, the introduction of new products into the manufacturing system necessarily becomes more frequent. Inherently, this brings a performance reduction for the manufacturing system. READ MORE

  6. 4. Increasing Product Quality by Verification and Validation Improvements in an Industrial Setting

    Author : Tomas Berling; Institutionen för datavetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Verification; Software Engineering; Software Validation; Process Improvement; Software Process Metrics; Factorial Design; Software Inspection; computer technology; Systems engineering; Data- och systemvetenskap;

    Abstract : Large and complex software systems are developed as a tremendous engineering effort. The aim of the development is to satisfy the customer by delivering the right product, with the right quality, and on time. READ MORE

  7. 5. Pilot Production and Manufacturing Start-up in the Automotive Industry. Principles for Improved Performance

    Author : Henrik Almgren; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; disturbance control; performance; verification; manufacturing start-up; learning; pilot production; Swedish automotive industry; product and production preparation;

    Abstract : The dissertation is based on experiences from Volvo Car Corporation and examines pilot production and manufacturing start-up, processes that are here combined under the rubric final verification of product and production system. The purpose of this dissertation is to study pilot production and manufacturing start-up in order, first, to identify and analyze factors affecting final verification performance and, secondly, to develop general principles for how final verification performance can be improved. READ MORE