Search for dissertations about: "formal help"

Showing result 1 - 5 of 126 swedish dissertations containing the words formal help.

  2. 1. Safety Proofs for Automated Driving using Formal Methods

    Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

    Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE

  4. 2. To maintain control: Negotiations in everyday life of older people who can no longer manage on their own

    Author : Anna Dunér; Göteborgs universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Older people; formal eldercare; informal help; strategies; ;

    Abstract : The general aim of this thesis is to reach a more insightful understanding of how help is actually worked out in the everyday life of older people when they can no longer manage on their own. The overall research question is how individuals, representing different perspectives in the help arrangement process, think and act in order to organise needed help as well as how they may themselves apprehend the functions of the help. READ MORE

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

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

    Abstract : 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. READ MORE

  6. 4. Intimate Partner Violence and Help-Seeking in Lesbian and Queer Relationships : Challenging Recognition

    Author : Nicole Ovesen; Gabriele Griffin; Renita Sörensdotter; Marianne Hester; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; LGBTQ; IPV; DV; Help-seeking; Lesbian and Queer; Slow Violence; Sweden; Qualitative Interviews; Temporalities; Community; Gender Studies; Genusvetenskap;

    Abstract : The topic of intimate partner violence (IPV) in lesbian and queer relationships continues to be under-researched in Sweden. This lack of knowledge and recognition can have severe consequences for the help-seeking of those who are not recognized as victims of IPV. READ MORE

  7. 5. On Formal Methods in Development of Control Logic Using IEC 61499

    Author : Goran Cengic; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

    Abstract : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. READ MORE