|
[1]
|
SPACE AND TIME PARTITIONING WITH HARDWARE SUPPORT FOR SPACE APPLICATIONS
|
|
NULL |
|
|
|
[2]
|
Scheduling Policies and System Software Architectures for Mixed-criticality Computing
|
|
NULL
NULL |
|
|
|
[3]
|
Procedimiento de diseño de sistemas ciberfísicos de tiempo real tolerantes a ataques cibernéticos
|
|
2022 |
|
|
|
[4]
|
Measuring the Performance Impact of Branching Instructions.
|
|
SSP,
2021 |
|
|
|
[5]
|
Design and implementation of a virtual ARINC 653 simulation platform
|
|
2021 |
|
|
|
[6]
|
Virtualizing mixed-criticality systems: A survey on industrial trends and issues
|
|
Future Generation …,
2021 |
|
|
|
[7]
|
A Survey on Hypervisor-based Virtualization of Embedded Reconfigurable Systems
|
|
2021 31st International …,
2021 |
|
|
|
[8]
|
Weight-aware cache for application-level proportional i/o sharing
|
|
IEEE Transactions on Computers,
2021 |
|
|
|
[9]
|
Software Testing Strategies for Detecting Hypercall Handlers' Aging-related Bugs
|
|
2021 IEEE …,
2021 |
|
|
|
[10]
|
Multi-core Devices for Safety-critical Systems: A Survey
|
|
2020 |
|
|
|
[11]
|
Low Latency Communication in Virtualized and Multipath Networks
|
|
2020 |
|
|
|
[12]
|
Freezing time emulating new and faster devices with virtual machines
|
|
2020 |
|
|
|
[13]
|
Réduction des besoins de confiance matérielle pour le développement d'un hyperviseur certifié
|
|
2020 |
|
|
|
[14]
|
Cloud. Jus: arquitetura de nuvem comunitária para provisionamento de infraestrutura como serviço no Poder Judiciário da União
|
|
2019 |
|
|
|
[15]
|
Runtime performance evaluation and optimization of type-2 hypervisor for MIPS64 architecture
|
|
2019 |
|
|
|
[16]
|
Towards Testing the Software Aging Behavior of Hypervisor Hypercall Interfaces
|
|
2019 |
|
|
|
[17]
|
Challenges in the Operation and Design of Intelligent Cyber‑Physical Systems
|
|
2019 |
|
|
|
[18]
|
The Real-Time Linux Kernel: A Survey on PREEMPT_RT The Real-Time Linux Kernel: A Survey on PREEMPT_RT
|
|
ACM Computing Surveys,
2019 |
|
|
|
[19]
|
A real-time virtual machine for task placement in loosely-coupled computer systems
|
|
2019 |
|
|
|
[20]
|
The Real-Time Linux Kernel: A Survey on PREEMPT_RT
|
|
2019 |
|
|
|
[21]
|
V-Visor: lightweight virtualization for RISC-V
|
|
2019 |
|
|
|
[22]
|
Challenges in the Operation and Design of Intelligent Cyber‐Physical Systems
|
|
2019 |
|
|
|
[23]
|
Challenges in the Operation and Design of Intelligent Cyber-Physical Systems
|
|
2019 |
|
|
|
[24]
|
The real-time linux kernel: A survey on Preempt _ RT The Real-Time Linux Kernel: A Survey on PREEMPT _ RT
|
|
no …,
2019 |
|
|
|
[25]
|
Ontology-Driven Metamodeling Towards Hypervisor Design Automation: Microkernel Infrastructure
|
|
2018 |
|
|
|
[26]
|
Ontology-Driven Metamodeling Towards Hypervisor Design Automation: Secure Inter-Partition Communication (IPC)
|
|
2018 |
|
|
|
[27]
|
Secure and Dynamic Memory Management Architecture for Virtualization Technologies in IoT Devices
|
|
2018 |
|
|
|
[28]
|
Statistical Analysis on IoT Research Trends: A Survey
|
|
J. ADV COMP ENG TECHNOL,
2018 |
|
|
|
[29]
|
Real-Time I/O System for Many-core Embedded Systems
|
|
2018 |
|
|
|
[30]
|
Porting LTZVisor to i. MX 6Quad SD
|
|
2018 |
|
|
|
[31]
|
Telecom Networks Virtualization: Overcoming the Latency Challenge
|
|
Thesis,
2018 |
|
|
|
[32]
|
Injecting Hypervisor-based Software Partitions into Design Space Exploration Activities considering Mixed-Criticality Requirements
|
|
2018 |
|
|
|
[33]
|
T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support
|
|
2018 |
|
|
|
[34]
|
A Hypervisor Architecture for Low-Power Real-Time Embedded Systems
|
|
2018 |
|
|
|
[35]
|
Freezing Time: A New Approach for Emulating Fast Storage Devices Using VM
|
|
2018 |
|
|
|
[36]
|
Development and certification of mixed-criticality embedded systems based on probabilistic timing analysis
|
|
2018 |
|
|
|
[37]
|
A study on cloud security issues
|
|
Multiagent and Grid Systems,
2017 |
|
|
|
[38]
|
Computer Centres Resource Cloud Elasticity-Scalability (CRECES): Copperbelt University Case Study
|
|
2017 |
|
|
|
[39]
|
μRTZVisor: A Secure and Safe Real-Time Hypervisor
|
|
Electronics,
2017 |
|
|
|
[40]
|
Cloud IEC 61850: DDS Performance in Virtualized Environment with OpenDDS
|
|
2017 |
|
|
|
[41]
|
Regular Composite Resource Partition in Open Systems
|
|
2017 |
|
|
|
[42]
|
CNet: context-aware network for semantic segmentation
|
|
2017 |
|
|
|
[43]
|
マルチコアにおけるリアルタイム性と CPU 使用効率を両立した組込みシステム向け VMM の開発
|
|
2017 |
|
|
|
[44]
|
Distributed architecture for developing mixed-criticality systems in multi-core platforms
|
|
Journal of Systems and Software,
2017 |
|
|
|
[45]
|
Handling heterogeneous partitioned systems through ARINC-653 and DDS
|
|
Computer Standards & Interfaces,
2017 |
|
|
|
[46]
|
Internet of Things: An Overview
|
|
2017 |
|
|
|
[47]
|
A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems
|
|
2017 |
|
|
|
[48]
|
基于历史开销的虚拟路由器控制平面流量隔离机制研究
|
|
Software Engineering and Applications,
2016 |
|
|
|
[49]
|
The Design and Implementation of Fault Tolerant PSTR on the Embedded Virtualization System
|
|
2016 |
|
|
|
[50]
|
Vertical integration in industrial enterprises and distributed middleware
|
|
International Journal of Internet Protocol Technology,
2016 |
|
|
|
[51]
|
A survey on shared disk I/O management in virtualized environments under real time constraints
|
|
ACM SIGBED Review - Special Issue on Embedded Operating Systems Workshop,
2016 |
|
|
|
[52]
|
An Embedded Multi-Core Platform for Mixed-Criticality Systems: Study and Analysis of Virtualization Techniques
|
|
Thesis,
2016 |
|
|
|
[53]
|
Enabling data-centric distribution technology for partitioned embedded systems
|
|
2016 |
|
|
|
[54]
|
Analysis of Performance and Power Aspects of Hypervisors in Soft Real-Time Embedded Systems
|
|
2016 |
|
|
|
[55]
|
Exploring the Use of RPAs as 5G Points of Presence
|
|
arXiv preprint arXiv:1603.07635,
2016 |
|
|
|
[56]
|
A Survey of Mobile Device Virtualization: Taxonomy and State of the Art
|
|
ACM Computing Surveys (CSUR),
2016 |
|
|
|
[57]
|
A Qualitative Comparison of MPSoC Mobile and Embedded Virtualization Techniques
|
|
arXiv preprint arXiv:1605.01168,
2016 |
|
|
|
[58]
|
Multiprocessor platform for partitioned real‐time systems
|
|
Software: Practice and Experience,
2016 |
|
|
|
[59]
|
Research on the Mechanism of Virtual Router Control Plane Traffic Isolation Based on Historical Cost
|
|
2016 |
|
|
|
[60]
|
基于历史开销的虚拟路由器控制平面流量隔离机制研究 Research on the Mechanism of Virtual Router Control Plane Traffic Isolation Based on Historical Cost
|
|
Software Engineering and Applications,
2016 |
|
|
|
[61]
|
Reducing hardware TCB in favor of certifiable virtual machine monitor
|
|
2016 |
|
|
|
[62]
|
Virtualization on embedded boards as enabling technology for the Cloud of Things
|
|
Internet of Things,
2016 |
|
|
|
[63]
|
INTEGRATING ARM DEVICES INTO CLOUD INFRASTRUCTURE
|
|
2016 |
|
|
|
[64]
|
RTS hypervisor qualification for real-time systems
|
|
2016 |
|
|
|
[65]
|
基于历史开销的虚拟路由器控制平面流量隔离机制研究 Research on the Mechanism of Virtual Router Control Plane Traffic Isolation Based on Historical …
|
|
2016 |
|
|
|
[66]
|
Reducing hardware TCB in favor of certifiable virtual machine monitor.
|
|
Thesis, Université Lille 1 - Sciences et Technologies,
2016 |
|
|
|
[67]
|
Adaptive virtual machine scheduling and migration for embedded real-time systems.
|
|
Dissertation,
2015 |
|
|
|
[68]
|
組込みコンピュータにおけるハイパーバイザを用いたリアルタイムシステム構成の提案
|
|
2015 |
|
|
|
[69]
|
Design & Development of Safety-Critical Systems for Multi-core Architectures
|
|
2015 |
|
|
|
[70]
|
Interference Aware Scheduling for Cloud Computing
|
|
Dissertation, Open Repository of the University of Porto,
2015 |
|
|
|
[71]
|
Conception & Development of Safety-Critical Systems for Multi-core Architectures
|
|
2015 |
|
|
|
[72]
|
A composable real-time architecture for replicated railway applications
|
|
Journal of Systems Architecture,
2015 |
|
|
|
[73]
|
A Real-Time Hypervisor for Embedded Systems with Hardware Virtualization Support
|
|
2015 |
|
|
|
[74]
|
Adaptive Virtual Machine Scheduling and Migration for Embedded Real-Time Systems
|
|
2015 |
|
|
|
[75]
|
Security Challenges of Virtualization Hypervisors in Virtualized Hardware Environment
|
|
International Journal of Communications, Network and System Sciences,
2015 |
|
|
|
[76]
|
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
|
|
Software & Systems Modeling,
2015 |
|
|
|
[77]
|
Towards automated service-oriented lifecycle management for 5G networks
|
|
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference on,
2015 |
|
|
|
[78]
|
Towards Hard Real-Time Control and Infotainment Applications in Automotive Platforms
|
|
OSPERT 2014,
2014 |
|
|
|
[79]
|
Embedded Real-Time Virtualization: State of the Art and Research Challenges
|
|
2014 |
|
|
|
[80]
|
Challenges in real-time virtualization and predictable cloud computing
|
|
Journal of Systems Architecture,
2014 |
|
|
|
[81]
|
Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems
|
|
Software Security and Reliability-Companion (SERE-C), 2014 IEEE Eighth International Conference on. IEEE,
2014 |
|
|
|
[82]
|
Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization
|
|
NULL
2014 |
|
|
|
[83]
|
Real-Time Virtualization and Cloud Computing
|
|
NULL
2014 |
|
|
|
[84]
|
On Application Responsiveness and Storage Latency in Virtualized Environments
|
|
CLOUD COMPUTING 2014, The Fifth International Conference on Cloud Computing, GRIDs, and Virtualization,
2014 |
|
|
|
[85]
|
Support for Legacy Real-Time Applications in an HSF-Enabled FreeRTOS
|
|
NULL
2014 |
|
|
|
[86]
|
Data-centric distribution technology in ARINC-653 systems
|
|
NULL
2014 |
|
|
|
[87]
|
Virtual-BFQ: A Coordinated Scheduler to Minimize Storage Latency and Improve Application Responsiveness in Virtualized Systems
|
|
International Journal on Advances in Software,
2014 |
|
|
|
[88]
|
The Design of Fault Tolerant PSTR Using Virtualization Techniques on the Embedded System
|
|
2014 |
|
|
|
[89]
|
HFOB-RSA: Historical Forwarding Overhead Based Resource Scheduling Algorithm for the Virtual Router
|
|
2014 |
|
|
|
[90]
|
Composability for fail-safe safety-critical systems
|
|
2014 |
|
|
|
[91]
|
EVALUATING THE PERFORMANCE AND BEHAVIOUR OF RT-XEN
|
|
International Journal of Embedded Systems and Applications,
2013 |
|
|
|
[92]
|
Evaluation of an RTOS on top of a hosted virtual machine system
|
|
2013 |
|
|
|
[93]
|
Taxonomy of Real-Time Hypervisors
|
|
P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2013 Eighth International Conference on. IEEE,
2013 |
|
|
|
[94]
|
SafeG-MP: マルチコア対応の組込みシステム向け仮想化環境
|
|
高田広章， 堀田孝一， 大山田光夫 - search.ieice.org,
2013 |
|
|
|
[95]
|
Full and Para-Virtualization with Xen: A Performance Comparison
|
|
Journal of Emerging Trends in Computing and Information Sciences,
2013 |
|
|
|
[96]
|
Optimized hypervisor scheduler for parallel discrete event simulations on virtual machine platforms
|
|
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering),
2013 |
|
|
|
[97]
|
Fair bandwidth sharing among virtual machines in a multi-criticality scope
|
|
ACM SIGBED Review,
2013 |
|
|
|
[98]
|
Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems
|
|
Embedded Systems: Design, Analysis and Verification. Springer Berlin Heidelberg,
2013 |
|
|
|
[99]
|
Software Composability and Mixed Criticality for Triple Modular Redundant Architectures
|
|
Proceedings of Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security,
2013 |
|
|
|
[100]
|
A safe & secure arinc 653 hypervisor
|
|
Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd. IEEE,
2013 |
|
|
|
[101]
|
Taxonomy of Real-Time Hypervisors.
|
|
2013 |
|
|
|
[102]
|
가상머신 상의 PSTR 모델 수행환경연구
|
|
The Journal of Korean Institute of Information Technology,
2013 |
|
|
|
[103]
|
Predictable Communication Semantics For Industrial Real-Time Systems
|
|
|
|
|