Titlebook: Reliable Software Technologies – Ada-Europe 2016; 21st Ada-Europe Inte Marko Bertogna,Luis Miguel Pinho,Eduardo Qui?ones Conference proceed

Ascribe

斗爭(zhēng)

DRAFT

An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Schespect to the choice of the task to be preempted in order to maximize schedulability. Two principal choices with respect to the preemption approach exist (1) the scheduler waits for the lowest priority job to become preemptible, (2) the scheduler preempts the first job, among the lower priority ones,

冬眠

The Polling Effect on the Schedulability of Distributed Real-Time Systemschanisms and response time analysis techniques that can be applied to this kind of systems. This paper proposes a model for polling tasks that allows current response time analysis techniques for event-driven distributed systems to be applied, and it also studies the impact that polling has in the s

震驚

Combining Time-Triggered Plans with Priority Scheduled Task Setsheir own advantages and drawbacks. On the one hand, priority-based systems facilitate separation of concerns between functional and timing requirements by relying on an underlying real-time operating system that takes all scheduling decisions at run time. But this is at the cost of indeterminism in

CAB

Conference proceedings 2016ld in Pisa, Italy, in June 2016. ..The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and r

FEIGN

離開(kāi)

Addressing the Regression Test Problem with Change Impact Analysis for Ada no regressions. We have implemented the approach in the commercial, unit-testing tool VectorCAST, and validated it on a number of open-source examples. On an example of a fully-functioning Ada implementation of a DNS server (.), the experimental results show a 97% reduction in test-case execution.

抑制

細(xì)微的差異

An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Enginewhen 4 physical cores are available. This result, however, can only be achieved by complementing the initial high level Ada design with a second round of code fine-tuning which exploits nonstandard low level features in the implementation of the needed thread-safe data structures.