Search for dissertations about: "real state"
Showing result 16 - 20 of 748 swedish dissertations containing the words real state.
-
16. Model-Based Test Case Generation for Real-Time Systems
Abstract : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. READ MORE
-
17. Synchrophasor based Steady State Model Synthesis of Active Distribution Networks
Abstract : With the increased penetration of distributed energy resources (DERs) at lower voltage levels, distribution networks (DNs) are being transformed into active grids. This has led to a paradigm shift in the operation, planning and control of DNs. READ MORE
-
18. Recovery actions in freight transport through real-time disruption management
Abstract : This thesis focuses on the management of disruption in freight transport. The management of disruption is of importance to achieve planned efficiency in the transport system by mitigating or avoiding the impacts of disruptions, such as late arrivals of deliveries. READ MORE
-
19. Embedded real-time software using TinyTimber : reactive objects in C
Abstract : Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manifest in the high-level programming and systems modeling language Timber. READ MORE
-
20. Practical verification of real-time systems
Abstract : Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly well fitted for real-time systems whose correctness is defined in terms of correct responses at correct times. Most common real-time systems are of reasonable size and can therefore be handled by an automatic verification tool such as Uppaal. READ MORE