Skip to main content

2019 | OriginalPaper | Buchkapitel

An Improved RTEMS Supporting Real-Time Detection of Stack Overflow

verfasst von : Rui Zhang, Yan Du, Tao Zhang, Qi Qiu, Liang Mao, Jiaxiang Niu

Erschienen in: Wireless and Satellite Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Aiming at the common problem of stack overflow in satellite software, this paper improves the RTEMS operating system which is supporting real-time stack use depth and overflow detection. Taking the on-board software based on TSC690F processor as an example, the accessible area and unaccessible area are set for each thread stack by using the memory access protection mechanism provided by the processor. The improved RTEMS shared the access protection mechanism among threads through context switching. A trap handler is designed to take over write protection error traps, calculate stack usage depth, and monitor stack overflow in real time. The core module performance test and stack detection instance verification show that the improved RTEMS has little effect on the software performance, so that the software can detect the stack depth online and real-time. By using this method, the software is still manageable in case of stack overflow, rather than runaway crash, and the reliability of the software is improved.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Li, H., Yin, C.: Analysis and improvement of RTEMS memory management. In: CONFERENCE 2009 First International Workshop on Education Technology and Computer Science (2009) Li, H., Yin, C.: Analysis and improvement of RTEMS memory management. In: CONFERENCE 2009 First International Workshop on Education Technology and Computer Science (2009)
2.
Zurück zum Zitat He, X., Sun, Y.: Engineering realization of software in central terminal unit of satellite data management system. J. Spacecr. Eng. 16(5), 47–53 (2007) He, X., Sun, Y.: Engineering realization of software in central terminal unit of satellite data management system. J. Spacecr. Eng. 16(5), 47–53 (2007)
3.
Zurück zum Zitat Kuperman, B.A., Brodley, C.E.: Detection and prevention of stack buffer overflow attacks. J. Commun. ACM 48(11), 51–56 (2005) Kuperman, B.A., Brodley, C.E.: Detection and prevention of stack buffer overflow attacks. J. Commun. ACM 48(11), 51–56 (2005)
4.
Zurück zum Zitat Dong, Z., Hou, C., Guo, J., et al.: Dynamic detection method of spacecraft software process stack used depth. J. Spacecr. Eng. 26(1), 85–90 (2017) Dong, Z., Hou, C., Guo, J., et al.: Dynamic detection method of spacecraft software process stack used depth. J. Spacecr. Eng. 26(1), 85–90 (2017)
5.
Zurück zum Zitat Cao, Y., Wang, Y.: An overview of the stack protection techniques in the GCC compiler. J. Inf. Technol. (7), 23–25(2017) Cao, Y., Wang, Y.: An overview of the stack protection techniques in the GCC compiler. J. Inf. Technol. (7), 23–25(2017)
6.
Zurück zum Zitat Pan, Q., Wang, C., Yang, Y.: Analysis and prevention of the stack overflow attacking. J. Shanghai Jiaotong Univ. 36(9), 1346–1350 (2002) Pan, Q., Wang, C., Yang, Y.: Analysis and prevention of the stack overflow attacking. J. Shanghai Jiaotong Univ. 36(9), 1346–1350 (2002)
7.
Zurück zum Zitat Sun, H., Xu, L., Yang, H.: The principle and detection of buffer overflow attack. J. Comput. Eng. 27(1), 127–128 (2001) Sun, H., Xu, L., Yang, H.: The principle and detection of buffer overflow attack. J. Comput. Eng. 27(1), 127–128 (2001)
8.
Zurück zum Zitat ATMEL Corporation: TSC695FSPARC 32-bit Space Processor User Manual ATMEL Corporation: TSC695FSPARC 32-bit Space Processor User Manual
Metadaten
Titel
An Improved RTEMS Supporting Real-Time Detection of Stack Overflow
verfasst von
Rui Zhang
Yan Du
Tao Zhang
Qi Qiu
Liang Mao
Jiaxiang Niu
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-19153-5_29