Sökning: "Kompositionell"

Hittade 5 avhandlingar innehållade ordet Kompositionell.

  1. 1. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

    Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

    Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER

  3. 2. Automatic Extraction of Program Models for Formal Software Verification

    Författare :Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

    Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER

  4. 3. A Theory of Architectural Objects to support Design Configuration

    Författare :Fredrik Wikberg; Projekteringsmetodik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architectural design; architectural object; design configuration; BIM; product platforms;

    Sammanfattning : The thesis presents the results from a research project targeting architectural design and house-building in a setting of industrialized design process and product platforms. During the early stages of a traditional design process, architects manage a degree of problem complexity, besides technical aspects, also includes user function, material, environment, aesthetics etc. LÄS MER

  5. 4. Recirculation of scrapped resources : The role of material information in enhancing the sustainability of recycling

    Författare :Reinol Josef Compañero; Andreas Feldmann; Peter Samuelsson; Pär Jönsson; Guozhu Ye; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Steel recycling; anthropogenic resources; scrap; value of information; Circular Economy; sustainability; Stål återvinning; antropogena resurser; skrot; cirkulär ekonomi; hållbarhet; Materials Science and Engineering; Teknisk materialvetenskap;

    Sammanfattning : Industries have responded to the climate change problem by positioning their activities as compatible with concepts such as the Circular Economy. Conveying the idea of maximizing and keeping the resources in a manner that aligns with the principles of sustainable development, the endorsements for implementing circularity measures has arguably become a boon for businesses. LÄS MER

  7. 5. Automated Creation of Safety Cases for Highly Configurable Systems

    Författare :Damir Nešić; Mattias Nyberg; Ewen Denney; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Design; Maskinkonstruktion;

    Sammanfattning : Regardless of the domain, the size and complexity of software-intensive systems is constantly increasing. At the same time, to satisfy the needs of different customers, systems are more frequently being engineered as configurable, where individual customers can select the configuration that suits them best. LÄS MER