Kernel-level ARINC 653 partitioning for Linux

Han, Sanghyun; Jin, Hyun-Wook

doi:10.1145/2245276.2232037

Cited by 23 publications

(13 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Today, most Operating Systems (OS) do not allow direct communication between processes, in particular, this is the case of avionics [6]. In these systems, the different processes are segregated in space and time.…”

Section: A Characterizing Cyber Componentsmentioning

confidence: 99%

Toward a formalism to study the scheduling of cyber-physical systems simulations

Deschamps

Cappello

Cardoso³

et al. 2017

2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT)

View full text Add to dashboard Cite

Abstract-This paper presents ongoing work on the formalism of Cyber-Physical Systems (CPS) simulations. These systems are distributed real-time systems, and their simulations might be distributed or not.In this paper, we propose a model to describe the modular components forming a simulation of a CPS. The main goal is to introduce a model of generic simulation distributed architecture, on which we are able to execute a logical architecture of simulation. This architecture of simulation allows the expression of structural and behavioral constraints on the simulation, abstracting its execution.We will propose two implementations of the execution architecture based on generic architectures of distributed simulation:• The High Level Architecture (HLA), an IEEE standard for distributed simulation, and one of its open-source implementation of RunTime Infrastructure (RTI): CERTI.• The Distributed Simulation Scheduler (DSS), an Airbus framework scheduling predefined models. Finally, we present the initial results obtained applying our formalism to the open-source case study from the ROSACE case study.

show abstract

Section: A Characterizing Cyber Componentsmentioning

confidence: 99%

Toward a formalism to study the scheduling of cyber-physical systems simulations

Deschamps

Cappello

Cardoso³

et al. 2017

2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT)

View full text Add to dashboard Cite

show abstract

“…A kernel-level implementation to support partitioning and hierarchical scheduling in ARINC 653 for Linux is provided in [18]. It uses a partitioned scheduler at the global-level to schedule partitions, and a local-level process scheduler is used to schedule processes within each partition using.…”

Section: B Hierarchical Scheduling Supportmentioning

confidence: 99%

Towards implementing multi-resource server on multi-core Linux platform

Inam

Slatman

Behnam

et al. 2013

2013 IEEE 18th Conference on Emerging Technologies &Amp; Factory Automation (ETFA)

View full text Add to dashboard Cite

In this paper we present our ongoing work on implementing the multi-resource server technology in the Linux operating system running on multi-core architectures. The multiresource server is used to control the access to both CPU and memory bandwidth resources such that the execution of real-time tasks become predictable. We are targeting Legacy applications to be migrated from single to multi-core architectures. We investigate the available techniques and mechanisms that can support our multi-resource servers and we discuss the potential problems that needed to be tackled considering the requirements of legacy applications.

show abstract

“…Also, it is difficult to modify and extend the kernel's functionalities. Recent studies introduced the integration of Linux and ARINC 653 as a solution to this problem [4], [10], [11].…”

Section: Introductionmentioning

confidence: 99%

“…The first one requires additional run queue per each partition to implement the partition scheduler [4], [10], [11]. The other one requires an additional priority array per partition to implement the scheduler [12].…”

Section: Introductionmentioning

confidence: 99%

Linux-based memory efficient ARINC 653 partition scheduler

Kown

Kim

Joe

et al. 2014

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)

View full text Add to dashboard Cite

Development of the space industry has led to a diversity of specialized electronics-units implemented on space system. However, this provoked new problems such as increased system's complexity and the size. As a solution to the problem, the Integrated Modular Avionics (IMA) architecture and ARINC 653 standard have been suggested. This paper introduces a Linux-based memory efficient ARINC 653 partition scheduler, which employs fixed-priority preemptive scheduling algorithm for partitions scheduling. The implemented partition scheduler has small memory footprint for each partition and produces low partition switching overhead. The prototype was executed on a LEON4 processor, which is the European Space Agency (ESA) Next Generation Multicore Processor (NGMP) in the space sector. In evaluation, we analyzed execution trace, memory footprint and scheduling overhead.

show abstract

Kernel-level ARINC 653 partitioning for Linux

Cited by 23 publications

References 15 publications

Toward a formalism to study the scheduling of cyber-physical systems simulations

Toward a formalism to study the scheduling of cyber-physical systems simulations

Towards implementing multi-resource server on multi-core Linux platform

Linux-based memory efficient ARINC 653 partition scheduler

Contact Info

Product

Resources

About