Reference : Lean Model-Driven Development through Model-Interpretation: the CPAL design flow
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/23414
Lean Model-Driven Development through Model-Interpretation: the CPAL design flow
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]
Havet, Lionel mailto [RealTime-at-Work]
Altmeyer, Sebastian mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
27-Jan-2016
10
Yes
International
Embedded Real-Time Software and Systems (ERTS 2016)
from 27-01-2016 to 29-01-2016
Toulouse
France
[en] Model-based design ; programming language ; model interpretation ; design space exploration ; simulation ; timing predictability ; real-time systems ; embedded systems
[en] We introduce a novel Model-Driven Development (MDD) flow which aims at more simplicity, more intuitive programming, quicker turnaround time and real-time predictability by leveraging the use of model-interpretation and providing the language abstractions needed to argue about the timing correctness on a high-level. The MDD flow is built around a language called Cyber-Physical Action Language (CPAL).
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 time behaviour.
http://hdl.handle.net/10993/23414

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
CPAL-ERTSS-2016.pdfPublisher postprint647.24 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.