Search
Search Results
-
An integrated AGV control system using preemptive and non-preemptive mixed RTOS
The automated guided vehicle (AGV) is currently used in a wide range of industries. The control system is the core of the AGV, responsible for task...
-
Configurable Test System for RTOS
AbstractThe article describes a test system designed for verification of the real-time operating system (RTOS) for embedded systems, which was...
-
FPGA implementation of hardware accelerated RTOS based on real-time event handling
Actual trends in the real-time system field consists of migration towards complex central processing unit (CPU) architectures with enhanced execution...
-
Security and Reliability of Safety-Critical RTOS
Real-Time Operating System (RTOS) presents a computing environment with the ability to react to events within a strictly-defined period. Modern...
-
A New Academic RTOS: **nu Port to the AVR Architecture
The software development tools used in the industry for automation and control do not always have desirable characteristics to be used in the process... -
RTOS Based Embedded Solution for Multi-purpose Radio Frequency Communication
Based on Real-Time Operating System (RTOS) concepts, a continuous data transceiver system is designed. The wireless data transmission is enabled... -
Reusable formal models for concurrency and communication in custom real-time operating systems
In embedded systems, the execution semantics of the real-time operating system (RTOS), which is responsible for scheduling and timely execution of...
-
Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel
Checking compliance of a Real-Time Operating System (RTOS) with the standard it is supposed to implement is usually achieved by executing a test... -
TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone for Armv8-M
Control-Flow Integrity (CFI) is a class of defensive techniques against control-flow attacks such as Return-Oriented Programming. We propose a...
-
A framework for embedded software portability and verification: from formal models to low-level code
Porting software to new target architectures is a common challenge, particularly when dealing with low-level functionality in drivers or OS kernels...
-
Embedded Real-Time Operating Systems
This chapter covers embedded real-time operating systems (RTOS). It introduces the concepts and requirements of real-time systems. It covers the... -
RoboSync: Efficient Real-Time Operating System for Social Robots with Customizable Behaviour
Traditional robotic systems require complex implementations that are not always accessible or easy to use for Human-Robot Interaction (HRI)... -
A Modular SystemC RTOS Model for Uncertainty Analysis
Nowadays the complexity of embedded systems is constantly increasing and several different types of applications concurrently execute on the same... -
A Real-Time Operating System for Cyber-Physical Systems Based on Physical Time and Logical Time
The paper presents a real-time operating system (RTOS) of a time-triggered distributed computing environment based on physical time and logical time... -
A real-time vital control module to increase capabilities of railway control systems in highly automated train operations
Recent advances in technology and railway have led to the introduction of systems and infrastructures capable of driving trains automatically. The...
-
Methods for Constructing Control Systems for Hardware and Software Complexes on the Basis of an Adaptive Real-Time Operating System
AbstractThis paper considers the problems associated with the reduction of time required for technical support of hardware–software systems. The...
-
Towards Reusable Formal Models for Custom Real-Time Operating Systems
In embedded systems, the execution semantics of the real-time operating system (RTOS), which is responsible for scheduling and timely execution of... -
Interrupt Responsive Spinlock Mechanism Based on MCS for Multi-core RTOS
The kernel spinlock has a non-negligible influence on the real-time performance of the multi-core RTOS. In order to protect mutual exclusive kernel... -
Collaborative Robot-Oriented Joint Real-Time Control Based on Heterogeneous Embedded Platform
A real-time joint controller oriented on collaborative robots (co-robots) using an embedded multi-core heterogeneous development board is proposed in...