ABSTRACT
We discuss ongoing work towards a meta-language, execution model, and compiler tool chain that promotes determinism and grants first-class citizenship to the timing aspects of computation.
- Liu, I., et al. A PRET microarchitecture implementation with repeatable timing and competitive performance. In 2012 IEEE 30th international conference on computer design (ICCD) (2012), IEEE, pp. 87--93.Google ScholarDigital Library
- Lohstroh, M., Schoeberl, M., Goens, A., Wasicek, A., Gill, C., Sirjani, M., and Lee, E. A. Actors revisited for time-critical systems. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02--06, 2019 (2019), ACM, pp. 152:1--152:4.Google ScholarDigital Library
- Schoeberl, M., Puffitsch, W., Hepp, S., Huber, B., and Prokesch, D. Patmos: A time-predictable microprocessor. Real-Time Systems 54(2) (Apr 2018), 389--423.Google ScholarDigital Library
- Wilhelm, R., et al. The worst-case execution time problem - overview of methods and survey of tools. Trans. on Embedded Computing Sys. 7, 3 (2008), 1--53.Google ScholarDigital Library
- Wilson, R. Is tomorrow's embedded-systems programming language still C? [Online, accessed June 2019].Google Scholar
- Zimmer, M., Broman, D., Shaver, C., and Lee, E. A. FlexPRET: A processor platform for mixed-criticality systems. In Real-Time and Embedded Technology and Application Symposium (RTAS) (2014).Google ScholarCross Ref
Index Terms
- Programs with ironclad timing guarantees: work-in-progress
Recommendations
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
A set of language-independent schedulability analysis techniques is presented. Utilizing knowledge of implementation- and hardware-dependent information in a table-driven fashion, these techniques provide accurate worst-case time bounds and other ...
Bootstrapping domain-specific meta-languages in language workbenches
GPCE 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and ExperiencesIt is common practice to bootstrap compilers of programming languages. By using the compiled language to implement the compiler, compiler developers can code in their own high-level language and gain a large-scale test case. In this paper, we ...
Bootstrapping domain-specific meta-languages in language workbenches
GPCE '16It is common practice to bootstrap compilers of programming languages. By using the compiled language to implement the compiler, compiler developers can code in their own high-level language and gain a large-scale test case. In this paper, we ...
Comments