Reference : CPAL: High-Level Abstractions for Safe Embedded Systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/30019
CPAL: High-Level Abstractions for Safe Embedded Systems
English
Navet, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Fejoz, Loïc mailto [RealTime-at-Work (RTaW)]
2016
DSM 2016: Proceedings of the International Workshop on Domain-Specific Modeling
ACM
35-41
Yes
No
International
978-1-4503-4894-2
New-York
USA
International Workshop on Domain-Specific Modeling (DSM 2016)
30 Octobre 2016
Amsterdam
Netherlands
[en] Cyber-Physical Systems ; Embedded Systems ; Model-Driven Development ; Control Applications ; Dependability
[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.
Researchers ; Professionals
http://hdl.handle.net/10993/30019

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
DSM2016_CPAL_proceedings.pdfPublisher postprint408.42 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.