Search for dissertations about: "model execution"

Showing result 1 - 5 of 291 swedish dissertations containing the words model execution.

2. 1. Model-based execution monitoring

   Author : Marcus Bjäreland; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Abstract : The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies between the actual effects of control actions and the effects predicted by a model, is the topic of this thesis. Model-based execution monitoring is proposed as a technique for increasing the safety and optimality of operation of large and complex industrial process controllers, and of controllers operating in complex and unpredictable environments (such as unmanned aerial vehicles). READ MORE

4. 2. Regular Model Checking

   Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

   Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE

5. 3. Impediments for Automated Software Test Execution

   Author : Kristian Wiklund; Kristina Lundqvist; Daniel Sundmark; Sigrid Eldh; Tanja Vos; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; software engineering; software testing; empirical software engineering; impediments; industrial research; empirical research; test execution; test automation; test execution automation; Computer Science; datavetenskap;

   Abstract : Automated software test execution is a critical part of the modern software development process, where rapid feedback on the product quality is expected. It is of high importance that impediments related to test execution automation are prevented and removed as quickly as possible. READ MORE

6. 4. Efficient memory management for message-passing concurrency, Part I : Single-threaded execution

   Author : Jesper Wilhelmsson; Konstantinos Sagonas; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Abstract : Manual memory management is error prone. Some of the errors it causes, in particular memory leaks and dangling pointers, are hard to find. Manual memory management becomes even harder when concurrency enters the picture. READ MORE

7. 5. Model-free execution monitoring in behavior-based mobile robotics

   Author : Ola Pettersson; Alessandro Saffiotti; Lars Karlsson; Joachim Hertzberg; Örebro universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; mobile robotics; execution monitoring; fault detection and isolation; diagnosis; data- och systemvetenskap; Computer science; Datavetenskap; Computer and Systems Science; Data- och systemvetenskap;

   Abstract : In the near future, autonomous mobile robots are expected to assist us by performing service tasks in many different areas, including transportation, cleaning, mining, or agriculture. In order to manage these tasks in a changing and partially unpredictable environment, without the help of humans, the robot must have the ability to plan its actions and to execute them robustly and in a safe way. READ MORE