Search for dissertations about: "Sten Andler"

Showing result 1 - 5 of 8 swedish dissertations containing the words Sten Andler.

  1. 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; Formal verification; Teknik; Technology;

    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

  2. 2. Handling combinatorial explosion in software testing

    Author : Mats Grindal; Sten Andler; Yu Lei; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURVETENSKAP; Input parameter models; software development; software testing; test process; Computer science; Datavetenskap; Software engineering; Programvaruteknik; Technology; Teknik;

    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

  3. 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 : NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; High-level information fusion; belief framework; credal set theory; Bayesian theory; Computer science; Datavetenskap; TECHNOLOGY; TEKNIKVETENSKAP; Information technology; Informationsteknik; Computer and Systems Science; Datalogi; Teknik; Technology;

    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

  4. 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 : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik; Technology;

    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

  5. 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 : NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; Scalability; Flexibility; Adaptiveness; Database Replication; Resource Management; Distributed Database; Real-time Database; Computer science; Datalogi; Information technology; Informationsteknik; Teknik; Technology;

    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