Sökning: "formal time"

Visar resultat 1 - 5 av 604 avhandlingar innehållade orden formal time.

  1. 1. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Författare :Jonas Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Sammanfattning : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. LÄS MER

  3. 2. Displaced Literature : Images of Time and Space in Latvian Novels Depicting the First Years of the Latvian Postwar Exile

    Författare :Juris Rozītis; Prof. Baiba Kangere; Prof. Vieda Skultans; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Bakhtin; chronotope; Displaced Person; émigré; exile; immigrant literature; Latvia; Latvian literature; Latvian history; life-story; narrative; novel; postwar Germany; refugee; setting; space; time; time-space; UNRRA; WWII; Literature; Litteraturvetenskap;

    Sammanfattning : In the years immediately following the Second World War, the main part of Latvian literature was produced by writers living outside Latvia. To this day Latvian literature continues to be written outside Latvia, albeit to a much smaller extent. LÄS MER

  4. 3. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Författare :Gabriele Paganelli; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Sammanfattning : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. LÄS MER

  5. 4. Supporting knowledge management with information technology : the significance of formal and informal structures

    Författare :Karin Dessne; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; knowledge management; km; cscw; cscl; communities of practice; cop; military; lessons learned; experience; learning; knowing; formal; informal; structures; knowing wheel; preconditions; it support; collaborative work; communication; Datalogi; Computer and Systems Science; Teknik;

    Sammanfattning : Knowledge Management (KM) is a relatively young field of research. It has traditionally aimed at managing work in organisations often by the assistance of supporting Information Technology (IT).In this thesis, the definition of KM is expressed as facilitating the intertwined process of learning and knowing in an organisation. LÄS MER

  7. 5. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

    Författare :Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Sammanfattning : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. LÄS MER