Buscar

Estamos realizando la búsqueda. Por favor, espere...

 Detalle_Publicacion

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Abstract: Modeling and analysis of real-time embedded system is becoming an important area of research nowadays. In this context, the UML/MARTE profile has been introduced to support the specification, design, and verification stages in the development process. It provides a wide set of facilities to capture the information required in the refinement steps throughout the design flow. To carry out the actions involved in these design steps, MARTE-based tools and methodologies are required. This paper presents a methodology to automatically generate SystemC heterogeneous executable specifications from generic MARTE models. To generate these specifications, the information included in the MARTE models is extracted to discover the system structure and hierarchy. A subset of the concurrency and communication features of the MARTE profile is used for this purpose. Then, automatic generation of the executable specification is possible. The code implementing the corresponding behavior can be easily integrated into the executable model. This design methodology proposes a refinement flow in order to perform the design steps before deciding the final system implementation.

 Autoría: Peñil P., Medina J., Posadas H., Villar E.,

 Congreso: IEEE International Workshop Unified Modeling Language and Formal Methods: UML&FM (2º : 2010 : Río de Janeiro, Brasil)

 Fuente: Innovations in Systems and Software Engineering, 2010, 6(1-2), 65-71

Editorial: Springer Nature

 Fecha de publicación: 01/03/2010

Nº de páginas: 7

Tipo de publicación: Artículo de Revista

 DOI: 10.1007/s11334-009-0105-4

ISSN: 1614-5046,1614-5054

Proyecto europeo: info:eu-repo/grantAgreement/EC/FP7/216807/EU/SysML based modelling, architecture exploration, simulation and synthesis for complex embedded systems/SATURN/

Url de la publicación: https://doi.org/10.1007/s11334-009-0105-4