자료유형  

 학위논문

Control Number  

0017164595

International Standard Book Number  

9798896077718

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Hui, John.

Publication, Distribution, etc. (Imprint  

[S.l.] : Columbia University., 2024

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2024

Physical Description  

120 p.

General Note  

Source: Dissertations Abstracts International, Volume: 86-04, Section: B.

General Note  

Advisor: Edwards, Stephen A.

Dissertation Note  

Thesis (Ph.D.)--Columbia University, 2024.

Summary, Etc.  

요약For many embedded applications, the timing of a result is as important as its value. However, most programming languages treat timing as a side effect, so they cannot convey temporal behavior without compromising precision, efficiency, or flexibility. This dissertation presents the Sparse Synchronous Model (SSM), a programming model for building temporal abstractions with high-level languages. SSM is deterministic and defines behavior in terms of logical time, but is more expressive than the synchronous languages it was inspired by. It uses the same abstractions for internal events and external I/O, so the meaning of each program is preserved across different platforms. The main contributions of this work are the formal semantics of SSM, and SSLANG, a standalone functional programming language that implements SSM and runs on microcontrollers. SSLANG's runtime keeps the software synchronized with the real world, and uses timing-aware hardware peripherals to achieve jitter-free I/O with sub-microsecond precision. The dissertation also describes two embeddings of SSM in existing languages to show that the model is compatible with conventional programming paradigms. Together, these results illustrate the value of extensible, timing-aware programming abstractions for building reliable real-time systems.

Subject Added Entry-Topical Term  

Computer science.

Index Term-Uncontrolled  

Compilers

Index Term-Uncontrolled  

Discrete events

Index Term-Uncontrolled  

Embedded systems

Index Term-Uncontrolled  

Programming languages

Index Term-Uncontrolled  

Real-time systems

Index Term-Uncontrolled  

Synchronous languages

Added Entry-Corporate Name  

Columbia University Computer Science

Host Item Entry  

Dissertations Abstracts International. 86-04B.

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:656683