Temporal partitioning for mixed-criticality systems

Jin, Hyun-Wook; Han, Sanghyun

doi:10.1109/etfa.2011.6059194

Cited by 10 publications

(5 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Few studies have proposed an enhanced method for determining a partition's execution time [36,37]. In this paper, we utilize the algorithm suggested in [37], but the basic discussions in this paper do not depend on a specific scheduling algorithm. There have also been implementation studies of hierarchical scheduling [38][39][40][41][42][43][44].…”

Section: Related Workmentioning

confidence: 99%

“…The ARINC 653 standard does not define detail scheduling algorithms. We use a mixed‐criticality offline scheduling algorithm for partition scheduling. The basic idea of this algorithm is to generate a partition scheduling table preventing a partition of a low criticality from preempting a partition of a high criticality (i.e., criticality inversion avoidance) while facilitating high throughput.…”

Section: Design Alternatives For Avionics Application Standard Softwamentioning

confidence: 99%

“…Thus, the integrator has to perform a cumbersome tuning process to arrive at a reasonable period and execution time for all partitions. Few studies have proposed an enhanced method for determining a partition's execution time . In this paper, we utilize the algorithm suggested in , but the basic discussions in this paper do not depend on a specific scheduling algorithm.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives

Han

Jin

2013

Softw. Pract. Exper.

Self Cite

View full text Add to dashboard Cite

Most current generation avionics systems are based on a federated architecture, where an electronic device runs a single software module or application that collaborates with other devices through a network. This architecture makes the software development process very simple, but the hardware system becomes very complicated and it is difficult to resolve issues of size, weight, and power efficiently. An integrated architecture can address the size, weight, and power issues and provide better software reusability, testability, and reliability by means of partitioning. Partitioning provides a framework that can transparently integrate several real‐time applications on the same computing device, allowing the isolation of the execution environment in terms of resources and faults. Several studies on partitioning software platforms have been reported; however, to the best of our knowledge, extensive comparison and analysis of design and implementation alternatives have not been conducted owing to the extreme complexity of their implementation and measurement. In this paper, we present three design alternatives for partitioning at the user, kernel, and virtual machine monitor levels, which are compared quantitatively. In particular, we target the worldwide standard software platform for avionics systems, that is, Aeronautical Radio, Incorporated Specification 653 (ARINC 653). Overall, our study provides valuable design references and demonstrates the characteristics of design alternatives. Copyright © 2013 John Wiley & Sons, Ltd.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Design Alternatives For Avionics Application Standard Softwamentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives

Han

Jin

2013

Softw. Pract. Exper.

Self Cite

View full text Add to dashboard Cite

show abstract

“…We utilize a static priority real-time scheduling algorithm suggested by Jin and Han [7]. We detail the partition scheduling in "Partition Scheduling" section.…”

Section: Figure 1 Overall Design Of Full Virtualization Based Arinc 653mentioning

confidence: 99%

“…Our partition scheduling scheme uses a periodic, fixed-priority partition model with variable execution time [7]. Traditional partition models with fixed execution time can experience either criticality inconsistency or low system utilization.…”

Section: Partition Schedulingmentioning

confidence: 99%

Full virtualization based ARINC 653 partitioning

Han

Jin

2011

2011 IEEE/AIAA 30th Digital Avionics Systems Conference

Self Cite

View full text Add to dashboard Cite

As the number of electronic components of avionics systems is significantly increasing, it is desirable to run several avionics software on a single computing device. In such system, providing a seamless way to integrate separate applications on a computing device is a very critical issue as the Integrated Modular Avionics (IMA) concept addresses. In this context, the ARINC 653 standard defines resource partitioning of avionics application software. The virtualization technology has very high potential of providing an optimal implementation of the partition concept. In this paper, we study supports for full virtualization based ARINC 653 partitioning. The supports include extension of XML-based configuration file format and hierarchical scheduler for temporal partitioning. We show that our implementation can support well-known VMMs, such as VirtualBox and VMware and present basic performance numbers.

show abstract

Implementing control and mission software of UAV by exploiting open source software-based arinc 653

Han

Lee

et al. 2012

2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)

View full text Add to dashboard Cite

Temporal partitioning for mixed-criticality systems

Cited by 10 publications

References 10 publications

Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives

Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives

Full virtualization based ARINC 653 partitioning

Implementing control and mission software of UAV by exploiting open source software-based arinc 653

Contact Info

Product

Resources

About