eBiltegia

    • Zer da eBiltegia? 
    •   eBiltegiari buruz
    •   Argitaratu irekian zure ikerketa
    • Sarbide Irekia MUn 
    •   Zer da Zientzia Irekia?
    •   Mondragon Unibertsitatearen dokumentu zientifikoetara eta irakaskuntza-materialetara Sarbide Irekia izateko politika instituzionala
    •   Mondragon Unibertsitatearen ikerketa-datuetara Sarbide Irekia izateko Politika instituzionala
    •   Babes digitalerako jarraibideak
    •   Zure argitalpenak jaso eta zabaldu egiten ditu Bibliotekak
    • Euskara
    • Español
    • English

Laguntzailea:

  • Kontaktua
  • Euskara 
    • Euskara
    • Español
    • English
  • eBiltegia buruz  
    • Zer da eBiltegia? 
    •   eBiltegiari buruz
    •   Argitaratu irekian zure ikerketa
    • Sarbide Irekia MUn 
    •   Zer da Zientzia Irekia?
    •   Mondragon Unibertsitatearen dokumentu zientifikoetara eta irakaskuntza-materialetara Sarbide Irekia izateko politika instituzionala
    •   Mondragon Unibertsitatearen ikerketa-datuetara Sarbide Irekia izateko Politika instituzionala
    •   Babes digitalerako jarraibideak
    •   Zure argitalpenak jaso eta zabaldu egiten ditu Bibliotekak
  • Hasi saioa
Bilatu 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Ikerketa-Kongresuak
  • Bilatu
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Ikerketa-Kongresuak
  • Bilatu
JavaScript is disabled for your browser. Some features of this site may not work without it.

Bilatu

Show Advanced FiltersHide Advanced Filters

Iragazkiak

Muga ezazu bilaketa iragazkiak erabiliz

17-tik 1-10 emaitza erakusten

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

Runtime observable and adaptable UML state machines: models@run.time approach 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Sagardui, Goiuria (ACM, 2019)
n embedded system is a self-contained system that incorporateselements of control logic and real-world interaction. UML State Ma-chines constitute a powerful formalism to model the behaviour ofthese types of systems. In ...
Thumbnail

MDE based IoT Service to enhance the safety of controllers at runtime 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Perez Lazare, Jose María; Larrinaga, Felix; Sagardui, Goiuria (Aachen University, 2019)
One of the challenges for complex IoT software systems is toincrease their safety. A Model Driven Development approach helps in the design and development phase of these systems while runtime checkin gtechniques help to ...
Thumbnail

Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms 

Arrieta, Aitor; Ayerdi, Jon; Illarramendi, Miren; Sagardui, Goiuria (IEEE, 2021)
The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...
Thumbnail

Advantages of Arrowhead Framework for the Machine Tooling Industry 

Aldalur, Iñigo; Illarramendi, Miren; Larrinaga, Felix; Perez Lazare, Jose María (IEEE, 2020)
Immersed in the digital era and fully experiencing the changes introduced by the new industrial revolution of the so-called Industry 4.0, there are still many aspects of industrial digitization to resolve. Interoperability ...
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 ...
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

Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak 

Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier; Sagardui, Goiuria (UEU, 2019)
In current industrial environments, the software of embedded systems have to cope with the increasing complexity and robustness requirements at runtime. One way to manage these requirements is having the software component’s ...
  • 1
  • 2

Zerrendatu honako honen arabera

eBiltegia osoaKomunitateak & bildumakArgitalpen dataren araberaEgileakIzenburuakMateriakIkerketa taldeakNon argitaratuaKomunitate hauArgitalpen dataren araberaEgileakIzenburuakMateriakIkerketa taldeakNon argitaratua

Nire kontua

SartuErregistratu

Arakatu

Egilea
Illarramendi, Miren (17)
Etxeberria, Leire (9)Elkorobarrutia, Xabier (8)Sagardui, Goiuria (7)Aldalur, Iñigo (5)Larrinaga, Felix (4)Markiegi, Urtzi (4)Iturbe, Mikel (3)Roman Txopitea, Ibai (3)Arrieta, Aitor (2)... View MoreMateriaEmbedded systems (5)Models@runtime (3)Reusability of SW (3)Runtime Adaptation (3)Safety Integrity Level (3)Clase invertida (2)grado informática (2)Inverted Classroom (2)Software (2)Softwarea (2)... View MoreDate Issued2019 (4)2021 (3)2020 (2)2022 (2)2023 (2)2013 (1)2014 (1)2015 (1)2017 (1)Has File(s)Yes (17)

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace
 

 

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace