Model driven product line engineering : core asset and process implications

Reuse is at the heart of major improvements in productivity and quality in Software Engineering. Both Model Driven Engineering (MDE) and Software Product Line Engineering (SPLE) are software development paradigms that promote reuse. Specifically, they promote systematic reuse and a departure from craftsmanship towards an industrialization of the software development process. MDE and SPLE have established their benefits separately. Their combination, here called Model Driven Product Line Engineering (MDPLE), gathers together the advantages of both. Nevertheless, this blending requires MDE to be recasted in SPLE terms. This has implications on both the core assets and the software development process. The challenges are twofold: (i) models become central core assets from which products are obtained and (ii) the software development process needs to cater for the changes that SPLE and MDE introduce. This dissertation proposes a solution to the first challenge following a feature oriented approach, with an emphasis on reuse and early detection of inconsistencies. The second part is dedicated to assembly processes, a clear example of the complexity MDPLE introduces in software development processes. This work advocates for a new discipline inside the general software development process, i.e., the Assembly Plan Management, which raises the abstraction level and increases reuse in such processes. Different case studies illustrate the presented ideas.

Failure detectors and communication efficiency in the crash and general omisión failure models

122 p.

The omega failure in the crash-recovery model

190 p.

Piraguak garraiatzeko sistemaren diseinua.

[EU]Ur bizietako piraguak edonolako ingurune basatietan garraiatzeko sistema baten diseinua garatuko du txosten honek. Horretarako dagoeneko existitzen diren modeloei erreparatuko zaie. Sistemak bete behar dituen ezaugarriak erabaki ondoren, diseinuari ekingo zaio. Hasierako ideietatik abiatuz amaierako diseinura iritsi arte fintze etapa ezberdinak burutuko dira. Haietariko azkenean, sortutako prototipoa aztertuko da azken hobekuntza batzuen beharra ebaluatzeko. Guzti hau, sistemak huts egingo ez duela bermatzen duten kalkuluetan oinarrituz egingo da. Azken diseinua sortzeko beharrezko neurriak zehaztuko dira.