Home // VALID 2012, The Fourth International Conference on Advances in System Testing and Validation Lifecycle // View article

From Model-based Design to Real-Time Analysis

Authors:
Yassine Ouhammou
Emmanuel Grolleau
Michael Richard
Pascal Richard

Keywords: model-based design; structure verification; scheduling analysis validation

Abstract:
Real-time and embedded systems are sharply impacted by wrong design choices detected at a very late stage of the life-cycle. This impact is often due to timing constraints which are related to structural and scheduling analysis capabilities. The timing constraints analysis requires an expertise in both design and scheduling analysis. In this paper, we highlight some temporal analysis related difficulties. In order to help designers and to improve the real-time system design to be corrected at an early stage, we propose an approach which is based on modeling oriented scheduling analysis.

Pages: 45 to 50

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-233-2

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012