Thumbnail
Access Restriction
Subscribed

Author Peñil, P. ♦ Posadas, H. ♦ Villar, E.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2010
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science ♦ Technology ♦ Engineering & allied operations
Subject Keyword Unified modeling language ♦ Object oriented modeling ♦ Semantics ♦ Embedded systems ♦ Computational modeling ♦ Concurrent computing ♦ Finite element methods ♦ ForSyDe ♦ UML ♦ MARTE
Abstract Nowadays, complexity of embedded systems is increasing. This increasing complexity is due to the behavioural heterogeneity and the variety in the nature of system components. Additionally, it is essential to deal with the massive concurrency of such components. Therefore, as a consequence of these critical system aspects, the modelling of current embedded systems has become a challenge for the designers. In order to address this challenge, the UML/MARTE profile has been created. The MARTE profile provides the essential capabilities to develop design methodologies able to cover most of the main design steps. However, to understand and later to model current complex embedded systems in a univocal, well-defined way, formal foundations are required. This paper introduces a formal framework able to support methodologies that tackle the design of current embedded systems using the MARTE profile. In this paper the Generic Resource Modelling (GRM) subprofile of MARTE is used. The required formal foundations are provided by the Formal System Design (ForSyDe) formalism. This paper defines an abstraction methodology able to generate the corresponding ForSyDe model from the MARTE concurrency resources.
ISBN 9781424466382
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2010-03-22
Publisher Place United Kingdom
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
e-ISBN 9781424466399
Size (in Bytes) 419.05 kB
Page Count 6
Starting Page 343
Ending Page 348


Source: IEEE Xplore Digital Library