research-article

An Integration Flow for Mixed-Critical Embedded Systems on a Flexible Time-Triggered Platform

Authors:

Philipp Ittershagen,

Wolfgang NebelAuthors Info & Claims

ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 23, Issue 4

Article No.: 51, Pages 1 - 25

https://doi.org/10.1145/3190837

Published: 09 May 2018 Publication History

Abstract

The rise of mixed-critical embedded systems imposes novel challenges on the specification, development, and functional validation in a design flow. In the emerging dynamic scheduling context of mixed-criticality platforms, the system behaviour needs to be estimated in an early step in the design flow to assess the integration impact, especially for quality of service-driven, low-critical subsystems. We provide a modelling and integration flow for specifying, estimating, and evaluating software functions, ranging from an initial executable specification to an implementation candidate on an MPSoC. Based on a data-driven model to evaluate dynamic resource consumption effects of high-critical subsystems and the scheduling overhead, we propose a systematic method for constructing workload models of high-critical software components on the target. Our proxies provide an integration environment for low-critical functions by mimicking the high-critical temporal behaviour on the target. By integrating a low-critical video encoding subsystem with a benchmark suite as the high-critical subsystem we show that the performance model allows for evaluating end-to-end execution times in the low-critical function with an average error of 0.37% and the application proxy only introduces a maximum error of 1.14% in a performance evaluation.

References

[1]

Irune Agirre, Mikel Azkarate-Askasua, Carles Hernandez, Jaume Abella, Jon Perez, Tullio Vardanega, and Francisco J. Cazorla. 2015. IEC-61508 SIL 3 compliant pseudo-random number generators for probabilistic timing analysis. In Proceedings of the 2015 Euromicro Conference on Digital System Design (DSD’15). IEEE Computer Society, 677--684.

Digital Library

[2]

Amro Awad and Yan Solihin. 2014. STM: Cloning the spatial and temporal memory access behavior. In Proceedings of the IEEE 20th International Symposium on High Performance Computer Architecture (HPCA’14). 237--247.

[3]

Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D’angelo, Haohan Li, Alberto Marchetti-Spaccamela, Suzanne Van Der Ster, and Leen Stougie. 2015. Preemptive uniprocessor scheduling of mixed-criticality sporadic task systems. J. ACM 62, 2 (May 2015), 1--33.

Digital Library

[4]

S. K. Baruah, A. Burns, and R. I. Davis. 2011. Response-time analysis for mixed criticality systems. In Proceedings of the 32th IEEE International Real-Time Systems Symposium (RTSS’11). IEEE, 34--43.

Digital Library

[5]

Sanjoy Baruah, Alan Burns, and Robert Ian Davis. 2013. An extended fixed priority scheme for mixed criticality systems. In Proceedings of the Workshop on Real-Time Mixed Criticality Systems (ReTiMics’13).

[6]

Sanjoy Baruah and Steve Vestal. 2008. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS’08). IEEE, 147--155.

Digital Library

[7]

Sanjoy K. Baruah, Vincenzo Bonifaci, Gianlorenzo D’Angelo, Alberto Marchetti-Spaccamela, Suzanne Ster, and Leen Stougie. 2011. Mixed-criticality scheduling of sporadic task systems. European Symposium on Algorithms (ESA’11), (Eds.). Springer Berlin Heidelberg, 555--566.

Digital Library

[8]

Robert H. Bell, Jr. and Lizy K. John. 2005. Improved automatic testcase synthesis for performance model validation. In Proceedings of the 19th Annual International Conference on Supercomputing (ICS’05). ACM, 111--120.

Digital Library

[9]

Aimen Bouchhima, Patrice Gerin, and Frédéric Pétrot. 2009. Automatic instrumentation of embedded software for high level hardware/software co-simulation. In Proceedings of the 2009 Asia and South Pacific Design Automation Conference. IEEE, 546--551.

Digital Library

[10]

Carlo Brandolese, Simone Corbetta, and William Fornaciari. 2011. Software energy estimation based on statistical characterization of intermediate compilation code. In Proceedings of the International Symposium on Low Power Electronics and Design. 333--338.

Digital Library

[11]

Alan Burns and Robert Davis. 2016. Mixed Criticality Systems -- A Review. Technical Report. Department of Computer Science, University of York.

[12]

Norman H. Cohen. 1995. ADA as a Second Language (2nd ed.). McGraw-Hill Higher Education.

Digital Library

[13]

A. Crespo, I. Ripoll, and M. Masmano. 2010. Partitioned embedded architecture based on hypervisor: The XtratuM approach. In Proceedings of the 2010 European Dependable Computing Conference. 67--72.

Digital Library

[14]

Christoph Cullmann, Christian Ferdinand, Gernot Gebhard, Daniel Grund, Claire Maiza, Jan Reineke, Benoıt Triquet, and Reinhard Wilhelm. 2010. Predictability considerations in the design of multi-core embedded systems. In Proceedings of Embedded Real Time Software and Systems. 36--42.

[15]

L. Eeckhout, Jr. Bell, R. H., B. Stougie, K. De Bosschere, and L. K. John. 2004. Control flow modeling in statistical simulation for accurate and efficient processor design studies. In Proceedings of the 31st Annual International Symposium on Computer Architecture. 350--361.

Digital Library

[16]

The Embedded Microprocessor Benchmark Consortium (EEMBC). 2017. CoreMark—Processor Benchmark. Retrieved from http://www.eembc.org/coremark/index.php.

[17]

Rolf Ernst and Marco Di Natale. 2016. Mixed criticality systems a history of misconceptions? IEEE Des. Test 33, 5 (2016), 65--74.

[18]

Karthik Ganesan and Lizy Kurian John. 2014. Automatic generation of miniaturized synthetic proxies for target applications to efficiently design multicore processors. IEEE Trans. Comput. 63, 4 (Apr. 2014), 833--846.

Digital Library

[19]

G. Giannopoulou, N. Stoimenov, P. Huang, and L. Thiele. 2013. Scheduling of mixed-criticality applications on resource-sharing multicore systems. In Proceedings of the International Conference on Embedded Software (EMSOFT’13). 1--15.

Digital Library

[20]

Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, and Lothar Thiele. 2013. Scheduling of mixed-criticality applications on resource-sharing multicore systems. In Proceedings of the International Conference on Embedded Software (EMSOFT’13). IEEE, 1--15.

Digital Library

[21]

Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, and Lothar Thiele. 2014. Mapping mixed-criticality applications on multi-core architectures. In Proceedings of the Design, Automation 8 Test in Europe (DATE’14). 1--6.

Digital Library

[22]

Kees Goossens, Ashkan Beyranvand Nejad, Andrew Nelson, Shubhendu Sinha, Arnaldo Azevedo, Karthik Chandrasekar, Manil Dev Gomony, Sven Goossens, Martijn Koedam, Yonghui Li, Davit Mirzoyan, and Anca Molnos. 2013. Virtual execution platforms for mixed-time-criticality systems: The CompSOC architecture and design flow. ACM SIGBED 10, 3 (Oct. 2013), 23--34.

Digital Library

[23]

Patrick John Graydon and Iain John Bate. 2013. Safety assurance driven problem formulation for mixed-criticality scheduling. In Proceedings of the Workshop on Mixed-Criticality Systems. 19--24.

[24]

Kim Grüttner, Andreas Herrholz, Philipp A. Hartmann, Andreas Schallenberg, and Claus Brunzema. 2008. OSSS—A Library for Synthesisable System Level Models in SystemC (TM)—The OSSS 2.2.0 Manual.

[25]

Jan Gustafsson, Adam Betts, Andreas Ermedahl, and Björn Lisper. 2010. The mälardalen WCET benchmarks: Past, present and future. In Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010) (OpenAccess Series in Informatics (OASIcs)), Björn Lisper (Ed.), Vol. 15. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 136--146.

[26]

Clay Hughes and Tao Li. 2008. Accelerating multi-core processor design space evaluation using automatic multi-threaded workload synthesis. In Proceedings of the IEEE International Symposium on Workload Characterization. IEEE, 163--172.

[27]

Philipp Ittershagen, Kim Grüttner, and Wolfgang Nebel. 2015. Mixed-criticality system modelling with dynamic execution mode switching. In Proceedings of the Forum on Specification 8 Design Languages (FDL’15). ECSI.

[28]

Robert Kaiser and Stephan Wagner. 2007. Evolution of the pikeOS microkernel. In Proceedings of the 1st International Workshop on Microkernels for Embedded Systems. 50.

[29]

Torsten Kempf, Karuri Karuri, Stefan Wallentowitz, Gerd Ascheid, Rainer Leupers, and Heinrich Meyr. 2006. A SW performance estimation framework for early system-level-design using fine-grained instrumentation. Proceedings of the Design, Automation 8 Test in Europe (DATE’06). IEEE, 468--473.

Digital Library

[30]

Asier Larrucea, Imanol Martinez, Vicent Brocal, Salvador Peirò, Hamidreza Ahmadian, Jon Perez, and Roman Obermaisser. 2016. DREAMS: Cross-domain mixed-criticality patterns. In Proceedings of the Workshop on Mixed-Criticality Systems. 6.

[31]

Edward A. Lee, Stephen Neuendorffer, and Michael J Wirthlin. 2003. Actor-oriented design of embedded hardware and software systems. J. Circ. Syst. Comput. 12, 03 (2003), 231--260.

[32]

A. Lenz, M. A. A. Blázquez, J. Coronel, A. Crespo, S. Davidmann, J. C. D. Garcia, N. G. Romero, K. Grüttner, R. Obermaisser, J. Öberg, J. Perez, I. Sander, and I. Söderquist. 2016. SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems. In Proceedings of the Euromicro Conference on Digital System Design (DSD’16). 294--300.

[33]

A. Lenz, T. Pieper, and R. Obermaisser. 2017. Global adaptation for energy efficiency in multicore architectures. In Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP’17). 551--558.

[34]

Haohan Li and Sanjoy Baruah. 2012. Global mixed-criticality scheduling on multiprocessors. In Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS’12). 166--175.

Digital Library

[35]

Sébastien Nussbaum and James E. Smith. 2001. Modeling superscalar processors via statistical simulation. In Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT’01). IEEE Computer Society, 15--24.

Digital Library

[36]

A. Patel, M. Daftedar, M. Shalan, and M. W. El-Kharashi. 2015. Embedded hypervisor Xvisor: A comparative analysis. In Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. 682--691.

Digital Library

[37]

F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg, J. Vanderplas, A. Passos, D. Cournapeau, M. Brucher, M. Perrot, and E. Duchesnay. 2011. Scikit-learn: Machine learning in python. J. Mach. Learn. Res. 12 (2011), 2825--2830.

Digital Library

[38]

Rodolfo Pellizzoni, Bach D. Bui, Marco Caccamo, and Lui Sha. 2008. Coscheduling of CPU and I/O transactions in COTS-based embedded systems. In Proceedings of the Real-Time Systems Symposium. IEEE, 221--231.

Digital Library

[39]

Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, and Marius Bozga. 2016. Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. Springer International Publishing, Cham, 605--621.

[40]

Paul J. Prisaznuk. 1992. Integrated modular avionics. In Proceedings of the IEEE National Aerospace and Electronics Conference. IEEE, 39--45.

[41]

Stefan Stattelmann, Oliver Bringmann, and Wolfgang Rosenstiel. 2011. Fast and accurate source-level simulation of software timing considering complex code optimizations. In Proceedings of the 48th ACM/EDAC/IEEE Design Automation Conference (DAC’11). IEEE, 486--491.

Digital Library

[42]

S. van der Walt, S. C. Colbert, and G. Varoquaux. 2011. The numPy array: A structure for efficient numerical computation. Comput. Sci. Eng. 13, 2 (Mar. 2011), 22--30.

Digital Library

[43]

L. Van Ertvelde and L. Eeckhout. 2010. Benchmark synthesis for architecture and compiler exploration. In Proceedings of the IEEE International Symposium on Workload Characterization (IISWC’10). 1--11.

Digital Library

[44]

Steve Vestal. 2007. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the 28th IEEE Int. Real-Time Systems Symposium (RTSS’07). IEEE, 239--243.

Digital Library

[45]

Michael Waskom, Olga Botvinnik, drewokane, Paul Hobson, David, Yaroslav Halchenko, Saulius Lukauskas, John B. Cole, Jordi Warmenhoven, Julian de Ruiter, Stephan Hoyer, Jake Vanderplas, Santi Villalba, Gero Kunter, Eric Quintero, Marcel Martin, Alistair Miles, Kyle Meyer, Tom Augspurger, Tal Yarkoni, Pete Bachant, Mike Williams, Constantine Evans, Clark Fitzgerald, Brian, Daniel Wehner, Gregory Hitz, Erik Ziegler, Adel Qalieh, and Antony 2016. seaborn: v0.7.1. (June 2016).

Cited By

Poorhosseini MGrüttner K(2023)A RISC-V based platform supporting mixed timing-critical and high performance workloads2023 26th Euromicro Conference on Digital System Design (DSD)10.1109/DSD60849.2023.00094(650-659)Online publication date: 6-Sep-2023
https://doi.org/10.1109/DSD60849.2023.00094
Pei PLi Y(2020)Bank customer loyalty under the background of internet finance and multimedia technologyJournal of Intelligent & Fuzzy Systems10.3233/JIFS-189420(1-11)Online publication date: 14-Oct-2020
https://doi.org/10.3233/JIFS-189420
Muttillo VPomante LBalbastre PSimo JCrespo A(2019)HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems Considering Xtratum-Based SW Partitions2019 22nd Euromicro Conference on Digital System Design (DSD)10.1109/DSD.2019.00085(554-561)Online publication date: Aug-2019
https://doi.org/10.1109/DSD.2019.00085

Index Terms

An Integration Flow for Mixed-Critical Embedded Systems on a Flexible Time-Triggered Platform
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded software
    2. System on a chip
  2. Real-time systems
    1. Real-time operating systems
    2. Real-time system specification

Recommendations

THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS

In this paper, we present a prototype of the Real-Time Systems Compiler (RTSC). The RTSC is a compiler-based tool that enables the migration from event-triggered to time-triggered real-time systems. This is achieved by replacing the real-time systems ...
Design optimization of mixed time/event-triggered distributed embedded systems
CODES+ISSS '03: Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases, are emerging as the new standard in application areas such as ...
A fault-tolerant time-triggered scheduling algorithm of mixed-criticality systems
Abstract
Real-time and safety-critical systems are an integration of multiple functionalities onto a single computing platform. Some of the functionalities are safety-critical and subject to certification while the rest of the functionalities are nonsafety-...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Design Automation of Electronic Systems

ACM Transactions on Design Automation of Electronic Systems Volume 23, Issue 4

Special Section on Advances in Physical Design Automation and Regular Papers

July 2018

316 pages

ISSN:1084-4309

EISSN:1557-7309

DOI:10.1145/3217208

Editor:
Naehyuck Chang
Korea Advanced Institute of Science and Technology, Korea

Issue’s Table of Contents

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 09 May 2018

Accepted: 01 February 2018

Revised: 01 February 2018

Received: 01 September 2017

Published in TODAES Volume 23, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

German Bundesministerium für Bildung und Forschung (BMBF)
ARTEMIS EMC2 collaborative

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
138
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Poorhosseini MGrüttner K(2023)A RISC-V based platform supporting mixed timing-critical and high performance workloads2023 26th Euromicro Conference on Digital System Design (DSD)10.1109/DSD60849.2023.00094(650-659)Online publication date: 6-Sep-2023
https://doi.org/10.1109/DSD60849.2023.00094
Pei PLi Y(2020)Bank customer loyalty under the background of internet finance and multimedia technologyJournal of Intelligent & Fuzzy Systems10.3233/JIFS-189420(1-11)Online publication date: 14-Oct-2020
https://doi.org/10.3233/JIFS-189420
Muttillo VPomante LBalbastre PSimo JCrespo A(2019)HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems Considering Xtratum-Based SW Partitions2019 22nd Euromicro Conference on Digital System Design (DSD)10.1109/DSD.2019.00085(554-561)Online publication date: Aug-2019
https://doi.org/10.1109/DSD.2019.00085

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents