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

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

Industrial Cyber-Physical System Evolution Detection and Alert Generation 

Sagardui, Goiuria (MDPI AG, 2019)
Industrial Cyber-Physical System (ICPS) monitoring is increasingly being used to make decisions that impact the operation of the industry. Industrial manufacturing environments such as production lines are dynamic and ...
Thumbnail

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

Illarramendi, Miren; Etxeberria Elorza, Leire; Elkorobarrutia Letona, Xabier; Pérez Lázare, Txema; 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

QoS-aware Metamorphic Testing: An Elevation Case Study 

Ayerdi Cantalejo, Jon; Arrieta Marcos, Aitor; Sagardui, Goiuria (IEEE, 2020)
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ...
Thumbnail

Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems 

Ayerdi Cantalejo, Jon; Arrieta Marcos, Aitor; Sagardui, Goiuria (IEEE, 2020)
Software systems that are embedded in autonomous Cyber-Physical Systems (CPSs) usually have a large life-cycle, both during its development and in maintenance. This software evolves during its life-cycle in order to ...
Thumbnail

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

Illarramendi, Miren; Etxeberria Elorza, Leire; Elkorobarrutia Letona, 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

Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing 

Arrieta Marcos, Aitor; Agirre Bastegieta, Joseba Andoni; Sagardui, Goiuria (ACM, 2020)
The time it takes software systems to be tested is usually long. This is often caused by the time it takes the entire test suite to be executed. To optimize this, regression test selection approaches have allowed for ...
Thumbnail

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

Ugarte Querejeta, Miriam; Etxeberria Elorza, 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

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

Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing 

Arrieta Marcos, Aitor; Agirre Bastegieta, Joseba Andoni; Sagardui, Goiuria (ACM, 2020)
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 ...
  • 1
  • 2
  • 3
  • 4

Browse

All of eBiltegiaCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished at

My Account

LoginRegister

Discover

Author
Sagardui, Goiuria (32)
Arrieta, Aitor (10)Etxeberria, Leire (10)Illarramendi, Miren (7)Arrieta Marcos, Aitor (5)Ayerdi, Jon (5)Agirre, Joseba Andoni (4)Etxeberria Elorza, Leire (4)Elkorobarrutia, Xabier (3)Agirre Bastegieta, Joseba Andoni (2)... View MoreSubjectElevators (5)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 Issued2020 (6)2021 (6)2019 (5)2022 (4)2015 (3)2016 (3)2014 (2)2017 (2)2018 (1)Has File(s)Yes (32)

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