Hybrid Operating System Research Articles

StateOS : A Memory Sufficient Hybrid Operating System for IOT Devices

The proliferation of Internet of Things (IoT) technology has spurred the need for efficient operating systems tailored to the constraints of IoT devices. This paper presents StateOS, a hybrid operating system designed to meet the demands of sensor-based IoT devices and wireless sensors. StateOS combines the memory efficiency of event-driven systems with the clarity of control flow provided by multithreaded approaches. By implementing a microkernel architecture, cross-layer network protocol design, and a hybrid task scheduler, StateOS offers real-time capabilities while minimizing memory footprint. Macro-based task APIs and state machine-based visual programming facilitate cooperative threaded programming, making StateOS suitable for both experienced developers and novices. The paper provides an in-depth overview of StateOS's architecture, kernel functionalities, code examples, implementation on various platforms, performance evaluation, and concludes by highlighting its potential as a valuable tool for modern IoT application development. Keywords — Hybrid operating system (OS), Internet of Things (IoT) and Memory efficiency.

Electric Wheelchair Hybrid Operating System Coordinated with Working Range of a Robotic Arm

Electric wheelchair-mounted robotic arms can help patients with disabilities to perform their activities in daily living (ADL). Joysticks or keypads are commonly used as the operating interface of Wheelchair-mounted robotic arms. Under different scenarios, some patients with upper limb disabilities such as finger contracture cannot operate such interfaces smoothly. Recently, manual interfaces for different symptoms to operate the wheelchair-mounted robotic arms are being developed. However, the stop the wheelchairs in an appropriate position for the robotic arm grasping task is still not easy. To reduce the individual’s burden in operating wheelchair in narrow spaces and to ensure that the chair always stops within the working range of a robotic arm, we propose here an operating system for an electric wheelchair that can automatically drive itself to within the working range of a robotic arm by capturing the position of an AR marker via a chair-mounted camera. Meanwhile, the system includes an error correction model to correct the wheelchair’s moving error. Finally, we demonstrate the effectiveness of the proposed system by running the wheelchair and simulating the robotic arm through several courses.

MMEDD: Multithreading Model for an Efficient Data Delivery in wireless sensor networks

Nowadays, the use of Wireless Sensor Networks (WSNs) is increasingly growing as they allow a large number of applications. In a large scale sensor network, communication among sensors is achieved by using a multihop communication. However, since the sensor is limited by its resources, sensors' operating systems are developed in order to optimize the management of these resources, especially the power consumption. Therefore, the hybrid operating system Contiki uses a low consumption layer called Rime which allows sensors to perform multihop sending with a low energy cost. This is favored by the implementation of lightweight processes called protothreads. These processes have a good efficiency/consumption ratio for monolithic tasks, but the management of several tasks remains a problem. In order to enable multitasking, Contiki provides to users a preemptive multithreading module that allows the management of multiple threads. However, it usually causes greater energy wastage. To improve multithreading in sensor networks, a Multithreading Model for an Efficient Data Delivery (MMEDD) using protothreads is proposed in this paper. Intensive experiments have been conducted on COOJA simulator that is integrated in Contiki. The results show that MMEDD provides better ratio message reception rate/energy consumption than other architectures.

THE PERSISTENT CONFLICT, A CHARACTERISTIC OF THE CONCEPT OF APPROACHING THE HYBRID WAR IN THE EASTERN EUROPEAN OPERATIONAL ENVIRONMENT


 The Contemporary Eastern European operational environment is a complex system of actors, weapons and weapon systems, circumstances and conditions that manifest themselves in well-defined areas and that can directly influence decisions to use military capabilities. It may include both enemy and neutral or allied enemy forces and systems participating in the persistent conflict, as well as the culture of the population, the physical environment, local resources, the technological level, the political decision-maker and the executor. The lessons learned from the first part of this century convinced us that the Eastern European operational environment is quite conflictual; constantly changing at local and regional level, it falls into a dynamic, persistent and complex context, which, combined with energy blackmail strategies favor the emergence of hybrid dangers and threats to the stability and security of the Eastern European area. Through this article I want to give a firm and documented answer to questions related to: the conception of approaching the persistent hybrid conflict; the tendency of some actors to persist in tensions in the area of Eastern European insecurity and their concern to maintain the persistent conflict as a form of modern manifestation of Eastern European Community relations.
 
 Keywords: operational environment; persistent conflict; hybrid threats; hybrid operating system.

Formal Verification of a Hybrid IoT Operating System Model

The Internet of Things (IoT) is becoming an increasingly common paradigm. As IoT usage scenarios have increased, many challenges in IoT operating systems’ safety and adaptability have remained. According to the programming model, IoT operating systems can be categorized into three types: multithreading, event-driven, and hybrid. Different operating system models are applied in different scenarios depending on the real-time requirements or resource richness. The safety of IoT operating systems is critical; hence, formal verification is an important method of detecting potential vulnerabilities and providing safety guarantees. This paper proposes a hybrid model for an IoT operating system and employs the Event-B method for modeling and verification. We rewrite the requirements and divide the Event-Bus hybrid operating system model into eight levels for refinement. The safety and liveness properties of Event-Bus are guaranteed by generating and proving the proof obligations at each model level. A large proportion of the proof obligations (91%) are automatically proven on the Rodin platform to simplify the development process.

Development of new energy management strategy for a household fuel cell/battery hybrid system

This work aims to construct an efficient and robust fuel cell/battery hybrid operating system for a household application. The ability to dispatch the power demands, sustain the state of charge (SOC) of battery, optimize the power consumption, and more importantly, ensure the durability as well as extend the lifetime of a fuel cell system is the basic requirements of the hybrid operating system. New power management strategy based on fuzzy logical combined state machine control is developed, and its effectiveness is compared with various strategies such as dynamic programming (DP), state machine control, and fuzzy logical control with simulation. Experimental results are also presented, except for DP because of difficulties in achieving real-time implementation and much faster response to load variation. The given current from the energy management system (EMS) as a reference of the fuel cell output current is determined by filtering out various harmful signals. The new power management strategy is applied to a 1-kW stationary fuel cell/battery hybrid system. Results show that the fuel cell hybrid system can run much smoothly with prolonged lifetime.

Optimized power management based on adaptive-PMP algorithm for a stationary PEM fuel cell/battery hybrid system

This research develops an efficient and robust polymer electrolyte membrane (PEM) fuel cell/battery hybrid operating system. The entire system possesses its own rapid dynamic response benefited from hybrid connection and power split characteristics due to DC/DC buck-boost converter. An indispensable energy management system (EMS) plays a significant role in achieving optimal fuel economy and in a promising running stability. EMS as an indispensable part plays a significant role in achieving optimal fuel economy and promising operation stability. This study aims to develop an adaptive supervisory EMS that comprises computer-aided engineering tools to monitor, control, and optimize the performance of the hybrid power system. A stationary fuel cell/battery hybrid operating system is optimized using adaptive-Pontryagin's minimum principle (A-PMP). The proposed algorithm depends on the adaptation of the control parameter (i.e., fuel cell output power) from the state of charge (SOC) and load power feedback. The integrated model simulated in a Matlab/Simulink environment includes the fuel cell, battery, DC/DC converter, and power requirements models by analyzing the three different load profiles. Real-time experiments are performed to verify the effectiveness of EMS after analyzing the simulated operating principle and control scheme.

A Hybrid Platform for In-Car Infotainment Systems

A hybrid operating system approach, with Windows running in ‘padded cells’ on top of a secure, real-time operating system — all on a single automotivegrade PC — can address the challenging requirements of next-generation infotainment systems.

The Boeing integrated hybrid operating system

A Hybrid Computing Complex must serve both experi enced and inexperienced users. It must handle both small and large engineering problems efficiently. It must be economical to use in all cases. The Operating System employed largely determines how well the Complex func tions. The Hybrid Operating System described here (de signed and implemented, under the supervision of the author, at The Boeing Company, Aerospace Group, Seattle, Washington) meets these requirements. It provides a hy brid form of compile-set-up-and-go operation. However, the quality of the man/machine "dialog" possible with analog computation is preserved. It includes all the system software; i.e., processors, monitors, executive systems, libraries and hybrid utilities. The system design minimizes resident memory size for any one mode of operation. Its modular control structure permits growth in several system dimensions. The system was designed for an SDS 9300 (with 24K core, four tapes and DES-1) coupled through an SDS interface (with extensive sense, control and interrupt structure) to a modified EASE 2100. The appendix provided discusses experience with the system to date, and some of its limitations.