Periodic processes are major parts of many real-time embedded computer applications. The programming language Ada permits programming simple periodic processes, but it has some serious limitations; producing Ada programs with real-time performance comparable to those produced to date usin traditional cyclic executives requires resorting to tee % * mques that are specific to one machine or compiler. We present and evaluate the cyclic executive model for controlling periodic processes. The features and limitations of Ada for pro ramming cyclic executive software are discussed and % emonstrated, and some practical techniques for circumventing Ada problems are described.
A metric for concurrent software is proposed based on an abstract model (Petri nets) as an extension...
An earlier report [PB-157] presented the argument for diagrams as the most suitable models for prog...
This paper maintains that fixed-priority process-based preemptive scheduling is, arguably, more conv...
An important issue that must be faced while introducing Ada into the real time world is efficient an...
Ada is unique as a software engineering language, facilitating the development of reliable and ...
In a cyclic executive, a series of pre-determined frames are executed in sequence; once the series i...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
Much of the research on scheduling schemes is prevented from being used in practice by the lack of i...
Hard-real time systems have consistently proven to be some of the most difficult for successful soft...
Abstract A new correctness concept, called partial-order preserving property, for event-driven execu...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
Execution time control is a technique that allows execution time budgets to be set and overruns to b...
Certain Simplifications in the programming language ADA are suggested. The simplifications include t...
This paper examines two aspects of using Ada for the implementation of large program systems. First,...
Abstract Whilst Ada 2005 provides extensive support for the creation of real-time systems in general...
A metric for concurrent software is proposed based on an abstract model (Petri nets) as an extension...
An earlier report [PB-157] presented the argument for diagrams as the most suitable models for prog...
This paper maintains that fixed-priority process-based preemptive scheduling is, arguably, more conv...
An important issue that must be faced while introducing Ada into the real time world is efficient an...
Ada is unique as a software engineering language, facilitating the development of reliable and ...
In a cyclic executive, a series of pre-determined frames are executed in sequence; once the series i...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
Much of the research on scheduling schemes is prevented from being used in practice by the lack of i...
Hard-real time systems have consistently proven to be some of the most difficult for successful soft...
Abstract A new correctness concept, called partial-order preserving property, for event-driven execu...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
Execution time control is a technique that allows execution time budgets to be set and overruns to b...
Certain Simplifications in the programming language ADA are suggested. The simplifications include t...
This paper examines two aspects of using Ada for the implementation of large program systems. First,...
Abstract Whilst Ada 2005 provides extensive support for the creation of real-time systems in general...
A metric for concurrent software is proposed based on an abstract model (Petri nets) as an extension...
An earlier report [PB-157] presented the argument for diagrams as the most suitable models for prog...
This paper maintains that fixed-priority process-based preemptive scheduling is, arguably, more conv...