A survey of real‐time capabilities in functional languages and compilers. (23rd October 2018)

• Record Type: Journal Article
• Authors: Murphy, Jeffrey C; Shivkumar, Bhargav; Pritchard, Amy; Iraci, Grant; Kumar, Dhruv; Kim, Sun Hyoung; Ziarek, Lukasz
• Is Part Of: Concurrency and computation. Volume 31:Number 4(2019)
• Page Start: n/a
• Page End: n/a
• Publication Date: 2018-10-23
• Subjects: functional languages -- real‐time functional programming -- real‐time systems; Parallel processing (Electronic computers) -- Periodicals; Parallel computers -- Periodicals; 004.35
• DOI: 10.1002/cpe.4902
• Languages: English
• ISSNs: 1532-0626

Abstract

Summary: Functional programming languages play an important role in the development of correct software systems. As embedded devices become pervasive and perform critical tasks in our lives, their reliability becomes paramount. This presents a natural opportunity to explore the application of functional programming languages to systems that demand highly predictable behavior. In this paper, we explore existing functional programming language compilers and their applicability to real‐time embedded systems. We do this by defining important characteristics needed by a real‐time programming language and survey how well existing languages meet these characteristics. We conduct empirical analysis of language runtimes in order to assess the impact of dynamic memory management on predictability and performance. Lastly, we review different programming models for expressing real‐time considerations in applications.