DEMO ABSTRACT - Timing Aware Hardware Virtualization on the L4Re Microkernel Systems

被引:0
|
作者
Lackorzynski, Adam [1 ,2 ]
Warg, Alexander [1 ]
机构
[1] Kernkonzept GmbH, Dresden, Germany
[2] Tech Univ Dresden, Operating Syst Grp, Dresden, Germany
关键词
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
引用
收藏
页数:1
相关论文
共 6 条
  • [1] Safety Certification with the Open Source Microkernel-Based Operating System L4Re
    Lampka, Kai
    Thurlby, Joel
    Lackorzynski, Adam
    Hahnel, Marcus
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2022, 2022, 13414 : 31 - 45
  • [2] Enabling Hardware Performance Counters for Microkernel-Based Virtualization on Embedded Systems
    Mathew, Deepa
    Jose, Bijoy Antony
    Mathew, Jimson
    Patra, Priyadarsan
    IEEE ACCESS, 2020, 8 : 110550 - 110564
  • [3] Design of the Operating System Virtualization on L4 Microkernel
    Kim, Dong-Guen
    Lee, Sang-Min
    Shin, Dong-Ryeol
    NCM 2008 : 4TH INTERNATIONAL CONFERENCE ON NETWORKED COMPUTING AND ADVANCED INFORMATION MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 307 - 310
  • [4] Demo Abstract: Low-power High-precision Timing Hardware for Sensor Networks
    Schmid, Thomas
    Torres, Dustin
    Srivastava, Mani B.
    SENSYS 09: PROCEEDINGS OF THE 7TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2009, : 337 - 338
  • [5] Demo Abstract: CUDDoS - Correlation-aware Ubiquitous Detection of DDoS in IoT Systems
    Zhang, Jiahe
    Sarkar, Tamoghna
    Hekmati, Arvin
    Krishnamachari, Bhaskar
    PROCEEDINGS OF THE 21ST ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, SENSYS 2023, 2023, : 482 - 483
  • [6] Demo Abstract: Synthesis of Platform-aware Attack-Resilient Vehicular Systems
    Pajic, Miroslav
    Bezzo, Nicola
    Weimer, James
    Sokolsky, Oleg
    Michael, Nathan
    Pappas, George J.
    Tabuada, Paulo
    Lee, Insup
    2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 251 - 251