Zerrendatu honen arabera: egilea "ca8ec5bf6c7e09b128ea966bd5551142"
-
AI-based Performance Issue Detection for Cyber-Physical System Software Updates
Gartziandia, Aitor (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2023)Cyber-Physical Systems (CPSs) are systems that integrate computation and communication with the physical world. Software systems that are embedded in CPSs usually have a large life-cycle and are continuously evolving in ... -
Automating Test Oracle Generation in DevOps for Industrial Elevators
Ibabe Arrieta, Aitor; OTAEGI GURRUTXAGA, MAIALEN; Sagardui, Goiuria (IEEE, 2022)Orona is a world-renowned elevators developer. During elevators' lives, their software continues to evolve, e.g., due to hardware obsolescence, requirements changes, vulnerabilities, and bug corrections. Such continuous ... -
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
Sagardui, Goiuria; Etxeberria, Leire; Agirre, Joseba Andoni; Arrieta, Aitor (IEEE, 2017)As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ... -
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 ... -
Delta Rhapsody
Sagardui, Goiuria; Etxeberria, Leire; Markiegi, Urtzi; Pérez Bascaran, Xabier (2016)Model Based System Engineering (MBSE) has become the pre-eminent paradigm used to improve the development of complex systems. Additionally, Delta Modelling provides an incremental approach to the design and maintenance of ... -
Digital safety manager: IoT service to assure the safe behaviour of machines and controls in the digital industry
Illarramendi, Miren; Iriarte, Asier; Arrieta, Aitor; Sagardui, Goiuria; Larrinaga, Felix (Dyna, 2022)The digital industry requires increasingly complex and reliable software systems. They need to control and make decisions at runtime, and that decision making can become very critical. As a consequence, the verification ... -
Dynamic test prioritization of product lines: An application on configurable simulation models
Markiegi, Urtzi; Arrieta, Aitor; Etxeberria, Leire; Sagardui, Goiuria (Springer, 2021)Product line testing is challenging due to the potentially huge number of confgurations. Several approaches have tackled this challenge; most of them focused on reducing the number of tested products by selecting a ... -
Dynamic variability support in context-aware workflow-based systems
Murguzur, Aitor (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2015)Workflow-based systems are increasingly becomingmore complex and dynamic. Besides the large sets of process variants to be managed, process variants need to be context sensitive in order to accommodate new user requirements ... -
Evaluación de atributos de calidad en líneas de productos software de forma efectiva en costes
Etxeberria, Leire (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2008)Software product line engineering is a software development paradigm that allows the systematic reuse in the development of a product family, a set of related products that share common features. A feature is a relevant ... -
Evaluating embedded relational databases for large model persistence and query
Sagardui, Goiuria (Ediciones Universidad de Salamanca, 2016)Large models are increasingly used in Model Driven Development. Different studies have proved that XMI (default persistence in Eclipse Modelling Framework) has some limitations when operating with large models. To overcome ... -
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 ... -
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 ... -
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 ... -
Facing Evolution on Industry 4.0: Modular Monitoring and Adaptive & Adaptable Visualization for Industrial Cyber-Physical Systems
Iglesias, Aitziber (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2019)Industry 4.0 comes to play an important role in various industrial domains where monitoring industrial cyberphysical systems (ICPSs) is becoming essential. This is due to the necessity to efficiently collect data from ... -
A general approach to Software Product Line testing
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (Sistedes: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2019)Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings ... -
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 ... -
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ... -
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 ... -
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 ... -
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 ...
