Sökning: "gedell"

Hittade 4 avhandlingar innehållade ordet gedell.

  1. 1. Efficient Means for Platform-Based Development – Emphasizing Integrated, Information-Rich System Models

    Författare :Stellan Gedell; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; function-means model; product families; product model; design rationale; integral model; platform-based design; reuse; systems theory; complete; consistent; product development; configurable component;

    Sammanfattning : Competition in the automotive industry is fierce, which in recent years has been demonstrated by some of the companies’ struggle to survive. A significant challenge is posed by the market’s ever-increasing expectations of new and impressive products, while maintaining profitability. LÄS MER

  3. 2. Platform-Based Design - Design Rationale Aspects within the Configurable Component Concept

    Författare :Stellan Gedell; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; design rationale; derivate designs; configurable components; set-based design; product model; re-use; platform-based design; function-means tree;

    Sammanfattning : Competition, emanating from globalization and the continuing evolution in supplier chains, especially within the automotive industry, creates pressure on every phase of a design´s lifecycle to be more efficient. Requirements, which at least are perceived as conflicting, on one hand a low product price achieved by high volumes and economy of scale, and on the other hand the customers´ whish of individualized products, push for new approaches. LÄS MER

  4. 3. Combining and Strengthening Program Analysis and Verification

    Författare :Tobias Gedell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about methods for establishing semantic properties of programsand how those methods can be strengthened. Finding (semi-)algorithms fordeciding semantic properties is a non-trivial task and such algorithms will, bynecessity, give approximate answers. LÄS MER

  5. 4. Static Analysis and Deductive Verification of Programs

    Författare :Tobias Gedell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is concerned with analysis of programs. Analysis of programs can be divided into two camps: static analysis and formal verification.Static program analyses compute a result and terminate for all programs. LÄS MER