[en] CPAL is a new language to model, simulate, verify
and program Cyber-Physical Systems (CPS). CPAL serves to
describe both the functional behaviour of activities (i.e., the code
of the function itself) as well as the functional architecture of the
system (i.e., the set of functions, how they are activated, and the
data flows among the functions). CPAL is meant to support two
use-cases. Firstly, CPAL is a development and design-space
exploration environment for CPS with main features being the
formal description, the editing, graphical representation and
simulation of CPS models. Secondly, CPAL is a real-time
execution platform. The vision behind CPAL is that a model is
executed and verified in simulation mode on a workstation and
the same model can be later run on an embedded board with a
timing-equivalent run-time behaviour. The design and
development of CPAL have been organized around a set of
realistic case-studies that will be demonstrated during the demo
session.
Disciplines :
Computer science
Author, co-author :
Fejoz, Loïc; RealTime-at-Work (RTaW) > System Engineering
NAVET, Nicolas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
SUNDHARAM, Sakthivel Manikandan ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
ALTMEYER, Sebastian ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Demo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems
Publication date :
12 April 2016
Event name :
Demo Session of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016)
Event organizer :
IEEE
Event place :
Vienna, Austria
Event date :
12-04-2016 to 14-02-2016
Audience :
International
FnR Project :
FNR10053122 - Timing-aware Model-based Design With Application To Automotive Embedded Systems, 2015 (01/11/2015-30/09/2018) - Sakthivel Manikandan Sundharam