eBiltegia

    • Euskara
    • Español
    • English
  • Contact Us
  • English 
    • Euskara
    • Español
    • English
  • About eBiltegia  
    • What is eBiltegia? 
    •   About eBiltegia
    •   Publish your research in open access
    • Open Access at MU 
    •   What is Open Science?
    •   Open Access institutional policy
    •   The Library compiles and disseminates your publications
  • Login
Search 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Scientific production - Conferences
  • Search
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Scientific production - Conferences
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 13

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain 

Agirre, Joseba Andoni; Sagardui, Goiuria; Etxeberria, Leire (SCITEPRESS, 2015)
The use of Model Driven Development (MDD) is increasing in industry. When a Non Functional Requirement (NFR) not considered in the development must be added metamodels, models and also transformations are affected. Tasks ...
Thumbnail

Implementation of Digital Twin-based Virtual Commissioning in Machine Tool Manufacturing 

Ugarte Querejeta, Miriam; Etxeberria, Leire (Elsevier B.V., 2022)
Virtual commissioning is not a new concept; However, it is all the rage with the introduction of Industry 4.0, in the field of product lifecycle management, computer-aided design (CAD), computer-aided manufacturing (CAM), ...
Thumbnail

Increasing dependability in Safety Critical CPSs using Reflective Statecharts 

Illarramendi, Miren; Elkorobarrutia, Xabier; Etxeberria, Leire; Sagardui, Goiuria (Springer, 2017)
Dependability is crucial in Safety Critical Cyber Physical Systems (CPS). In spite of the research carried out in recent years, implementation and certification of such systems remain costly and time consuming. In this ...
Thumbnail

Reuse in Safety Critical Systems: Educational Use Case Final Results 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier (IEEE, 2015)
The University of Mondragon, has participated in an European ARTEMIS project called SafeCer during 4 years. The main objective of the project has been to research about the "Reuse of safety related embedded systems and ...
Thumbnail

Reuse in safety critical systems : educational use case first experiences 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier (IEEE, 2014)
In order to maintain Europe as world leader in development of safety relevant systems one of the keys would be to join together the European industrial, academic and scientific communities. One of the main industrial ...
Thumbnail

Reuse in safety critical systems: educational use case 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier (IEEE, 2013)
The last decades, the electromechanical control systems are being replaced by Programmable Electronic Control Systems. The challenge is that these new systems have to be at least as safe as the replaced ones. Any company ...
Thumbnail

Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Sagardui, Goiuria (IOP Publishing, 2019)
Software Systems are becoming increasingly complex leading to new Validation &Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
Thumbnail

Transevol - A Tool to Evolve Legacy Model Transformations by Example 

Agirre, Joseba Andoni; Sagardui, Goiuria; Etxeberria, Leire (SCITEPRESS, 2014)
The use of Model Driven Development (MDD) approach is increasing in industry. MDD approach raises the level of abstraction using models as main artefacts of software engineering processes. The development of model ...
Thumbnail

Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa 

Arrieta, Aitor; Sagardui, Goiuria; Etxeberria, Leire (UEU, 2015)
Cyber-Physical Systems integrate digital cyber technologies with complex physical systems. These systems are taking importance in our dayly lives and their variability is considerably increasing to give response to di erent ...
Thumbnail

CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker 

Illarramendi, Miren; Etxeberria, Leire; Larrinaga, Felix; Sagardui, Goiuria (IEEE, 2020)
Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
  • 1
  • 2

Browse

All of eBiltegiaCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished atThis CommunityBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished at

My Account

LoginRegister

Discover

Author
Etxeberria, Leire (13)
Sagardui, Goiuria (9)Illarramendi, Miren (7)Elkorobarrutia, Xabier (6)Agirre, Joseba Andoni (3)Arrieta, Aitor (1)Larrinaga, Felix (1)Marcos, Aitor (1)Markiegi, Urtzi (1)Pérez Bascaran, Xabier (1)... View MoreSubjectEmbedded systems (5)Reusability of SW (3)Safety Integrity Level (3)Model Driven Development (2)Model Transformation by Example (2)Adaptation models (1)Aldakortasuna (1)Cyber Physical Systems (1)Cyber-Physical Systems (1)Design Patterns (1)... View MoreDate Issued2015 (3)2014 (2)2017 (2)2019 (2)2013 (1)2016 (1)2020 (1)2022 (1)Has File(s)Yes (13)

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace
 

 

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace