DocumentCode :
3284175
Title :
Resource Scopes: Toward Language Support for Compositional Determinism
Author :
Anand, Madhukar ; Fischmeister, Sebastian ; Lee, Insup
Author_Institution :
Cisco Syst., San Jose, CA, USA
fYear :
2009
fDate :
17-20 March 2009
Firstpage :
295
Lastpage :
304
Abstract :
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.
Keywords :
deterministic algorithms; embedded systems; large-scale systems; programming language semantics; PEACOD framework; complex real-time embedded system; complex system assembly; compositional determinism; correct system; deterministic behavior; language support; program behavior; resource consumption; resource-scope language construct; semantics; value passing; Assembly systems; Distributed computing; Embedded computing; Embedded software; Embedded system; Real time systems; Sampling methods; Sensor systems; Systems engineering and theory; Timing; programming languages; real-time systems; resource scopes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on
Conference_Location :
Tokyo
ISSN :
1555-0885
Print_ISBN :
978-0-7695-3573-9
Type :
conf
DOI :
10.1109/ISORC.2009.42
Filename :
5232027
Link To Document :
بازگشت