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

A Language for Embedded and Cyber-Physical Systems

File Description Size Format  
2016-05-ms-soulier r.pdf Version for non-UH users. Copying/Printing is not permitted 739.28 kB Adobe PDF View/Open
2016-05-ms-soulier uh.pdf For UH users only 733.76 kB Adobe PDF View/Open

Item Summary

Title:A Language for Embedded and Cyber-Physical Systems
Authors:Soulier, Paul
Keywords:programming languages
embedded systems
memory management
Date Issued: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 email if you need this content in ADA-compliant format.

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