Search for dissertations about: "falsification"

Showing result 1 - 5 of 8 swedish dissertations containing the word falsification.

  1. 1. Falsification of Signal-Based Specifications for Cyber-Physical Systems

    Author : Johan Lidén Eddeland; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Simulation-Based Verification; Testing; Falsification; Cyber-Physical Systems;

    Abstract : In the development of software for modern Cyber-Physical Systems, testing is an integral part that is rightfully given a lot of attention. Testing is done on many different abstraction levels, and especially for large-scale industrial systems, it can be difficult to know when the testing should conclude and the software can be considered correct enough for making its way into production. READ MORE

  2. 2. Facilitating falsification in legal decision making: problems in practice and potential solutions

    Author : Enide Maegherman; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Keywords : Law; order effects; falsification; evidence;

    Abstract : .... READ MORE

  3. 3. Enhancing Temporal Logic Falsification of Cyber-Physical Systems using multiple objective functions and a new optimization method

    Author : Zahra Ramezani; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Testing; Falsification; Cyber-Physical Systems;

    Abstract : Cyber-physical systems (CPSs) are engineering systems that bridge the cyber-world of communications and computing with the physical world. These systems are usually safety-critical and exhibit both discrete and continuous dynamics that may have complex behavior. Typically, these systems have to satisfy given specifications, i.e. READ MORE

  4. 4. Machine Learning Based Methods for Virtual Validation of Autonomous Driving

    Author : Tobias Johansson; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; AD Simulation; Virtual Validation; Sensor Error Modeling; Falsification; Autonomous Driving; Validation; Mixture Density Networks;

    Abstract : During the last decade, automotive manufacturers have introduced increasingly capable driving automation functions in consumer vehicles. As the functionality becomes more advanced, the task of driving moves from the human to the car. Hence, making sure that autonomous driving (AD) functions are reliable and safe is of high importance. READ MORE

  5. 5. Designing for Autonomy

    Author : Mikael Laaksoharju; Iordanis Kavathatzopoulos; Donald Gotterbarn; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; design method; design philosophy; user-centered design; theorizing; falsification; interaction design; hypothesis; mental models; autonomy; Datavetenskap med inriktning mot människa-datorinteraktion; Computer Science with specialization in Human-Computer Interaction;

    Abstract : In this thesis, two problems are addressed.The first problem is how designers of computerized artifacts come to understand what they should design. READ MORE