posted by organizer: Lasmaris || 3459 views || tracked by 11 users: [display]

FMTV 2014 : Formal Methods for Timing Verification

FacebookTwitterLinkedInGoogle

Link: http://www.merge-project.eu/?page_id=192
 
When May 12, 2014 - May 12, 2014
Where Singapore
Submission Deadline Mar 4, 2014
Notification Due Mar 24, 2014
Final Version Due Apr 11, 2014
Categories    real-time   embedded systems   modeling   formal methods
 

Call For Papers

Goals:
The growing complexity of real-time embedded systems creates new challenges for performance evaluation engineering practices: it is namely expected that delivered products implement more and more complex features, while respecting strict real-time requirements. For such systems, an ever-increasing portion of design effort is therefore spent on timing verification. The verification space covering the system timing behavior is likely to be very large making it infeasible to verify each point in this space. Formal timing verification methods and techniques allow tackling this problem by providing formal proofs on an abstract mathematical temporal model of the system. Such temporal models are however rarely used in the industrial design practices, thus requiring additional efforts from the timing verification community to fill the gap between the design model and the temporal model semantics.
The purpose of the FMTV’14 workshop is to share ideas, experiences and solutions to concrete timing verification problems. Industrials are also invited to provide feedbacks on applying formal timing verification techniques in their context. Original unpublished papers on all aspects of formal timing verification for real-time embedded systems are welcome.
The particularity of the FMTV’14 workshop will be the presentation of a challenge to the formal timing verification community with scientific stakes issued from a real industrial case study.

Topics:
Topics include but are not limited to:
Comparative evaluation of existing formal timing verification algorithms and techniques
Integration and applicability of formal timing verification techniques in the industrial development practices
Case studies and industrial experiences using formal timing verification techniques
Scheduling analysis for real-time, distributed and embedded applications
Network queuing analysis theory
End-to-end response time analysis
Formal methods for WCET computation
Integration of WCET and scheduling analysis

Important Dates:
Submission deadline: 04 March, 2014
Notification of acceptance: 24 March, 2014
Camera-ready papers: 11 April, 2014
FMTV’14 workshop: 12 or 13 May 2014 (to be announced)

Organizing Committee:
Rafik Henia, Thales R&T, France
Julio Medina, University of Cantabria, Spain
Sophie Quinton, INRIA, France

Related Resources

ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
SEFM 2020   Software Engineering and Formal Methods
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
AMMS--EI and Scopus 2020   2020 2nd International Applied Mathematics, Modelling and Simulation Conference (AMMS 2020)--EI Compendex, Scopus
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
SenSys 2020   The 18th ACM Conference on Embedded Networked Sensor Systems
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
ICCMS - Ei & Scopus 2020   2020 The 12th International Conference on Computer Modeling and Simulation (ICCMS 2020)--EI Compendex, Scopus
CAV 2020   Computer Aided Verification