English
Related papers

Related papers: Open Source Real Time Operating Systems Overview

200 papers

We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface-aware variant (IA-STL), providing both discrete- and dense-time interpretation of the logic. We also introduce RTAMT4ROS, a tool that…

Logic in Computer Science · Computer Science 2020-05-26 Dejan Nickovic , Tomoya Yamaguchi

In these days embedded system have an important role in different Fields and applications like Network embedded system , Real-time embedded systems which supports the mission-critical domains, mostly having the time constraints, Stand-alone…

Other Computer Science · Computer Science 2016-10-26 Qamar Jabeen , Fazlullah Khan , Muhammad Nouman Hayat , Haroon Khan , Syed Roohullah Jan , Farman Ullah

ROS (Robot Operating System) has become ubiquitous for testing new algorithms, alternative hardware configurations, and prototyping. By performing research with its modular framework, it can streamline sharing new work and integrations.…

Robotics · Computer Science 2020-11-23 Corey Williams , Adam Schroeder

We introduce a new open-source framework, Quadruped Trajectory Optimization Stack (QTOS), which integrates a global planner, local planner, simulator, controller, and robot interface into a single package. QTOS serves as a full-stack…

Robotics · Computer Science 2023-09-19 Alexy Skoutnev , Andrew Cinar , Praful Sigdel , Forrest Laine

Embedded systems have been used to control physical environments for decades. Usually, such use cases require low latencies between commands and actions as well as a high predictability of the expected worst-case delay. To achieve this on…

Networking and Internet Architecture · Computer Science 2021-04-14 Ilja Behnke , Lukas Pirl , Lauritz Thamsen , Robert Danicki , Andreas Polze , Odej Kao

eChronos is a formally verified Real Time Operating System(RTOS) designed for embedded micro-controllers. eChronos was targeted for tightly constrained devices without memory management units. Currently, eChronos is available on proprietary…

Operating Systems · Computer Science 2019-12-30 Shubhendra Pal Singhal , M. Sridevi , N Sathya Narayanan , M J Shankar Raman

The automobile Real-Time Operating System (RTOS) is hard to design and implement due to its real time features and increasing complexity. Some automobile RTOS standards are released aiming at unifying the software architecture of vehicle…

Software Engineering · Computer Science 2017-11-27 Xiaoran Zhu , Min Zhang , Jian Guo

Real-time operating systems employ spatial and temporal isolation to guarantee predictability and schedulability of real-time systems on multi-core processors. Any unbounded and uncontrolled cross-core performance interference poses a…

Operating Systems · Computer Science 2024-12-25 Zhaomeng Deng , Ziqi Zhang , Ding Li , Yao Guo , Yunfeng Ye , Yuxin Ren , Ning Jia , Xinwei Hu

Testing and debugging have become major obstacles for robot software development, because of high system complexity and dynamic environments. Standard, middleware-based data recording does not provide sufficient information on internal…

Robotics · Computer Science 2022-08-02 Christophe Bédard , Ingo Lütkebohle , Michel Dagenais

Several Network Operating Systems (NOS) have been proposed in the last few years for Software Defined Networks; however, a few of them are currently offering the resiliency, scalability and high availability required for production…

Networking and Internet Architecture · Computer Science 2015-03-27 M. Gerola , M. Santuari , E. Salvadori , S. Salsano , M. Campanella , P. L. Ventre , A. Al-Shabibi , W. Snow

Typically, even low-level operating system concepts, such as resource sharing strategies and predictability measures, are evaluated with Linux on PC hardware. This leaves a large gap to real industrial applications. Hence, the direct…

Operating Systems · Computer Science 2020-09-02 Oliver Horst , Uwe Baumgarten

Today's needs for monitoring and control of different devices in organizations require an Internet of Things (IoT) platform that can integrate heterogeneous elements provided by multiple vendors and using different protocols, data formats…

Systems and Control · Electrical Eng. & Systems 2024-01-30 Tomás Domínguez-Bolaño , Omar Campos , Valentín Barral , Carlos J. Escudero , José A. García-Naya

Operating systems are vital system software that, without them, humans would not be able to manage and use computer systems. In essence, an operating system is a collection of software programs whose role is to manage computer resources and…

Operating Systems · Computer Science 2012-04-03 Youssef Bassil

Task-based programming models like OmpSs-2 and OpenMP provide a flexible data-flow execution model to exploit dynamic, irregular and nested parallelism. Providing an efficient implementation that scales well with small granularity tasks…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-18 David Álvarez , Kevin Sala , Marcos Maroñas , Aleix Roca , Vicenç Beltran

Operating Systems are built upon a set of abstractions to provide resource management and programming APIs for common functionality, such as synchronization, communication, protection, and I/O. The process abstraction is the bridge across…

Operating Systems · Computer Science 2022-05-26 Rodrigo Siqueira , Nelson Lago , Fabio Kon , Dejan Milojičić

As robotics systems become more distributed, the communications between different robot modules play a key role for the reliability of the overall robot control. In this paper, we present a study of the Linux communication stack meant for…

In the last decade we have witnessed a rapid growth in data center systems, requiring new and highly complex networking devices. The need to refresh networking infrastructure whenever new protocols or functions are introduced, and the…

Hardware Architecture · Computer Science 2016-12-19 Jong Hun Han , Noa Zilberman , Bjoern A. Zeeb , Andreas Fiessler , Andrew W. Moore

Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, until recently, cyber-security considerations were an…

Cryptography and Security · Computer Science 2017-05-25 Monowar Hasan , Sibin Mohan , Rodolfo Pellizzoni , Rakesh B. Bobba

In this paper, we present Real-Time Analog Monitoring Tool (RTAMT), a tool for quantitative monitoring of Signal Temporal Logic (STL) specifications. The library implements a flexible architecture that supports: (1) various environments…

Logic in Computer Science · Computer Science 2025-02-03 Tomoya Yamaguchi , Bardh Hoxha , Dejan Nickovic

In this work we present an experimental setup to show the suitability of ROS 2.0 for real-time robotic applications. We disclose an evaluation of ROS 2.0 communications in a robotic inter-component (hardware) communication case on top of…