Downloads provided by UsageCounts
We present timing-constrained automata (TCA), a model for real-time computation in which agents behaviors are modeled by automata constrained by time intervals. In this model time does not change automata behavior: on the contrary, it is automata execution that changes the timing constraints. This allows the model to well lend itself to analysis as well as concrete execution. TCA actions model can have multiple start time and deadlines, can be aperiodic, and can change dynamically following a graph, the time-constrained automaton. This allows expressing much more precise timing constraints than classical periodic or sporadic model, while preserving the ease of scheduling and analysis. We provide some properties of this model as well as their scheduling semantics. We show that timing-constrained tasks can be automatically derived from source-code, and optimally scheduled on single processors using a variant of EDF. We explain how timing constraints can be used to guarantee communication determinism by construction, and used to study when possible agent interactions happens.
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Operating Systems (cs.OS), Computer Science - Formal Languages and Automata Theory, QA75.5-76.95, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Operating Systems, Computer Science - Software Engineering, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], Electronic computers. Computer science, QA1-939, Mathematics
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Operating Systems (cs.OS), Computer Science - Formal Languages and Automata Theory, QA75.5-76.95, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Operating Systems, Computer Science - Software Engineering, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], Electronic computers. Computer science, QA1-939, Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 3 | |
| downloads | 5 |

Views provided by UsageCounts
Downloads provided by UsageCounts