Sökning: "design verification"

Visar resultat 1 - 5 av 300 avhandlingar innehållade orden design verification.

  1. 1. Data-driven and production-oriented tendering design using artificial intelligence

    Författare :Linda Cusumano; Chalmers tekniska högskola; []
    Nyckelord :HUMANIORA; HUMANITIES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Inspections; Requirement management; Systems engineering; Natural Language Processing; Knowledge transfer;

    Sammanfattning : Construction projects are facing an increase in requirements since the projects are getting larger, more technology is integrated into the buildings, and new sustainability and CO2 equivalent emissions requirements are introduced. As a result, requirement management quickly gets overwhelming, and instead of having systematic requirement management, the construction industry tends to trust craftsmanship. LÄS MER

  3. 2. System Level Techniques for Verification and Synchronization after Local Design Refinements

    Författare :Tarvo Raudvere; Axel Jantsch; Sandeep Shukla; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Electronic System Design; Refinement; Verification; Synchronization; Systems engineering; Systemteknik;

    Sammanfattning : Today's advanced digital devices are enormously complex and incorporate many functions. In order to capture the system functionality and to be able to analyze the needs for a final implementation more efficiently, the entry point of the system development process is pushed to a higher level of abstraction. LÄS MER

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

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

    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

  5. 4. Design and Verification of Component Based Real-Time Systems

    Författare :John Håkansson; Paul Pettersson; Wang Yi; Johan Lilius; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Component Based Software; Real-Time Systems; Model Checking; Verification; Timed Automata; Embedded Systems; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : The design of embedded real-time systems is becoming more and more challengingdue to the increasing complexity of new hardware platforms, requirements onnew system functionality, and economical constraints on system development.Component based design has been successful for the development of general-purposecomputer systems such as destop and e-business. LÄS MER

  7. 5. Hierarchical corner-based design rule checking

    Författare :Nils Hedenstierna; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; circuit verification; parallel algorithms; layout verification; VLSI; design rule checking DRC ;

    Sammanfattning : .... LÄS MER