Search for dissertations about: "Simulation-Based Verification"

Showing result 1 - 5 of 7 swedish dissertations containing the words Simulation-Based Verification.

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

   Author : Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Keywords : 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;

   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

4. 2. On Falsification of Large-Scale Cyber-Physical Systems

   Author : Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Keywords : 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;

   Abstract : 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. READ MORE

5. 3. Verification of Component-based Embedded System Designs

   Author : Daniel Karlsson; Petru Eles; Zebo Peng; Bashir Al-Hashimi; Linköpings universitet; []
   Keywords : Datorsystem; embedded systems; formal verification; Petri-net; IP; reuse; components; model checking; simulation; Datorsystem; TECHNOLOGY; TEKNIKVETENSKAP;

   Abstract : Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components. At the same time, the systems must fulfill strict functional and non-functional requirements. READ MORE

6. 4. Reliable Virtual Commissioning

   Author : Henrik Carlsson; Bengt Lennartson; Högskolan Väst; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Virtual commissioning; Simulation based PLC control code verification; Virtual manufacturing; Industrial control system; PLC; Continuous simulation; Manufacturing and materials engineering; Produktions- och materialteknik;

   Abstract : Virtual commissioning is a technique for programming, optimising and verifying industrial automated production, such as robot controllers and programmable logic controllers (PLC), off-line in a simulated environment. Compared with traditional robot off-line programming and simulation, the scope is wider and can include an entire production cell. READ MORE

7. 5. Computational Methods for Deformable 1D Objects in Virtual Product Realization

   Author : Tomas Hermansson; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; assembly verification; variation simulation; robust design; path planning; Cosserat rod theory; deformable 1D objects; automatic routing;

   Abstract : In industry today, virtual design tools are used in the realization of a new product. As changes in the design and planning concepts are extremely costly in the later verification and production phases, much can be gained if a product design can be optimized and verified with respect to the assembly process with simulation tools as early as possible. READ MORE