Reference : Towards a declarative modeling and execution framework for real-time systems
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/23413
Towards a declarative modeling and execution framework for real-time systems
English
Altmeyer, Sebastian mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Navet, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
1-Apr-2016
ACM SIGBED Review
13
2
Special Issue on the First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS 2015)
30-33
Yes
International
1551-3688
[en] real-time systems ; declarative programming ; system synthesis ; timing correctness ; programming language
[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.
http://hdl.handle.net/10993/23413

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
DPRTCPS_2015.pdfPublisher postprint261.11 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.