[en] Software is increasingly becoming an integral part of electronic-end-customer products. When developing embedded systems the requirements to fulfill are not only defined in terms of the functional aspects of the system, but also on different design requirements, such as size, power consumption, response time, security or reliability, usually called Non-Functional-Requirements (NFR). NFRs are critical in the development of embedded systems. Designing an embedded realtime system is a complex process, which involves modeling, verification and validation of functional and non functional requirements. The combination of model driven software development (MDD) and software architecture concepts is considered especially advantageous for developing complex systems, such as embedded systems. The Model Driven development (MDD) paradigm raises the abstraction level of system specifications and increases automation in system development. MDD uses models as the primary artifact of the software production process, and the development steps consist of the application of transformation steps over these models. On MDD, a model transformation is specified through a set of transformation rules. Tasks for defining, specifying and maintaining transformation rules are usually complex and critical in MDD. When a Non Functional Requirement (NFR) not considered in the development must be added metamodels, models and transformations are affected. This work presents the methodology TRANSEVOL. TRANSEVOL is a solution for the adaptation of legacy model-to-model (M2M) transformations to changes in NFR that requires (a) changes in the mapping logic; and (b) changes in the mapping logic due to the extension of metamodels using profiles. The use of TRANSEVOL reduces the adaptation time of legacy M2M transformations. To automate the derivation and localization of changes to be made in a legacy M2M transformation, TRANSEVOL proposes to combine the execution trace of the legacy model-to-model transformation with the specification of the new mapping requirement expressed by example models. Combining the model differences with the execution trace, the changes to be made in the legacy M2M transformation are deducted. To validate the proposal, a prototype of a tool has been develop.

[eu] Softwarea produktu elektronikoen funtsezko atala bihurtu da. Sistema txertatu elektronikoen softwarea garatzean betebehar funtzionaletaz aparte baldintza ez funtzionalak ere bete behar dira. Beraz, sistema hauen diseinuan ezinbestekoak dira: softwarearen tamaina, energia-kontsumoa, erantzun denborak, segurtasuna edo fidagarritasuna. Baldintza hauei betebehar ez funtzionalak (BEZ) deritzote. BEZ-ak ezinbestekoak dira sistema txertatuen garapenean. Software arkitekturak eta ereduetan oinarritutako software garapena sistema txertatuen ekoizpenerako metodologia onuragarriak dira. Azken urteetan garapen eredu hauek sistema txertatuen industrian barneratzen hasi dira. Ereduetan oinarritutako software garapenaren helburua sistemaren abstrakzio maila handitzea eta gauzapena automatizatzea da. Ereduetan oinarritutako software garapenean eredua da software ekoizpenaren elementu zentrala. Ekoizpen prozesuan ereduak etengabe eraldatzen dihoaz softwarearen kodea lortu arte. Ereduetan oinarritutako software garapenean ereduen eraldatzeak transformazio erregelen bitartez gauzatzen dira. Transformazio erregelen diseinua, gauzapena, aldaketa eta balidapena konplexua da. BEZ berri bat agertzean metaereduak, ereduak eta transformazioak aldatu behar dira. Lan honetan laguntzeko TRANSEVOL izeneko metodologia aurkezten da. TRANSEVOL transformazioen aldaketa gauzatzeko metodologia da. TRANSEVOL transformazioak BEZ berrien eraginez aldatu behar direnean aplikatzeko soluzioa da. Bi egoera zehatzetan aplikatzen da TRANSEVOL: (a) metaereduak aldatu gabe eraldatze logika aldatu behar denean eta (b) metaereduei perfilak ezartzeagatik eraldatze logika aldatu behar denean. TRANSEVOLek transformazioren aldaketa prozesuaren denbora murrizten du. TRASNEVOLek egin beharreko aldaketak kalkulatu eta kokatzen ditu. Horretarako, transformazioen exekuzio aztarnak eta ereduen arteko desberdintasunak erabiltzen ditu. Lan honetan TRANSEVOL metodologia gauzatzen duen tresna bat garatu da metodologiaren baliogarritasuna egiaztatzeko.