Sökning: "falsification"

Visar resultat 1 - 5 av 8 avhandlingar innehållade ordet falsification.

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Enide Maegherman; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :Law; order effects; falsification; evidence;

    Sammanfattning : .... LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  5. 5. Designing for Autonomy

    Författare :Mikael Laaksoharju; Iordanis Kavathatzopoulos; Donald Gotterbarn; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : In this thesis, two problems are addressed.The first problem is how designers of computerized artifacts come to understand what they should design. LÄS MER