Advanced search

Showing result 1 - 5 of 8 swedish dissertations matching the above criteria.

2. 1. Enabling Tool Support for Formal Analysis of ECA Rules

   Author : AnnMarie Ericsson; Sten F. Andler; José Júlio Alferes; Linköpings universitet; []
   Keywords : ECA rules; Timed automata; Formal veri¯cation; TECHNOLOGY; TEKNIKVETENSKAP; Teknik;

   Abstract : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. READ MORE

4. 2. Handling Combinatorial Explosion in Software Testing

   Author : Mats Grindal; Sten Andler; Yu Lei; Högskolan i Skövde; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Input parameter models; software development; software testing; test process; Software engineering; Programvaruteknik; Technology; Teknik; Computer science;

   Abstract : In this thesis, the overall conclusion is that combination strategies, (i.e., test case selection methods that manage the combinatorial explosion of possible things to test), can improve the software testing in most organizations. The research underlying this thesis emphasizes relevance by working in close relationship with industry. READ MORE

5. 3. Evaluating credal set theory as a belief framework in high-level information fusion for automated decision-making

   Author : Alexander Karlsson; Sten F. Andler; Ronnie Johansson; Lars Karlsson; Galina Rogova; Örebro universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; High-level information fusion; belief framework; credal set theory; Bayesian theory; Computer science; Datavetenskap; TECHNOLOGY; TEKNIKVETENSKAP; Information technology; Informationsteknik; Datalogi; Computer and Systems Science; Teknik;

   Abstract : High-level information fusion is a research field in which methods for achieving an overall understanding of the current situation in an environment of interest are studied. The ultimate goal of these methods is to provide effective decision-support for human or automated decision-making. READ MORE

6. 4. Testability of Dynamic Real-Time Systems

   Author : Birgitta Lindström; Sten F. Andler; Jeff Offutt; Paul Pettersson; Zebo Peng; Lionel Briand; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik;

   Abstract : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. READ MORE

7. 5. Virtual Full Replication for Scalable Distributed Real-Time Databases

   Author : Gunnar Mathiason; Sten F. Andler; Sang H. Son; Hans Hansson; Alejandro Buchmann; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Scalability; Flexibility; Adaptiveness; Database Replication; Resource Management; Distributed Database; Real-time Database; Computer science; Datalogi; Information technology; Informationsteknik; Teknik;

   Abstract : A fully replicated distributed real-time database provides high availability and predictable access times, independent of user location, since all the data is available at each node. However, full replication requires that all updates are replicated to every node, resulting in exponential growth of bandwidth and processing demands with the number of nodes and objects added. READ MORE