Browsing by Author "Sagardui Mendieta, Goiuria"
Now showing items 1-14 of 14
-
Dynamic variability support in context-aware workflow-based systems
Murguzur Ibarguren, 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 Elorza, 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 ... -
Facing Evolution on Industry 4.0: Modular Monitoring and Adaptive & Adaptable Visualization for Industrial Cyber-Physical Systems
Iglesias Goikoetxea, 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 ... -
Industrial Cyber-Physical System Evolution Detection and Alert Generation
Sagardui Mendieta, 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 Rezabal, Miren; Etxeberria Elorza, Leire; Elkorobarrutia Letona, Xabier; Pérez Lázare, Txema; Larrinaga Barrenechea, Félix; Sagardui Mendieta, 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 ... -
Método para la adaptación de transformaciones M2M legadas ante cambios en la lógica de mapeo y a extensiones de metamodelos mediante perfiles
Agirre Bastegieta, Joseba Andoni (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2017)El software se está convirtiendo en un elemento fundamental en los productos electrónicos. Cuando se desarrollan sistemas embebidos, los requisitos a cumplir no sólo se definen en términos de los aspectos funcionales del ... -
Model query transformation framework- MQT: from EMF-based model query languages to persistence-spefic query languages
Carlos García, Xabier de (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2016)Memory problems of XML Metadata Interchange (XMI) (default persistence in Eclipse Modelling Framework (EMF)) when operating large models, have motivated the appearance of alternative mechanisms for persistence of EMF models. ... -
QoS-aware Metamorphic Testing: An Elevation Case Study
Ayerdi Cantalejo, Jon; Arrieta Marcos, Aitor; Sagardui Mendieta, 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 ... -
Re-use of tests and arguments for assesing dependable mixed-critically systems
Nicolás Ramírez, Carlos Fernando (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2017)The safety assessment of mixed-criticality systems (MCS) is a challenging activity due to system heterogeneity, design constraints and increasing complexity. The foundation for MCSs is the integrated architecture paradigm, ... -
Runtime observable and adaptable UML state machines: models@run.time approach
Illarramendi Rezabal, Miren; Etxeberria Elorza, Leire; Elkorobarrutia Letona, Xabier; Sagardui Mendieta, 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 ... -
Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing
Arrieta Marcos, Aitor; Agirre Bastegieta, Joseba Andoni; Sagardui Mendieta, 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 ... -
Simulation-based testing of highly configurable cyber-physical systems: automation, optimization and debugging
Arrieta Marcos, Aitor (Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2017)Sistema Ziber-Fisikoek sistema ziber digitalak sistema fisikoekin uztartzen dituzte. Sistema hauen aldakortasuna handitzen ari da erabiltzaileen hainbat behar betetzeko. Ondorioz, sistema ziber-fisikoa aldakorrak edota ... -
Spectrum-based fault localization in software product lines
Arrieta Marcos, Aitor; Etxeberria Elorza, Leire; Markiegi Gonzalez, Urtzi; Sagardui Mendieta, Goiuria (Elsevier B. V., 2018)Context: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under test. Most of the research on this field focuses on making testing affordable by selecting ... -
Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems
Ayerdi Cantalejo, Jon; Arrieta Marcos, Aitor; Sagardui Mendieta, 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 ...