PMC: A Programming Language for Embedded Systems (1999)
| Venue: | In Proc. Int. Workshop Formal Methods for Industrial Critical Systems |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Mørk99pmc:a,
author = {Simon Mørk and Ken Larsen and Henrik Reif Andersen and Lyngby Danmark and Peter Sestoft},
title = {PMC: A Programming Language for Embedded Systems},
booktitle = {In Proc. Int. Workshop Formal Methods for Industrial Critical Systems},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The process algebra pmc (Processes with Multiple Clocks) extends Milner's ccs with a notion of qualitative time called clocks. The algebra has been used for specifying industrial size case-studies. Based on the algebra pmc, we introduce a programming language (also named PMC) for embedded systems. The language features point-to-point communication, multi-synchronization, local deterministic parallel composition, global non-deterministic parallel composition, and a restricted form of mixed input/output guarded choice. The expression language includes constructors, tuples, and patterns as known from SML. The language is strongly typed. The PMC language provides the user with a clean, yet flexible, separation between the abstract programming of an embedded system, and the low-level, hardware specific details of for instance device drivers. We have a prototype compiler that compiles PMC to Java byte code. Concurrency does not necessarily give rise to considerable computation overhead. In im...
