Seminar 2018-06-14

Date: 2018-06-14
Time: 11:00-12:00
Speaker: Saranya Natarajan, PhD students at the Software and Computer System (SCS) Department, School of Computer Science and Electrical Engineering at the Royal Institute of Technology, KTH
Title: Timed C: An Extension to the C Programming Language for Real-Time Systems 

Abstract

The design and implementation of real-time systems require that both the logical and the temporal behavior are correct. There exist several specialized languages and tools that use the notion of logical time, as well as industrial strength languages such as Ada and RTJS that incorporate direct handling of realtime. Although these languages and tools have shown to be good alternatives for safety-critical systems, most commodity real-time and embedded systems are today implemented in the standard
C programming language. Such systems are typically targeting proprietary bare-metal platforms, standard POSIX compliant platforms, or open-source operating systems. It is, however, error prone to develop large, reliable, and portable systems based on these APIs. In this talk, I will present an extension to the C programming language, called Timed C, with a minimal set of language primitives, and show how a retargetable source-to-source compiler can be used to compile and execute simple, expressive, and portable programs. 

Bio Saranya Natarajan is a second year PhD student at the KTH Royal Institute of Technology, School of Computer Science and Electrical Engineering (EECS). She is pursuing her doctoral research under the guidance of David Broman. Her research interests span the areas of real-time systems, programming languages and compilers.