Search for dissertations about: "formal methods"
Showing result 16 - 20 of 397 swedish dissertations containing the words formal methods.
-
16. New methods of teaching? : refroming education in Lao PDR
Abstract : This thesis is about the recent education reform in Laos as a global and a local process. When the economy was deteriorating in Lao People’s Democratic Republic (PDR), the so called New Economic Mechanism (NEM) was introduced and the country opened up for global donors and markets. This also had an effect on the education system. READ MORE
-
17. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems
Abstract : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. READ MORE
-
18. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations
Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE
-
19. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems
Abstract : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. READ MORE
-
20. Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems
Abstract : The manufacturing industry is undergoing a digital revolution, often referred to as Industry 4.0. The aim of this revolution is to transform the factories into, so called, smart factories . These smart factories will be modular, decentralized, and interconnected, to achieve higher level automation and flexibility. READ MORE