Sökning: "contract-based design"

Hittade 4 avhandlingar innehållade orden contract-based design.

  1. 1. Assurance Aware Contract-based Design for Safety-critical Systems

    Författare :Irfan Sljivo; Hans Hansson; Barbara Gallina; Jan Carlson; Mario Trapp; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human life, or damage to property or the environment. Such systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. LÄS MER

  3. 2. Automated Deductive Verification of Safety-Critical Embedded Software

    Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

    Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER

  4. 3. Modeling and Design of Wireless Protocols for Networked Control Applications

    Författare :Piergiuseppe Di Marco; Karl Henrik Johansson; Adam Wolisz; KTH; []
    Nyckelord :SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Sammanfattning : Wireless networking offers great potentials for the development of new applications in real-time monitoring and control. However, current design processes do not simultaneously consider energy efficiency, system requirements, and standards compatibility. LÄS MER

  5. 4. How to promote innovation from an organizational control perspective : A case study of a public infrastructure client

    Författare :Anna-Therése Järvenpää; Per-Erik Eriksson; Johan Larsson; Tina Karrbom Gustavsson; Kristian Widén; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; infrastructure; organizational control; promoting innovation; public client; Sweden; control systems; inter-organizational; principal-agent; Byggproduktion och teknik; Construction Management and Building Technology;

    Sammanfattning : Within the infrastructure sector, a public client can have various roles and responsibilities that extend beyond its own organization, such as stimulating and supporting innovation. As an infrastructure project is seldom standardized, the client needs to procure each contract based on the relevant uncertainties and complexities for that specific context. LÄS MER