Please use this identifier to cite or link to this item:

A Language for Embedded and Cyber-Physical Systems

File Description SizeFormat 
2016-05-ms-soulier_r.pdfVersion for non-UH users. Copying/Printing is not permitted739.28 kBAdobe PDFView/Open
2016-05-ms-soulier_uh.pdfFor UH users only733.76 kBAdobe PDFView/Open

Item Summary

Title: A Language for Embedded and Cyber-Physical Systems
Authors: Soulier, Paul
Keywords: programming languages
embedded systems
memory management
Issue Date: May 2016
Publisher: [Honolulu] : [University of Hawaii at Manoa], [May 2016]
Abstract: As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with both the physical and cyber world in significant ways. Medical devices responsible for a person’s well-being, electronic braking systems in automotive applications, and
industrial control systems are examples of the many Cyber-Physical Systems (CPS) that
utilize these computing capabilities. Given the potential consequences of software related failures in such systems, a high degree of safety, security, and reliability is often required.
Programming languages are one of the primary tools used by programmers to develop embedded and cyber-physical systems. They provide a programmer with the ability to transform complex designs into machine executable code. Of equal importance is their ability to help detect and avoid programming mistakes. For decades, embedded and cyber-physical systems have been developed predominantly with the C programming language—in large part, due to its expressive power and ability to program low-level characteristics of these systems that other languages can’t. Although a powerful and widely used language, its type and memory unsafe pointers are a common source of programming errors.
Pretzel is a hypothetical programming language that addresses memory safety and type safety issues commonly found in C/C++ pointers while attempting to maintain comparable performance and expressiveness. To achieve this, Pretzel’s type system provides a cohesive set of three distinct reference types; each with varying degrees of flexibility and runtime overhead. Additionally, the design also proposes techniques to minimize the performance impact of automatic reference counting.
Description: M.S. University of Hawaii at Manoa 2016.
Includes bibliographical references.
Appears in Collections:M.S. - Computer Science

Please contact if you need this content in an ADA compliant alternative format.

Items in ScholarSpace are protected by copyright, with all rights reserved, unless otherwise indicated.