An Architectural Overview of QNX

No abstract is available for this paper.

• Publication year

  1992

• Venue

  USENIX Workshop on Microkernels and Other Kernel Architectures

• Publication date

  1992-04-27

• Fields of study

  Computer Science, Engineering

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Second-Generation Micro-Kernel Based UNIX: Lessons in Performance and Compatibility

  1991cited by this paper

• Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance

  2025cites this paper
• Fast, Transparent Filesystem Microkernel Recovery with Ananke

  2025cites this paper
• SmartVisor: User-Friendly Hypervisor for Mobile Robots

  2024cites this paper
• Wave: Offloading Resource Management to SmartNIC Cores

  2024cites this paper
• SmartKit: User-Friendly Robot with Multiple Operating Systems

  2024cites this paper
• Learning management systems for higher education: a brief comparison

  2024cites this paper
• Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor

  2024cites this paper
• Agent Centric Operating System - a Comprehensive Review and Outlook for Operating System

  2024cites this paper
• Compiling Unikernels into Micro Kernels

  2023cites this paper
• Real-Time USB Networking and Device I/O

  2023influential citation
• Asymmetric Init: Startup Optimization for Microkernel Hypervisor

  2023cites this paper
• SecureCells: A Secure Compartmentalized Architecture

  2023cites this paper
• Milestones in Autonomous Driving and Intelligent Vehicles—Part I: Control, Computing System Design, Communication, HD Map, Testing, and Human Behaviors

  2023cites this paper
• Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures

  2022cites this paper
• Preventing Kernel Hacks with HAKC

  2022cites this paper
• Systemprogrammierung

  2021cites this paper
• Micro-CLK: returning to the asynchronicity with communication-less microkernel

  2021cites this paper
• Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous TEE Architectures

  2021cites this paper
• Practical Principle of Least Privilege for Secure Embedded Systems

  2021cites this paper
• Towards an Integrated Vehicle Management System in DriveOS

  2021cites this paper
• Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication

  2020cites this paper
• A Literature Review on Embedded Systems

  2020cites this paper
• An Enhanced Safe and Reliable Autonomous Driving Platform using ROS2

  2020cites this paper
• Ransomware Targeting Automobiles

  2020cites this paper
• Computing Systems for Autonomous Driving: State of the Art and Challenges

  2020cites this paper
• LibrettOS: a dynamically adaptable multiserver-library OS

  2020cites this paper
• Edge Computing for Autonomous Driving: Opportunities and Challenges

  2019cites this paper
• Finite state automaton based control system for walking machines

  2019cites this paper
• Automated Scalability System for Distributed Applications in Heterogeneous Environment

  2019cites this paper
• XPC: Architectural Support for Secure and Efficient Cross Process Call

  2019cites this paper
• SkyBridge: Fast and Secure Inter-Process Communication for Microkernels

  2019cites this paper
• A Literature Review on Embedded Systems

  2019cites this paper
• Simulation-based Control of Reconfigurable Robotic Workcells: Interactive Planning and Execution of Processes in Cyber-Physical Systems

  2018cites this paper
• Interrupt Handling Architectures

  2018cites this paper
• A Secure Computing Platform for Building Automation Using Microkernel-based Operating Systems

  2018cites this paper
• Internet of Things (IoT) Operating Systems Support, Networking Technologies, Applications, and Challenges: A Comparative Review

  2018cites this paper
• Facing the Safety-Security Gap in RTES: the Challenge of Timeliness

  2017cites this paper
• Object-Oriented Modeling and Coordination of Mobile Robots

  2017cites this paper
• Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms

  2017cites this paper
• QoS provisioning of a task-scheduling algorithm for lightweight devices

  2017cites this paper
• Design and implementation of multicore support for a highly reliable self-repairing μ-kernel OS

  2017cites this paper
• Containing a Confused Deputy on x86: A Survey of Privilege Escalation Mitigation Techniques

  2016cites this paper
• Proper Timed I/O: High-Accuracy Real-Time Control for Conventional Operating Systems

  2016cites this paper
• Integrating Virtual Reality, Motion Simulation and a 4D GIS

  2016cites this paper
• A Survey: Embedded Systems Supporting By Different Operating Systems

  2016cites this paper
• Rethinking operating system design: asymmetric multiprocessing for security and performance

  2016cites this paper
• Identifying Defects Related to the Order in which Messages are Received in Message-Passing Systems

  2016cites this paper
• A NEaT Design for Reliable and Scalable Network Stacks

  2016cites this paper
• Practical applications of simulation-based control

  2016cites this paper
• SMASH: A distributed game engine architecture

  2016cites this paper
• Hybrid Runtime Systems

  2016cites this paper
• A real-time data acquisition and processing framework for large-scale robot skin

  2015cites this paper
• A Review of Operating System Infrastructure for Real-Time Embedded Software

  2015influential citation
• Hard Real-Time Linux for Off-The-Shelf Multicore Architectures

  2015cites this paper
• FLoW: Achieve native multi threading support for embedded system through microkernel

  2015cites this paper
• Process migration and load balancing.

  2015cites this paper
• A secure isolation of software activities in tiny scale systems

  2015cites this paper
• Proper timed I/O: high-accuracy real-time control for conventional operating systems

  2015cites this paper
• Safe and automatic live update

  2014cites this paper
• The use of mTags for mandatory security: a case study

  2014cites this paper
• A Split TCP/IP Stack Implementation for GNU/Linux

  2014cites this paper
• A Framework for Approximate Optimization of BoT Application Deployment in Hybrid Cloud Environment

  2014influential citation
• An Overview of AUTOSAR Multicore Operating System Implementation

  2013cites this paper
• Safe and automatic live update for operating systems

  2013cites this paper
• Real-time scheduling coprocessor for NIOS II processor

  2012cites this paper
• Enhanced Operating System Security Through Efficient and Fine-grained Address Space Randomization

  2012cites this paper
• msocket: multiple stack support for the berkeley socket API

  2012cites this paper
• Flexible Operating System Internals: The Design and Implementation of the Anykernel and Rump Kernels

  2012cites this paper
• PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems

  2012influential citation
• As Time Goes By: Research on L4-Based Real-Time Systems

  2012cites this paper
• mTags: augmenting microkernel messages with lightweight metadata

  2012cites this paper
• System Support for Fast Client/Server Communication

  2012cites this paper
• Virtual-CPU Scheduling in the Quest Operating System

  2011cites this paper
• PowerDEVS: a tool for hybrid system modeling and real-time simulation

  2011cites this paper
• Dynamic control of aerodynamic forces on a moving platform using active flow control

  2011cites this paper
• Resource management for multicore aware software architectures of in- car multimedia systems

  2011cites this paper
• NewSART automatic voltage and reactive power regulator for secondary voltage regulation: Design and application

  2011cites this paper
• Provable protection of confidential data in microkernel based systems

  2010cites this paper
• Formal methods in the development life cycle of real-time software

  2010cites this paper
• Experiences Gained from Building a Services-Based Distributed Operating System

  2010cites this paper
• A low-power real-time operating system for ARC (actual remote control) wearable device

  2010cites this paper
• Real-time Enhancement for Xen Hypervisor

  2010cites this paper
• Formal methods in the development life cycle of real-time software

  2010cites this paper
• A Principled approach to kernel memory management

  2010cites this paper
• A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. (Un Langage Synchrone pour les Systèmes Embarqués Critiques Soumis à des Contraintes Temps Réel Multiples)

  2009cites this paper
• Formal Verication of a Framework for Microkernel Programmers

  2009cites this paper
• Reconfigurable middleware architectures for large scale sensor networks

  2009cites this paper
• A Survey of Operating Systems Infrastructure for Embedded Systems

  2009cites this paper
• A Practical Look at Micro-Kernels and Virtual Machine Monitors

  2009cites this paper
• A microdriver architecture for error correcting codes inside the Linux kernel

  2009cites this paper
• An uRT51 real-time processor evaluation

  2009cites this paper
• Intégration de systèmes hétérogènes en termes de niveaux de sécurité. (Integration of systems with heterogeneous security levels)

  2009cites this paper
• Development of a highly optimized Preemptive Real Time Operating System (pRTOS)

  2008influential citation
• Operating System Support for Embedded Real-Time Applications

  2008cites this paper
• UNIVERSIDADE FEDERAL DE SANTA CATARINA PROGRAMA DE P ´ OS-GRADUAC ¸ ˜ AO EM CI ˆ ENCIA DA COMPUTAC ¸ ˜ AO

  2008cites this paper
• DESARROLLO DE UN SIMULADOR DE SISTEMAS HIBRIDOS EN TIEMPO REAL

  2008cites this paper
• Towards a Distributed Control Framework with Real-Time Support

  2008cites this paper
• A Real-Time Programmer's Tour of General-Purpose L4 Microkernels

  2008cites this paper
• eme temps r´ eel communicant Bluetooth pour le contrˆ ole de robot mobile Real-time Bluetooth communication system for control of a mobile robot

  2008cites this paper
• Architecture logicielle et outils pour systèmes d'exploitation reconfigurables

  2008cites this paper