Article (Scientific journals)
Towards a declarative modeling and execution framework for real-time systems
Altmeyer, Sebastian; Navet, Nicolas
2016In ACM SIGBED Review, 13 (2), p. 30-33
Peer reviewed
 

Files


Full Text
DPRTCPS_2015.pdf
Publisher postprint (267.38 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
real-time systems; declarative programming; system synthesis; timing correctness; programming language
Abstract :
[en] Our work is a contribution towards addressing what Thomas Henziger called the grand challenge in embedded software design [5]: "offering high-level programming models that exposes the execution properties of a system in a way that permits the programmer to express desired reaction and execution requirements, permits the compiler and run-time systems to ensure that these requirements are satisfied". In the programming model we describe here, the developer states the permissible timing behavior of the system, a system synthesis step involving both analysis and optimization generates a scheduling solution which at run-time is enforced by the execution environment. With respect to the synchronous programming models, our approach implements a weaker version of time-determinism, still providing a form of timing-predictability sufficient in many applications while remaining closer to mainstay software development practices. This approach is currently being implemented and experimented in the CPAL language development tools and associated runtime environment.
Disciplines :
Computer science
Author, co-author :
Altmeyer, Sebastian ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Navet, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Towards a declarative modeling and execution framework for real-time systems
Publication date :
01 April 2016
Journal title :
ACM SIGBED Review
ISSN :
1551-3688
Publisher :
Association for Computing Machinery, New-York, United States - New York
Special issue title :
Special Issue on the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS 2015)
Volume :
13
Issue :
2
Pages :
30-33
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 06 January 2016

Statistics


Number of views
115 (10 by Unilu)
Number of downloads
157 (1 by Unilu)

Bibliography


Similar publications



Contact ORBilu