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
  • Bilatu
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • 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

33-tik 21-30 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 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 ...
Thumbnail

A microservice-based framework for multi-level testing of ciber-physical systems 

Aldalur, Iñigo; Arrieta, Aitor; Sagardui, Goiuria (Springer, 2023)
In the last years, the use of microservice architectures is spreading in Cyber-Physical Systems (CPSs) and Internet of Things (IoT) domains. CPSs are systems that integrate digital cyber computations with physical processes. ...
Thumbnail

Performance-Driven Metamorphic Testing of Cyber-Physical Systems 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2022)
Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems, combined with the uncertainty in their interactions with the ...
Thumbnail

Evolutionary generation of metamorphic relations for cyber-physical systems 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (ACM, 2022)
A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ...
Thumbnail

Virtual commissioning in machine tool manufacturing: a survey from industryLa puesta en marcha virtual en la fabricación de máquinas herramienta: encuesta industrial 

Ugarte Querejeta, Miriam; Etxeberria, Leire; Sagardui, Goiuria (Federación de Asociaciones de Ingenieros Industriales de España, 2021)
Virtual commissioning has acquired a major interest with the introduction of Industry 4.0. It is demonstrated that virtual commissioning can significantly reduce the commissioning time, error rate and costs. However, ...
Thumbnail

Model-Based Testing in Practice: An Industrial Case Study using GraphWalker 

Arrieta, Aitor; Sagardui, Goiuria (ACM, 2021)
Model-based testing (MBT) is a test design technique that supports the automation of software testing processes and generates test artefacts based on a system model representing behavioural aspects of the system under test ...
Thumbnail

Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study 

Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (ACM, 2021)
One of the major challenges in the verification of complex industrial Cyber-Physical Systems is the difficulty of determining whether a particular system output or behaviour is correct or not, the socalled test oracle ...
Thumbnail

Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins 

Ugarte Querejeta, Miriam; Etxeberria, Leire; Sagardui, Goiuria (Springer Nature Switzerland AG, 2020)
Nowadays product manufacturing must respond to mass customisation of products in order to meet the global market needs. This requires an agile and dynamic production process to be competitive in the market. Consequently, ...
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 ...
  • 1
  • 2
  • 3
  • 4

Zerrendatu honako honen arabera

eBiltegia osoaKomunitateak & bildumakArgitalpen dataren araberaEgileakIzenburuakMateriakIkerketa taldeakNon argitaratua

Nire kontua

SartuErregistratu

Arakatu

Egilea
Sagardui, Goiuria (32)
Arrieta, Aitor (16)Etxeberria, Leire (13)Ayerdi, Jon (8)Illarramendi, Miren (7)Agirre, Joseba Andoni (5)Elkorobarrutia, Xabier (5)Larrinaga, Felix (2)Markiegi, Urtzi (2)59a2375f63fb24493a1207d35262c78a (1)... View MoreMateriaElevators (6)Cyber Physical Systems CPS (4)Quality of Service (4)Metamorphic Testing (3)Model Driven Development (3)Models@runtime (3)Persistence (3)Runtime Adaptation (3)testing (3)Computer bugs (2)... View MoreDate Issued2019 (6)2021 (6)2020 (5)2022 (4)2015 (3)2016 (3)2014 (2)2017 (2)2018 (1)2023 (1)Has File(s)Yes (33)

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace
 

 

Nork bildua:

OpenAIREBASERecolecta

Nork balioztatua:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Biblioteka
Kontaktua | Iradokizunak
DSpace