Formal API Specification of the PikeOS Separation Kernel-Reference-Cited by-同舟云学术

Formal API Specification of the PikeOS Separation Kernel

Published:2015 Issue: Volume: Page:375-389
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Verbeek Freek,Havle Oto,Schmaltz Julien,Tverdyshev Sergey,Blasum Holger,Langenstein Bruno,Stephan Werner,Wolff Burkhart,Nemouchi Yakoub

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-17524-9_26

Reference20 articles.

1. Kaiser, R., Wagner, S.: Evolution of the PikeOS microkernel. In: First International Workshop on Microkernels for Embedded Systems, p. 50 (2007)

2. Rushby, J.: Noninterference, transitivity, and channel-control security policies. SRI International, Computer Science Laboratory (1992)

3. Lecture Notes in Computer Science;R der Meyden van,2007

4. EURO-MILS: MILS architecture (2014). http://www.euromils.eu/downloads/2014-euro-mils-mils-architecture-white-paper.pdf

5. Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., et al.: seL4: Formal verification of an OS kernel. In: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, pp. 207–220. ACM (2009)

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor;Journal of Systems and Software;2024-10

2. Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B;Formal Aspects of Computing;2023-11-21

3. Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in $$\mu $$C/OS-II: A Case Study;Formal Methods for Industrial Critical Systems;2023

4. On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12

5. Virtualizing mixed-criticality systems: A survey on industrial trends and issues;Future Generation Computer Systems;2022-04