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

Formal Composition based on Roles within a Model Driven Engineering Approach

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

Keywords: Model Driven Engineering, Real-time operating sys- tems, Behavioral modeling, Transformation, Verification, Time Petri Nets, Application deployment

Abstract:
Faced with the increasing complexity of Real-Time Embedded Systems, Model Driven Engineering offers the possibility of developping frameworks in which transformations are used to generate either executable code or formal models. However, these transformations themselves are generally not formalized. Correctness of transformations could therefore be called into question. This paper proposes a formalization of a transformation step, namely: the composition of formal fragments describing the behavior of a real-time system. These fragments are described using an extension of the classical Time Petri Nets, where the notion of roles was added to perform the composition of the fragments. This formalization increases confidence in transformations.

Pages: 27 to 32

Copyright: Copyright (c) IARIA, 2013

Publication date: October 27, 2013

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-307-0

Location: Venice, Italy

Dates: from October 27, 2013 to October 31, 2013