GPIOCP: Timing-accurate general purpose I/O controller for many-core real-time systems

2017 ◽  
Author(s):  
Zhe Jiang ◽  
Neil C. Audsley
Keyword(s):  
Real Time ◽  
General Purpose ◽  
Real Time Systems ◽  
Many Core ◽  
Time Systems

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.

Cache isolation for virtualization of mixed general-purpose and real-time systems

2013 ◽  
Vol 59 (10) ◽  
pp. 1405-1413 ◽  
Author(s):  
Ruhui Ma ◽  
Wei Ye ◽  
Alei Liang ◽  
Haibing Guan ◽  
Jian Li
Keyword(s):  
Real Time ◽  
General Purpose ◽  
Real Time Systems ◽  
Time Systems

Dynamic power management for thermal control of many-core real-time systems

2014 ◽  
Vol 11 (3) ◽  
pp. 26-29 ◽  
Author(s):  
Matthias Becker ◽  
Kristian Sandström ◽  
Moris Behnam ◽  
Thomas Nolte
Keyword(s):  
Real Time ◽  
Power Management ◽  
Thermal Control ◽  
Dynamic Power Management ◽  
Real Time Systems ◽  
Dynamic Power ◽  
Many Core ◽  
Time Systems

Software Engineering for Real Time Systems

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett
Keyword(s):  
Software Engineering ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Generic Round Robin Scheduling for Real Time Systems

2017 ◽  
Vol 7 (5) ◽  
pp. 148-155
Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Round Robin ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document