Reference : Using CPAL to model and validate the timing behaviour of embedded systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/21250
Using CPAL to model and validate the timing behaviour of embedded systems
English
Altmeyer, Sebastian mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Navet, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Fejoz, Loïc [RealTime-at-Work (RTaW)]
7-Jul-2015
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)
Yes
International
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)
07-07-2015
Lund
Sweden
[en] Real-Time Systems ; Programming Language ; CPAL ; Model-Based Design ; Model-Driven Development ; Simulation
[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.
Researchers ; Professionals ; Others
http://hdl.handle.net/10993/21250

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
challenge.pdfAuthor preprint346.28 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.