Paper Unlock

Authors: Cédrick Lelionnais 1 ; Matthias Brun 1 ; Jérôme Delatour 1 ; Olivier H. Roux 2 and Charlotte Seidner 2

Affiliations: 1 ESEO-TRAME, France ; 2 LUNAM Université, France

ISBN: 978-989-8565-11-2

Keyword(s): Model Driven Engineering, Real-time Operating Systems, Behavioral Modeling, Formalization, Time Petri Nets, Application Deployment.

Abstract: Faced with the growing problems of complexity, heterogeneity and upgradability of Real-Time Embedded Systems (RTESs), model-based frameworks dedicated to the application deployments facilitate the design and the development of such systems. Within these frameworks, taking into account the Real-Time Operating Systems (RTOSs) has become essential. These frameworks include transformation tools able to generate a code that is portable to the specified RTOS. Moreover, certain tools can generate formal models that are used for the verification and validation of the RTESs. However, the RTOSs technological concepts are considered in an implicit way, which involves a lack of genericity of the transformations. Some works have focused on the explicit description of the RTOSs. Such a description offers the possibility to take into account a model entirely dedicated to a targeted RTOS as a parameter of the transformation. Nevertheless, this method does not allow to verify the expected properties o n the application, since the RTOSs behavior is not observable. The methodology presented in this paper tends to explicitly consider the formal description of the RTOSs behavior during an application deployment. This approach aims both at making each transformation generic and at verifying the deployment correctness. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Lelionnais, C.; Brun, M.; Delatour, J.; H. Roux, O. and Seidner, C. (2012). Formal Behavioral Modeling of Real-time Operating Systems.In Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: MDDIS, (ICEIS 2012) ISBN 978-989-8565-11-2, pages 407-414. DOI: 10.5220/0004156204070414

author={Cédrick Lelionnais. and Matthias Brun. and Jérôme Delatour. and Olivier H. Roux. and Charlotte Seidner.},
title={Formal Behavioral Modeling of Real-time Operating Systems},
booktitle={Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: MDDIS, (ICEIS 2012)},


JO - Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: MDDIS, (ICEIS 2012)
TI - Formal Behavioral Modeling of Real-time Operating Systems
SN - 978-989-8565-11-2
AU - Lelionnais, C.
AU - Brun, M.
AU - Delatour, J.
AU - H. Roux, O.
AU - Seidner, C.
PY - 2012
SP - 407
EP - 414
DO - 10.5220/0004156204070414

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.