Skip to main content

Research on Security Critical Task Scheduling Algorithm Based on ARINC 653 Standard

  • Conference paper
  • First Online:
Complex, Intelligent, and Software Intensive Systems (CISIS 2018)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 772))

Included in the following conference series:

  • 1410 Accesses

Abstract

With the development of embedded technology, more and more security critical tasks appeared in embedded application fields, which requires higher real-time and reliability of the system. ARINC 653 standard proposed the concept of partition, and improves the security and reliability of the system in the system kernel aspect. Time-window and priority strategy are the primary methods in task scheduling, but there are many shortcomings in the traditional partition window time zoning. The smaller window requires higher switch frequency, the larger window will result unexpected time segments. In order to solve the problems above, this paper proposes a dynamic cycle execution time (DCET) scheduling algorithm. The algorithm can prevent task in low level key partition preempting the task in high level key partition. Make use of free time segments to execute the task, thus improve the efficiency of the system. At last, a partition environment was built by μC/OS-II on the ML507 development board, and the experimental result confirms the effectiveness of the algorithm.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Ghoshhajra, M., Nair, S., Ananda, C.M.: ARINC 653 API and its application—an insight into avionics system case study. Def. Sci. J. 63(2), 223–229 (2013)

    Article  Google Scholar 

  2. Li, Yu., Cheng, A.: Transparent real-time task scheduling on temporal resource partitions. IEEE Trans. Comput. 65(5), 1646–1655 (2016)

    Article  MathSciNet  Google Scholar 

  3. Han, S., Jin, H.W.: Resource partitioning for integrated modular avionics: comparative study of implementation alternatives. Softw. Pract. Exp. 44(12), 1441–1466 (2014)

    Article  Google Scholar 

  4. Zhang, M., Zhou, L.: Design and implementation of IMA based on VxWorks653 partition operation system. Fire Control Command Control 39(4), 145–148 (2014)

    Google Scholar 

  5. Zuepke, A., Bommert, M., Lohmann, D.: AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel. In: Real-Time and Embedded Technology and Applications Symposium, pp. 133–144. IEEE (2015)

    Google Scholar 

  6. Wan, M., Tian, S.: Research on schedulability of partition scheduling for IMA. In: 2011 Fourth International Symposium on Computational Intelligence and Design (ISCID), vol. 2, pp. 322–325. IEEE (2011)

    Google Scholar 

  7. Kurowski, K., Oleksiak, A., Piątek, W., et al.: Hierarchical scheduling strategies for parallel tasks and advance reservations in grids. J. Sched. 16(4), 349–368 (2013)

    Article  Google Scholar 

  8. Carnevali, L., Pinzuti, A., Vicario, E.: Compositional verification for hierarchical scheduling of real-time systems. Publication 39(5), 638–657 (2013)

    Google Scholar 

  9. Boudjadar, A., David, A., Kim, J.H., et al.: Hierarchical scheduling framework based on compositional analysis using uppaal. In: Formal Aspects of Component Software, pp. 61–78. Springer International Publishing (2014)

    Google Scholar 

  10. Kao, C.C.: Performance-oriented partitioning for task scheduling of parallel reconfigurable architectures. IEEE Trans. Parallel Distrib. Syst. 26(3), 858–867 (2015)

    Article  Google Scholar 

  11. Da-Ming, Li, Wang-Hua, Cao, Huan, Zhang: New label alterable access control policy. Comput. Sci. 39(12), 290–294 (2012)

    Google Scholar 

  12. Huang, W.H., Yang, M., Chen, J.J.: Resource-oriented partitioned scheduling in multiprocessor systems: how to partition and how to share? In: Real-Time Systems Symposium, pp. 111–122. IEEE (2017)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shuyan Luo .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zhu, Y., Luo, S., Lin, H., Huang, L. (2019). Research on Security Critical Task Scheduling Algorithm Based on ARINC 653 Standard. In: Barolli, L., Javaid, N., Ikeda, M., Takizawa, M. (eds) Complex, Intelligent, and Software Intensive Systems. CISIS 2018. Advances in Intelligent Systems and Computing, vol 772. Springer, Cham. https://doi.org/10.1007/978-3-319-93659-8_65

Download citation

Publish with us

Policies and ethics