Search for dissertations about: "Formal"

Showing result 1 - 5 of 1257 swedish dissertations containing the word Formal.

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

    Author : Jonas Krook; 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; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

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

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

    Author : Karin Dessne; Örebro universitet; []
    Keywords : 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;

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

  3. 3. Framing perceived values of education : when perspectives of learning and ICTs are related

    Author : Lars Norqvist; Eva Leffler; Isa Jahnke; Roger Säljö; Umeå universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Learning; ICTs; Education; Perceived value; Dialogue; Dialogic perspective; Perceived values of learning; Perceived values of education; Learning situations; Formal education; Non-formal education; Perceived value framework; Photo interviews; Formal learning; Non-formal learning; Informal learning; Information; Communication; Technology; ICT.; pedagogiskt arbete; educational work;

    Abstract : This thesis offers dialogue about the relations between learning and Information and Communication Technologies (ICTs). The dialogue is guided by the question of how to design education to increase perceived values of learning. READ MORE

  4. 4. Formal Specification and Verification of Safety-Critical Software

    Author : Daniel Larsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Abstract : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. READ MORE

  5. 5. 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