Available on ORBilu since
06 March 2017
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
CPAL: High-Level Abstractions for Safe Embedded Systems
Navet, Nicolas; Fejoz, Loïc
2016In DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling
Peer reviewed


Full Text
Publisher postprint (418.22 kB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
Cyber-Physical Systems; Embedded Systems; Model-Driven Development; Control Applications; Dependability
Abstract :
[en] Innovation in the field of embedded systems, and more broadly in cyber-physical systems, increasingly relies on software. The productivity gain in software development can hardly keep up with the demand for software despite the increasing adoption of Model-Driven Development (MDD). In this context, we believe that major productivity and quality improvements are still ahead of us through better programming languages and environments. CPAL, the Cyber-Physical Action Language, is a contribution in that direction with the objective to speed-up the development of embedded systems with dependability constraints. The objective of this paper is to present and illustrate the use-cases of the high-level abstractions offered to the developer in CPAL with respect to real-time scheduling, introspection mechanisms, native support of Finite State Machines (FSMs), abstracting the hardware and decoupling functional concerns from non-functional concerns.
Disciplines :
Computer science
Author, co-author :
Navet, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Fejoz, Loïc;  RealTime-at-Work (RTaW)
External co-authors :
Language :
Title :
CPAL: High-Level Abstractions for Safe Embedded Systems
Publication date :
Event name :
International Workshop on Domain-Specific Modeling (DSM 2016)
Event place :
Amsterdam, Netherlands
Event date :
30 Octobre 2016
Audience :
Main work title :
DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling
Publisher :
ACM, New-York, United States
Pages :
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust


Number of views
77 (1 by Unilu)
Number of downloads
174 (1 by Unilu)

Scopus citations®
Scopus citations®
without self-citations


Similar publications

Contact ORBilu