Method and tools for mixed-criticality real-time applications within PharOS

Proceedings - 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2011

Volumn , Issue , 2011, Pages 41-48

  Lemerre, Matthieu ^a   Ohayon, Emmanuel ^a   Chabrol, Damien ^a   Jan, Mathieu ^a   Jacques, Marie Bénédicte ^a  

^a DIF   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BUILDING BLOCKES; CPU TIME; EMBEDDED PLATFORMS; EVENT-TRIGGERED; FAULT RECOVERY; GLOBAL SYSTEMS; HIGH LEVEL DESCRIPTION; MEMORY ISOLATION; MEMORY PROTECTION; OPERATING SYSTEMS; PARAVIRTUALIZATION; REAL-TIME APPLICATION; RUNTIMES; TEMPORAL ISOLATION; TIME TRIGGERED;

CRITICALITY (NUCLEAR FISSION); DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS;

REAL TIME SYSTEMS;

EID: 79957998970     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORCW.2011.15     Document Type: Conference Paper

References (17)

1. J.-L. Bechennec, M. Briday, S. Faucou, and Y. Trinquet, "Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification," in Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on, September 2006, pp. 62-69.
2. M. Lemerre, V. David, C. Aussaguès, and G. Vidal-Naquet, "An introduction to time-constrained automata," EPTCS: Proceedings of the 3rd Interaction and Concurrency Experience Workshop (ICE'10), vol. 38, pp. 83-98, June 2010.
3. Saltzer and Schroeder, "The protection of information in computer systems," Communication of the ACM, vol. 7, 1974.
4. P. J. Denning, "Fault tolerant operating systems," ACM Computing Survey, vol. 8, no. 4, pp. 359-389, 1976.
5. ARINC, "Avionics application software standard interfarce. arinc specification 653," January 1997.
6. C. Aussaguès and V. David, "A method and a technique to model and ensure timeliness in safety critical real-time systems," in Fourth IEEE ICECCS'98, Los Alamitos, CA, USA, 1998, pp. 2-13.
7. M. Lemerre, V. David, C. Aussaguès, and G. Vidal-Naquet, "Equivalence between schedule representations: Theory and applications," in Proc. of the 14th Real-time and Embedded Technology and Application Symposium (RTAS'08), Los Alamitos, CA, USA, 2008, pp. 237-247.
8. J. Fisher-Ogden, "Hardware support for efficient virtualization," San Diego, USA, 2006.
9. R. A. Meyer and L. H. Seawright, "A virtual machine time-sharing system," IBM Syst. J., vol. 9, pp. 199-218, September 1970.
10. T. L. Borden, J. P. Hennessy, and J. W. Rymarczyk, "Multiple operating systems on one processor complex," IBM Syst. J., vol. 28, pp. 104-123, March 1989.
11. J. Rushby, "Partitioning in avionics architectures: Requirements," Jun. 1999.
12. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield, "Xen and the art of virtualization," in Proceedings of ACM SOSP '03:. ACM Press, 2003, pp. 164-177.
13. A. L. Henning Schild and A. Warg, "Faithful virtualization on a realtime operating system," in Eleventh Real-Time Linux Workshop 2009, Dresden, Germany, September 2009.
14. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham, "Efficient software-based fault isolation," SIGOPS Oper. Syst. Rev., vol. 27, pp. 203-216, December 1993.
15. G. C. Necula and P. Lee, "Safe kernel extensions without run-time checking," in Proceedings of the second USENIX symposium on Operating systems design and implementation, ser. OSDI '96. New York, NY, USA: ACM, 1996, pp. 229-243.
16. R. Obermaisser, P. Peti, B. Huber, and C. El Salloum, "Decos: an integrated time-triggered architecture," e & i Elektrotechnik und Informationstechnik, vol. 123, pp. 83-95, 2006.
17. LynuxWorks, "LynxOS-178. Certifiable RTOS for safety-critical computing," 2003.