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.
This work was partially funded by the FSF/IRT-X project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Airlines Electronic Engineering: Avionics Application Software Standard Interface. Technical report, Aeronautical Radio, INC (1997)
RTCA: DO-178B: Software Considerations in Airborne Systems and Equipment Certification (1982)
Alena, R., Ossenfort, J., Laws, K., Goforth, A., Figueroa, F.: Communications for integrated modular avionics. In: IEEE Aerospace Conference, pp. 1–18 (2007)
Lyons, R.E., Vanderkulk, W.: The use of triple-modular redundancy to improve computer reliability. IBM Journal 6(2), 200–209 (1962)
Mahadevan, N., Dubey, A., Karsai, G.: Application of Software Health Management Techniques. In: SEAMS, pp. 1–10 (2011)
Cadoret, F., Robert, T., Borde, E., Pautet, L., Singhoff, F.: Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL. In: ISORC (2013)
Hang Lee, Y., Younis, M., Zhou, J.: Partition scheduling in apex runtime environment for embedded avionics software. In: RTCSA, pp. 103–109 (1998)
Delange, J., Pautet, L., Kordon, F.: Design, implementation and verification of mils systems. Softw., Pract. Exper. 42(7), 799–816 (2012)
Louise, S., Lemerre, M., Aussagues, C., David, V.: The OASIS Kernel: A Framework for High Dependability Real-Time Systems. In: HASE, pp. 95–103 (November 2011)
Kopetz, H., Grünsteidl, G.: Ttp-a protocol for fault-tolerant real-time systems. Computer 27(1), 14–23 (1994)
Grandpierre, T., Lavarenne, C., Sorel, Y.: Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors. In: CODES, Rome, Italy (1999)
Gamatié, A., Gautier, T., Le Guernic, P.: Example of Synchronous Design of Embedded Real-Time Systems based on IMA. In: RTCSA, Gothenburg, Sweden (2004)
Crespo, A., Ripoll, I., Masmano, M.: Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. In: EDCC 2010, pp. 67–72 (2010)
Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical Report (March 1999)
Baldovin, A., Mezzetti, E., Vardanega, T.: A time-composable operating system. In: WCET, pp. 69–80 (2012)
Delange, J., Lec, L.: POK, an ARINC653-compliant operating system released under the BSD license. In: 13th Real-Time Linux Workshop (2011)
Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 1st edn. Addison-Wesley Professional (2012)
Cadoret, F., Borde, E., Gardoll, S., Pautet, L.: Design patterns for rule-based refinement of safety critical embedded systems models. In: ICECCS, pp. 67–76 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Jaouën, A., Borde, E., Pautet, L., Robert, T. (2014). PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. In: George, L., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2014. Ada-Europe 2014. Lecture Notes in Computer Science, vol 8454. Springer, Cham. https://doi.org/10.1007/978-3-319-08311-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-08311-7_12
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08310-0
Online ISBN: 978-3-319-08311-7
eBook Packages: Computer ScienceComputer Science (R0)