Evaluation of scheduling heuristics for jitter reduction of real-time streaming applications on multi-core general purpose hardware

2011 ◽  
Author(s):  
M. Westmijze ◽  
M. J. G. Bekooij ◽  
G. J. M. Smit ◽  
M. Schrijver
Keyword(s):  
Real Time ◽  
General Purpose ◽  
Streaming Applications

Design and implementation of a virtual ARINC 653 simulation platform

SIMULATION ◽  
2021 ◽  
pp. 003754972199601
Author(s):  
Jinchao Chen ◽  
Keke Chen ◽  
Chenglie Du ◽  
Yifan Liu
Keyword(s):  
Real Time ◽  
System Development ◽  
General Purpose ◽  
Simulation Platform ◽  
Communication Management ◽  
Management Communication ◽  
Real Time Simulation ◽  
Testing And Debugging ◽  
Time Simulation ◽  
Efficiency And Effectiveness

The ARINC 653 operation system is currently widely adopted in the avionics industry, and has become the mainstream architecture in avionics applications because of its strong agility and reliability. Although ARINC 653 can efficiently reduce the weight and energy consumption, it results in a serious development and verification problem for avionics systems. As ARINC 653 is non-open source software and lacks effective support for software testing and debugging, it is of great significance to build a real-time simulation platform for ARINC 653 on general-purpose operating systems, improving the efficiency and effectiveness of system development and implementation. In this paper, a virtual ARINC 653 platform is designed and realized by using real-time simulation technology. The proposed platform is composed of partition management, communication management, and health monitoring management, provides the same operation interfaces as the ARINC 653 system, and allows dynamic debugging of avionics applications without requiring the actual presence of real devices. Experimental results show that the platform not only simulates the functionalities of ARINC 653, but also meets the real-time requirements of avionics applications.

Real-time MLton: A Standard ML runtime for real-time functional programs

2021 ◽  
Vol 31 ◽  
Author(s):  
BHARGAV SHIVKUMAR ◽  
JEFFREY MURPHY ◽  
LUKASZ ZIAREK
Keyword(s):  
Programming Languages ◽  
Real Time ◽  
Concurrency Control ◽  
General Purpose ◽  
Functional Languages ◽  
Control Mechanisms ◽  
Real Time Systems ◽  
Functional Programming Languages ◽  
Standard Ml ◽  
Time Systems

Abstract There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple but powerful concurrency control mechanisms. Although there have been many recent proposals for specialized domain-specific languages for embedded and real-time systems, there has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. In this paper, we present our current work on leveraging Standard ML (SML) in the embedded and real-time domains. Specifically, we detail our experiences in modifying MLton, a whole-program optimizing compiler for SML, for use in such contexts. We focus primarily on the language runtime, reworking the threading subsystem, object model, and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML.

Sign in / Sign up

Export Citation Format

Share Document