IEEE - Institute of Electrical and Electronics Engineers, Inc. - Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems

2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Author(s): Loic Fejoz ; Nicolas Navet ; Sakthivel Manikandan Sundharam ; Sebastian Altmeyer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2016
Conference Location: Vienna, Austria
Conference Date: 11 April 2016
Page(s): 1
ISBN (Electronic): 978-1-4673-8641-8
ISBN (USB): 978-1-4673-8640-1
ISBN (Paper): 978-1-4673-8639-5
DOI: 10.1109/RTAS.2016.7461329
Regular:

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... View More

Advertisement