Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Using CPAL to model and validate the timing behaviour of embedded systems
Altmeyer, Sebastian; Navet, Nicolas; Fejoz, Loïc
2015In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)
Peer reviewed
 

Files


Full Text
challenge.pdf
Author preprint (354.59 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Real-Time Systems; Programming Language; CPAL; Model-Based Design; Model-Driven Development; Simulation
Abstract :
[en] This work presents a solution to the Formal Methods for Timing Verification (FMTV) Challenge 2015 using CPAL. CPAL stands for the Cyber-Physical Action Language and is a novel language to model, simulate and verify cyber-physical systems as those described in the challenge. We believe that the complexity of the challenge mainly stems from the complex interactions of the tasks and processes composing the aerial video tracking system of the challenge. Using CPAL we have derived a complete and unambiguous description of the system that supports timing verification. The different sub-challenges were solved by timing-accurate simulation and/or schedulability analysis. Even though simulation does not provide firm guarantees on the worst-case behaviour, it helps the system designer solve scheduling problems and validate the solutions, where verification tools can not be applied directly due to the complexity of the model as in the 2015 FMTV challenge.
Disciplines :
Computer science
Author, co-author :
Altmeyer, Sebastian ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Navet, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Fejoz, Loïc;  RealTime-at-Work (RTaW)
External co-authors :
yes
Language :
English
Title :
Using CPAL to model and validate the timing behaviour of embedded systems
Publication date :
07 July 2015
Event name :
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)
Event place :
Lund, Sweden
Event date :
07-07-2015
Audience :
International
Main work title :
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 07 June 2015

Statistics


Number of views
346 (9 by Unilu)
Number of downloads
279 (3 by Unilu)

Bibliography


Similar publications



Contact ORBilu