Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/3664476.3670451acmotherconferencesArticle/Chapter ViewAbstractPublication PagesaresConference Proceedingsconference-collections
research-article
Open access

A comprehensive evaluation of interrupt measurement techniques for predictability in safety-critical systems

Published: 30 July 2024 Publication History

Abstract

In the last few decades, the increasing adoption of computer systems for monitoring and control applications has fostered growing attention to real-time behavior, i.e., the property that ensures predictable reaction times to external events. In this perspective, performance of the interrupt management mechanisms are among the most relevant aspects to be considered. Therefore, the service-latency of interrupts is one of the metrics considered while assessing the predictability of such systems. To this purpose, there are different techniques to estimate it, including the use of on-board timers, oscilloscopes and logic analyzers, or even real-time tracers. Each of these techniques, however, is affected by some degrees of inaccuracy, and choosing one over the other have pros and cons. In this paper, we review methodologies for measuring interrupt-latency from the scientific literature and, for the first time, we define an analytical model that we exploit to figure out measurement errors committed. Finally, we prove the effectiveness of the model relying on measurements taken from Xilinx MPSoC devices and present a case study whose purpose is to validate the proposed model.

References

[1]
Sara Alonso, Jesús Lázaro, Jaime Jiménez, Unai Bidarte, and Leire Muguira. 2021. Evaluating Latency in Multiprocessing Embedded Systems for the Smart Grid. Energies 14, 11 (Jan. 2021), 3322. https://doi.org/10.3390/en14113322 Number: 11 Publisher: Multidisciplinary Digital Publishing Institute.
[2]
Mario Barbareschi, Salvatore Barone, Valentina Casola, Salvatore Della Torca, and Daniele Lombardi. 2023. Automatic Test Generation to Improve Scrum for Safety Agile Methodology. In Proceedings of the 18th International Conference on Availability, Reliability and Security. ACM, Benevento Italy, 1–6. https://doi.org/10.1145/3600160.3605061
[3]
Mario Barbareschi, Valentina Casola, and Daniele Lombardi. 2023. Ensuring End-to-End Security in Computing Continuum Exploiting Physical Unclonable Functions. In 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom). IEEE, Naples, Italy, 273–278. https://doi.org/10.1109/CloudCom59040.2023.00051
[4]
Salvatore Barone, Valentina Casola, Salvatore Della Torca, and Daniele Lombardi. 2023. Timing Behavior Characterization of Critical Real-Time Systems through Hybrid Timing Analysis. In 2023 7th International Conference on System Reliability and Safety (ICSRS). 306–311. https://doi.org/10.1109/ICSRS59833.2023.10381272
[5]
Bernard Blackham, Yao Shi, and Gernot Heiser. 2012. Improving interrupt response time in a verifiable protected microkernel. In Proceedings of the 7th ACM european conference on Computer Systems(EuroSys ’12). Association for Computing Machinery, New York, NY, USA, 323–336. https://doi.org/10.1145/2168836.2168869
[6]
Valentina Casola, Alessandra De Benedictis, and Massimiliano Albanese. 2014. A Multi-Layer Moving Target Defense Approach for Protecting Resource-Constrained Distributed Devices. In Integration of Reusable Systems, Thouraya Bouabana-Tebibel and Stuart H. Rubin (Eds.). Springer International Publishing, Cham, 299–324. https://doi.org/10.1007/978-3-319-04717-1_14
[7]
Valentina Casola, Alessandra De Benedictis, Annarita Drago, and Nicola Mazzocca. 2011. Analysis and Comparison of Security Protocols in Wireless Sensor Networks. In 2011 IEEE 30th Symposium on Reliable Distributed Systems Workshops. 52–56. https://doi.org/10.1109/SRDSW.2011.27
[8]
Moumita Dey, Baki Berkay Yilmaz, Milos Prvulovic, and Alenka Zajic. 2021. PRIMER: Profiling Interrupts using Electromagnetic Side-Channel for Embedded Devices. IEEE Trans. Comput. 71, 8 (2021), 1–1. https://doi.org/10.1109/TC.2021.3109457 Conference Name: IEEE Transactions on Computers.
[9]
Derui Ding, Qing-Long Han, Xiaohua Ge, and Jun Wang. 2021. Secure State Estimation and Control of Cyber-Physical Systems: A Survey. IEEE Transactions on Systems, Man, and Cybernetics: Systems 51, 1 (Jan. 2021), 176–190. https://doi.org/10.1109/TSMC.2020.3041121 Conference Name: IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[10]
Oliver Horst, Johannes Wiesböck, Raphael Wild, and Uwe Baumgarten. 2020. Quantifying the Latency and Possible Throughput of External Interrupts on Cyber-Physical Systems. arXiv:2009.00506 [cs] arXiv: 2009.00506, - (Sept. 2020), –. http://arxiv.org/abs/2009.00506 arXiv:2009.00506.
[11]
Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, and Mingchu Li. 2013. Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. In Advanced Parallel Processing Technologies(Lecture Notes in Computer Science), Chenggang Wu and Albert Cohen (Eds.). Springer, Berlin, Heidelberg, 62–76. https://doi.org/10.1007/978-3-642-45293-2_5
[12]
Raj Jain. 1991. The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling. Wiley, New York.
[13]
Zhe Jiang, Neil C Audsley, and Pan Dong. 2018. BlueVisor: A Scalable Real-Time Hardware Hypervisor for Many-Core Embedded Systems. In 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, Porto, Portugal, 75–84. https://doi.org/10.1109/RTAS.2018.00013
[14]
Zhe Jiang, Xiaotian Dai, Pan Dong, Ran Wei, Dawei Yang, Neil C. Audsley, and Nan Guan. 2022. Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41, 2 (Feb. 2022), 320–333. https://doi.org/10.1109/TCAD.2021.3059566 Conference Name: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[15]
Neil Klingensmith and Suman Banerjee. 2018. Hermes: A Real Time Hypervisor for Mobile and IoT Systems. In Proceedings of the 19th International Workshop on Mobile Computing Systems & Applications(HotMobile ’18). Association for Computing Machinery, New York, NY, USA, 101–106. https://doi.org/10.1145/3177102.3177103
[16]
Adam Lackorzynski, Carsten Weinhold, and Hermann Härtig. 2017. Predictable Low-Latency Interrupt Response with General-Purpose Systems. In Proceedings of OSPERT2017, the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications OSPERT 2017. -, Dubrovnik, Kings Landing, Kroatia, 6.
[17]
Hao Li, Xuefei Xu, Jinkui Ren, and Yaozu Dong. 2019. ACRN: a big little hypervisor for IoT development. In Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments(VEE 2019). Association for Computing Machinery, New York, NY, USA, 31–44. https://doi.org/10.1145/3313808.3313816
[18]
Miao Liu, Duo Liu, Yi Wang, Meng Wang, and Zili Shao. 2011. On Improving Real-Time Interrupt Latencies of Hybrid Operating Systems with Two-Level Hardware Interrupts. IEEE Trans. Comput. 60, 7 (July 2011), 978–991. https://doi.org/10.1109/TC.2010.119 Conference Name: IEEE Transactions on Computers.
[19]
José Martins, João Alves, Jorge Cabral, Adriano Tavares, and Sandro Pinto. 2017. μRTZVisor: A Secure and Safe Real-Time Hypervisor. Electronics 6, 4 (Dec. 2017), 93. https://doi.org/10.3390/electronics6040093 Number: 4 Publisher: Multidisciplinary Digital Publishing Institute.
[20]
José Martins, Adriano Tavares, Marco Solieri, Marko Bertogna, and Sandro Pinto. 2020. Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems. In Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020)(OpenAccess Series in Informatics (OASIcs), Vol. 77), Marko Bertogna and Federico Terraneo (Eds.). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 3:1–3:14. https://doi.org/10.4230/OASIcs.NG-RES.2020.3 ISSN: 2190-6807.
[21]
Agostino Mascitti, Tommaso Cucinotta, Mauro Marinoni, and Luca Abeni. 2021. Dynamic partitioned scheduling of real-time tasks on ARM big.LITTLE architectures. Journal of Systems and Software 173 (March 2021), 110886. https://doi.org/10.1016/j.jss.2020.110886
[22]
Jesse Millwood, Robert VanVossen, and Leonard Elliott. 2020. Performance Impacts from the seL4 Hypervisor. In Proceedings of the Ground Vehicle Systems Engineering and Technology Symposium. -, NOVI, MICHIGAN, USA, 11.
[23]
Douglas C. Montgomery and George C Runger. 2019. Applied statistics and probability for engineers (7 ed.). John Wiley & Sons, New York, NY, USA.
[24]
Mounika Ponugoti and Aleksandar Milenkovic. 2019. Enabling On-the-Fly Hardware Tracing of Data Reads in Multicores. ACM Transactions on Embedded Computing Systems 18, 4 (2019), 34:1–34:27. https://doi.org/10.1145/3322642
[25]
Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, and Wolfgang Mauerer. 2017. Look Mum, no VM Exits! (Almost). arXiv:1705.06932 [cs] arXiv: 1705.06932, - (May 2017), –. http://arxiv.org/abs/1705.06932 arXiv:1705.06932.
[26]
Paul Regnier, George Lima, and Luciano Barreto. 2008. Evaluation of interrupt handling timeliness in real-time Linux operating systems. ACM SIGOPS Operating Systems Review 42, 6 (2008), 52–63. https://doi.org/10.1145/1453775.1453787
[27]
NXP Semiconductors. 2018. Measuring Interrupt Latency. Application note AN12078. NXP Semiconductors. 11 pages.
[28]
Suchakrapani Datt Sharma and Michel Dagenais. 2016. Hardware-assisted instruction profiling and latency detection. The Journal of Engineering 2016, 10 (2016), 367–376. https://doi.org/10.1049/joe.2016.0127 _eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1049/joe.2016.0127.
[29]
Rayanne Souza, Miguel Freitas, Marcelo Jimenez, João Magalhães, Alan Kubrusly, and Noemi Rodriguez. 2020. Real‐time performance assessment using fast interrupt request on a standard Linux kernel. Engineering Reports 2 (Jan. 2020), e12114. https://doi.org/10.1002/eng2.12114
[30]
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, and Ji Wang. 2016. Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Transactions on Embedded Computing Systems 15, 4 (2016), 70:1–70:26. https://doi.org/10.1145/2914789
[31]
Chung-Fan Yang and Yasushi Shinjo. 2020. Obtaining hard real-time performance and rich Linux features in a compounded real-time operating system by a partitioning hypervisor. In Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments(VEE ’20). Association for Computing Machinery, New York, NY, USA, 59–72. https://doi.org/10.1145/3381052.3381323
[32]
X Zhang. 2000. Design and implementation of a real-time holonic control system for manufacturing. Information Sciences 127, 1-2 (Aug. 2000), 23–44. https://doi.org/10.1016/S0020-0255(00)00027-X

Index Terms

  1. A comprehensive evaluation of interrupt measurement techniques for predictability in safety-critical systems

        Recommendations

        Comments

        Please enable JavaScript to view thecomments powered by Disqus.

        Information & Contributors

        Information

        Published In

        cover image ACM Other conferences
        ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security
        July 2024
        2032 pages
        ISBN:9798400717185
        DOI:10.1145/3664476
        This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike International 4.0 License.

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 30 July 2024

        Check for updates

        Author Tags

        1. Interrupt latency
        2. interrupt measurement tecniques

        Qualifiers

        • Research-article
        • Research
        • Refereed limited

        Conference

        ARES 2024

        Acceptance Rates

        Overall Acceptance Rate 228 of 451 submissions, 51%

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • 0
          Total Citations
        • 37
          Total Downloads
        • Downloads (Last 12 months)37
        • Downloads (Last 6 weeks)30
        Reflects downloads up to 22 Sep 2024

        Other Metrics

        Citations

        View Options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        HTML Format

        View this article in HTML Format.

        HTML Format

        Get Access

        Login options

        Media

        Figures

        Other

        Tables

        Share

        Share

        Share this Publication link

        Share on social media