Resource Scopes: Toward Language Support for Compositional Determinism

TitleResource Scopes: Toward Language Support for Compositional Determinism
Publication TypeConference Paper
Year of Publication2009
AuthorsAnand, M., S. Fischmeister, and I. Lee
Conference NameProc. of the 12th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC)
Date PublishedMarch
Conference LocationTokyo, Japan
ISBN Number978-0-7695-3573-9
Keywordsdeterminism, distributed computing, real-time

Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and compositionality simplifies the assembly of complex systems out of smaller modules. This paper describes the PEACOD framework that is developed to support deterministic behavior for resource consumption, value passing, and timing. The paper introduces the notions of determinism in the context of the resource, value, and temporal domains, and present the resource-scope language construct that can be used to program such deterministic behaviors. Furthermore, the paper also provides semantics for the resource scope construct and uses these semantics to show that the program behavior is preserved under composition. The paper briefly describes the current implementation of PEACOD.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.