Reference : Demo: Applications of the CPAL language to model, simulate and program Cyber-Physical... |
Scientific congresses, symposiums and conference proceedings : Poster | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/24833 | |||
Demo: Applications of the CPAL language to model, simulate and program Cyber-Physical Systems | |
English | |
Fejoz, Loïc ![]() | |
Navet, Nicolas ![]() | |
Sundharam, Sakthivel Manikandan ![]() | |
Altmeyer, Sebastian ![]() | |
12-Apr-2016 | |
Yes | |
International | |
Demo Session of 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016) | |
12-04-2016 to 14-02-2016 | |
IEEE | |
Vienna | |
Austria | |
[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. | |
Researchers ; Professionals ; Students ; General public | |
http://hdl.handle.net/10993/24833 | |
FnR ; FNR10053122 > Sakthivel Manikandan Sundharam > > Timing-aware Model-Based Design with application to automotive embedded systems > 01/11/2015 > 31/10/2018 > 2015 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.