The real-time operating system of MARS

1989 ◽  
Vol 23 (3) ◽  
pp. 141-157 ◽  
Author(s):  
A. Damm ◽  
J. Reisinger ◽  
W. Schwabl ◽  
H. Kopetz
Keyword(s):  
Operating System ◽  
Real Time ◽  
Real Time Operating System ◽  
The Real

Virtual Test Environment for Self-Optimizing Systems

2013 ◽  
Author(s):  
Jörg Stöcklein ◽  
Daniel Baldin ◽  
Wolfgang Müller ◽  
Tao Xie
Keyword(s):  
Operating System ◽  
Real Time ◽  
Virtual Prototype ◽  
Test Cases ◽  
Test Environment ◽  
Dead Code ◽  
Real Time Operating System ◽  
The Real ◽  
Code Coverage ◽  
Virtual Test

In our paper we present a virtual test environment for self-optimizing systems based on mutant based testing to validate user tasks of a real-time operating system. This allows the efficient validation of the code coverage of the test cases and therefore helps to detect errors in order to improving the reliability of the system software. Technically we are able to run and test the software on both systems. By writing application software and setting up the virtual test environment properly, we define our test cases. To validate the code coverage for our test cases, we use the approach of mutant based testing. By running this mutated code on our virtual prototype in the virtual test environment, we are able to efficiently validate the code coverage and are able to detect bugs in the application code or detect dead code that is not executed. Finding non-executing code leads to redefinition of our test cases by either changing the test environment or the application code in the case of dead code. We implemented the virtual test environment on top of the third party low cost VR system Unity 3D, which is frequently used in entertainment and education. We demonstrate our concepts by the example of our BeBot robot vehicles. The implementation is based on our self-optimizing real-time operating system ORCOS and we used the tool CERTITUDE(TM) for generating the mutations in our application code. Our BeBot virtual prototype in our virtual test environment implements the same low-level interface to the underlying hardware as the real BeBot. This allows a redirection of commands in ORCOS to either the real or the virtual BeBot in order to provide a VR based platform for early software development as well as ensures comparable conditions under both environments. Our example applies a virtual BeBot that drives through a labyrinth utilizing its IR sensors for navigation. The mutant based testing checks if all situations implemented by the software to navigate through the labyrinth are covered by our tests.

A Study on the Design Method of the Real-Time System Software Based on RTOS

2014 ◽  
Vol 513-517 ◽  
pp. 2487-2491
Author(s):  
Dong Zhao ◽  
Shang Wei Jiang ◽  
Hong Wei Zhao ◽  
Xin Tong Yu
Keyword(s):  
Operating System ◽  
Real Time ◽  
Design Method ◽  
Control Flow ◽  
Functional Requirements ◽  
Time System ◽  
Real Time System ◽  
Real Time Operating System ◽  
The Real ◽  
Structured Analysis

This paper combines the characteristics of real-time embedded systems and the real-time operating system to propose a software engineering method and process which bases on the function structured analysis and task structured design. First in the process of structured analysis based on the Hatley-Pirbhai method, extracting and sorting out the data flow and control flow according to the functional requirements of the system, analyzing and processing the functions of the system, the dependency among the functions and the timing sequence, and then realizing the design of the specific functions of the system, next achieving the structural design through the improving method, it also simplifies the system design processes. At this time, just need to analyze and divide the processing which is obtained from the structural analysis to get the specific task, design the interfaces among the tasks and also every task to get the new design method of the embedded real-time operating system, which also solves hard issue of the traditional method which is the weak extracting and developing iteration in the embedded real-time system.

scholarly journals Study on Application of Real-time Control Method for Controlling Position of Robots in the Given Time

2020 ◽  
Vol 3 (3) ◽  
pp. 461-471
Author(s):  
Tri Cong Phung
Keyword(s):  
Operating System ◽  
Real Time ◽  
Operating Systems ◽  
Control Method ◽  
Real Time Control ◽  
Real Time Operating System ◽  
The Real ◽  
Time Control ◽  
Robot Trajectory ◽  
The Given

Controlling accurately the position and velocity of robots in a given time is an important requirement in the industry. The open-source real-time operating systems not only have more advantages than the normal operating systems in both economy and flexibility but also meet the needs. This paper concentrates on building algorithms for controlling the robot trajectory in time using a modern real-time operating system called Linux-Xenomai. Firstly, the paper analyzes several advantages of the real-time operating system Linux-Xenomai comparing general operating systems and other real-time operating systems. Secondly, a real-time controller of a 5 degree-of-freedom (DOF) robot is built based on the real-time operating system Linux-Xenomai. After that, the paper proposes algorithms to test the ability of working in time of the robot. Finally, the real experiments are done to verify the proposed algorithms.

Interface Synthesis and the Real-Time Operating System

1997 ◽  
pp. 157-198
Author(s):  
Felice Balarin ◽  
Massimiliano Chiodo ◽  
Paolo Giusto ◽  
Harry Hsieh ◽  
Attila Jurecska ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Real Time Operating System ◽  
The Real ◽  
Interface Synthesis

scholarly journals Expert Opinions on the Intranet-Based Security System in Industrial Electrical Switchboards

2021 ◽  
Vol 4 (4) ◽  
pp. 83
Author(s):  
Siwanatthakul Chaiyason ◽  
Kittipol Wisaeng
Keyword(s):  
Operating System ◽  
Real Time ◽  
Service Time ◽  
Security System ◽  
Smart Devices ◽  
Real Time Operating System ◽  
The Real ◽  
Expert Opinions ◽  
On Site Inspection ◽  
Business Competitiveness

The management and operation of an electrical switchboard originally was processed by an inspector so only tangible malfunctions could be identified while other intangible ones that can cause severe damages to the switchboard were overlooked. To solve this serious deprivation, this investigation, therefore, implemented an intranet sensors system in the electrical switchboard to create a new channel of communication via smart devices to operate and access it remotely, which will eventually lead to increased safety and efficiency of managing electrical switchboards, as well as manufacturing reliability and stability. All these will also increase competitiveness in business. The findings of this research indicate that the application could solve the deprivation by signaling all security malfunctions, both tangible and intangible, remotely via smartphones and laptops in the real-time operating system, which helps reduce severe damages to the switchboard, on-site inspection, and loss of service time to fix malfunctions and human and related risks, as well as increase manufacturing reliability and stability of the operation. The implemented intranet sensors system was also compatible with the current existing security system. This increased security, therefore, verifies the efficiency and business competitiveness of the intranet sensors system.

Sign in / Sign up

Export Citation Format

Share Document