Sökning: "falsification"

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

1. 1. On Falsification of Large-Scale Cyber-Physical Systems

   Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Test Coverage; Testing; Optimization; Simulation-Based Verification; Formal Requirements; Cyber-Physical Systems; Falsification;

   Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER

3. 2. Falsification of Signal-Based Specifications for Cyber-Physical Systems

   Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; 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

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

   Författare :Enide Maegherman; Göteborgs universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Law; order effects; falsification; evidence;

   Sammanfattning : .... LÄS MER

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

   Författare :Zahra Ramezani; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; 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

7. 5. Machine Learning Based Methods for Virtual Validation of Autonomous Driving

   Författare :Tobias Johansson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; 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