Visar resultat 1 - 5 av 10 avhandlingar innehållade ordet falsification.
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. Facilitating falsification in legal decision making: problems in practice and potential solutions
Sammanfattning : .... LÄS MER
3. Enhancing Temporal Logic Falsification of Cyber-Physical Systems using multiple objective functions and a new optimization method
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
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
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