Search for dissertations about: "formal methods"

Showing result 1 - 5 of 301 swedish dissertations containing the words formal methods.

  1. 1. Correct-by-Construction Tactical Planners for Automated Cars

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Jonas Krook; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

    Abstract : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. READ MORE

  2. 2. Formal Methods for Testing Grammars

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Inari Listenmaa; Göteborgs universitet.; Gothenburg University.; [2019]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual inspection. READ MORE

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

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Goran Cengic; [2009]
    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

  4. 4. Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers

    University dissertation from Gothenburg : Chalmers tekniska högskola

    Author : Alexey Voronov; [2010]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Formal Methods; Industrial Automation; Boolean Satisfiability; Product and Production Development;

    Abstract : Highly customized products and frequent changes in the production systems pose high demands on engineers. The amount of data and the complexity of the relations within the data are high. Thus, it is both error-prone and time consuming to analyze the data without software support. READ MORE

  5. 5. User Consideration in Early Stages of Product Development Theories and Methods

    University dissertation from Stockholm : KTH

    Author : Jenny Janhager; KTH.; [2005]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering design; Man-machine interaction; product development method; scenario technique; technical process; user; Konstruktionsteknik; TECHNOLOGY Engineering mechanics Construction engineering; TEKNIKVETENSKAP Teknisk mekanik Konstruktionsteknik;

    Abstract : Traditional design theories have focused on technical functions and more or less disregard a product’s user involvement. The existing methods of ergonomic designare mostly intended for analysis activities. There is a need for new dynamic methods that focus on user-product interactions. READ MORE