Sökning: "Sten F. Andler"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Sten F. Andler.

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

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Alexander Karlsson; Sten F. Andler; Ronnie Johansson; Lars Karlsson; Galina Rogova; Örebro universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

4. 3. Testability of Dynamic Real-Time Systems

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Gunnar Mathiason; Sten F. Andler; Sang H. Son; Hans Hansson; Alejandro Buchmann; Linköpings universitet; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

7. 5. Resource-Predictable and Efficient Monitoring of Events

   Författare :Jonas Mellin; Sten F. Andler; Sharma Chakravarthy; Ulf Nilsson; Peter Fritzson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; composition; efficiency; event; formalization; monitoring; performance; predictability; real-time systems; time complexity; timeliness; Computer science; Datavetenskap;

   Sammanfattning : We present a formally specified event specification language (Solicitor). Solicitor is suitable for real-time systems, since it results in resource-predictable and efficient event monitors. LÄS MER