Sökning: "Timeliness"

Visar resultat 1 - 5 av 64 avhandlingar innehållade ordet Timeliness.

  1. 1. A Mutation-based Framework for Automated Testing of Timeliness

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

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

  3. 2. 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

  4. 3. 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

  5. 4. Improving the Timeliness of SCTP Message Transfers

    Författare :Per Hurtig; Anna Brunstrom; Johan Garcia; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SCTP; transport protocols; network emulation; loss recovery; Nagle algorithm; Computer science; Datavetenskap; Materials Engineering; Materialteknik;

    Sammanfattning : Due to the cheap and flexible framework that the underlying IP-technology of the internet provides, IP-networks are becoming popular in more and more contexts. For instance, telecommunication operators have started to replace the fixed legacy telephony networks with IP-networks. LÄS MER

  7. 5. Three Aspects of Real-Time Multiprocessor Scheduling: Timeliness, Fault Tolerance, Mixed Criticality

    Författare :Risat Pathan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mixed-Criticality Systems; Fault-Tolerant Scheduling; Fixed Priority; Real-Time Systems; Global Multiprocessor Scheduling; Time Redundancy; Sporadic Tasks;

    Sammanfattning : The design of real-time systems faces two important challenges: incorporating more functions/services on existing hardware to make the system more attractive to the market, and deploying existing software on multiprocessors (e.g., multicore) to utilize moreprocessing power. LÄS MER