Listar por autor "ca8ec5bf6c7e09b128ea966bd5551142"
Mostrando ítems 1-20 de 34
-
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 ... -
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 ... -
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 ... -
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. ... -
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ... -
Model Query Translator. A Model-level Query Approach for Large-scale Models
Sagardui, Goiuria (SCITEPRESS, 2015)Persisting and querying models larger than a few tens of megabytes using XMI introduces a significant time and memory footprint overhead to MDD workflows. In this paper, we present an approach that attempts to address this ... -
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 ... -
On the support of multi-perspective process models variability for smart environments
Sagardui, Goiuria (IEEE, 2014)Cloud service-based applications are to be adapted to serve multiple platforms and stakeholders. Atop of such services, Smart Green Buildings are fostering a plethora of processes within their sustainability life-cycle. ...
