@inproceedings{54ecbccbb6f740209f8db49d38f7a23f,
title = "PDP 4PS: Periodic-delayed protocol for partitioned systems",
abstract = "ARINC 653 systems have to comply with strong requirements with respect to time determinism and resource consumption. However, interacting processes may introduce significant overheads and induce pessimism in schedulability analysis. In this paper, we restrict the ARINC 653 execution and communication models so that a message is delivered as if it was sent at the sender deadline. We take advantage of dedicated inter-partition buffers to provide predictable and efficient implementations for kernel and application suppliers.",
keywords = "ARINC 653, deterministic communication protocol, inter-partition communication, partitioned systems, real-time, scheduling",
author = "Antoine Jaou{\"e}n and Etienne Borde and Laurent Pautet and Thomas Robert",
year = "2014",
month = jan,
day = "1",
doi = "10.1007/978-3-319-08311-7\_12",
language = "English",
isbn = "9783319083100",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "149--165",
booktitle = "Reliable Software Technologies, Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
note = "19th International Conference on Reliable Software Technologies, Ada-Europe 2014 ; Conference date: 23-06-2014 Through 27-06-2014",
}