@inproceedings{9ced5357fcf84ca28b498ab38b48b444,
title = "An executable semantics for synchronous task graphs: From SDRT to Ada",
abstract = "We study a graph-based real-time task model in which intertask synchronization can be specified through a rendezvous mechanism. Previously, efficient methods have been proposed for timing analysis of the corresponding task sets. In this paper, we first formally specify an operational semantics for the model. Next, we describe a method for Ada code generation for a set of such task graphs. We also specify extensions of the approach to cover a notion of broadcasting, as well as global interrelease separation time of real-time jobs. We have implemented the proposed method in a graphical tool which facilitates a model-based design and implementation of real-time software.",
keywords = "Ada programming language, Automated code generation, Schedulability analysis, The synchronous digraph real-time task model",
author = "Morteza Mohaqeqi and Jakaria Abdullah and Wang Yi",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017 ; Conference date: 12-06-2017 Through 16-06-2017",
year = "2017",
doi = "10.1007/978-3-319-60588-3\_9",
language = "英语",
isbn = "9783319605876",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "137--152",
editor = "Markus Bader and Johann Blieberger",
booktitle = "Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
address = "德国",
}