Search for dissertations about: "static system"
Showing result 1 - 5 of 591 swedish dissertations containing the words static system.
-
1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
Abstract : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. READ MORE
-
2. Dependable Distributed Control System : Redundancy and Concurrency defects
Abstract : Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. READ MORE
-
3. A New Paradigm for Large Brushless Hydrogenerators : Advantages Beyond the Static System
Abstract : The grid code, FIKS, from the Norwegian transmission system operator (TSO), Statnett, states that synchronous generators > 25MVA, must have a static excitation system. However, an improved brushless excitation system is in operation on some commercial power plants (36MVA, 93.75rpm & 52MVA, 166. READ MORE
-
4. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
Abstract : Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. READ MORE
-
5. Static incorrectness diagnosis of CLP(FD)
Abstract : .... READ MORE