Search for dissertations about: "Sten Andler"

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

  2. 6. Resource-Predictable and Efficient Monitoring of Events

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

    Abstract : 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. READ MORE

  4. 7. A Mutation-based Framework for Automated Testing of Timeliness

    Author : Robert Nilsson; Sten F. Andler; Michael G. Hinchey; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Testing; Timeliness; Real-time systems; Time constraints; Model-based; Mutation testing; Computer science; Datalogi;

    Abstract : A problem when testing timeliness of event-triggered real-time systems is that response times depend on the execution order of concurrent tasks. Conventional testing methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to gain confidence in temporal correctness. READ MORE

  5. 8. Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases

    Author : Sanny Syberfeldt; Sten Andler; Jörgen Hansson; Sang H. Son; Alejandro Buchmann; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Distributed Systems; Real-Time Systems; Databases; Replication; Optimistic Protocol; Conflict Resolution; Computer science; Datalogi; Teknik;

    Abstract : In this thesis a replication protocol - PRiDe - is presented, which supports optimistic replication in distributed real-time databases with deterministic detection and forward resolution of transaction conflicts. The protocol is designed to emphasize node autonomy, allowing individual applications to proceed without being affected by distributed operation. READ MORE