Sökning: "product verification"
Visar resultat 1 - 5 av 65 avhandlingar innehållade orden product verification.
1. Module property verification : A method to plan and perform quality verifications in modular architectures
Sammanfattning : 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. LÄS MER
2. Procedure-Modular Verification of Temporal Safety Properties
Sammanfattning : 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. LÄS MER
3. Automated Verification and Generation of Flexible Automation Control
Sammanfattning : 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. LÄS MER
4. Increasing Product Quality by Verification and Validation Improvements in an Industrial Setting
Sammanfattning : 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. LÄS MER
5. Pilot Production and Manufacturing Start-up in the Automotive Industry. Principles for Improved Performance
Sammanfattning : 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. LÄS MER