Listar por autor "59a2375f63fb24493a1207d35262c78a"
Mostrando ítems 1-20 de 21
-
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 ... -
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 ... -
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 ... -
Implementation of Digital Twin-based Virtual Commissioning in Machine Tool Manufacturing
Ugarte Querejeta, Miriam; Etxeberria, Leire (Elsevier B.V., 2022)Virtual commissioning is not a new concept; However, it is all the rage with the introduction of Industry 4.0, in the field of product lifecycle management, computer-aided design (CAD), computer-aided manufacturing (CAM), ... -
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 ... -
Low Cost Photonic Sensor for in-Line Oil Quality Monitoring: Methodological Development Process towards Uncertainty Mitigation
Etxeberria, Leire (MDPI AG, 2018)Lubricant and hydraulic fluid ageing impacts the performance of the machines, gears, transmissions or automatisms where they are being used. This manuscript describes the work accomplished for bringing an innovative ... -
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 methodology for model-based verification of safety contracts and performance requirements
Illarramendi, Miren; Etxeberria, Leire (SAGE, 2018)The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software ... -
Reuse in safety critical systems : educational use case first experiences
Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier (IEEE, 2014)In order to maintain Europe as world leader in development of safety relevant systems one of the keys would be to join together the European industrial, academic and scientific communities. One of the main industrial ... -
Reuse in safety critical systems: educational use case
Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier (IEEE, 2013)The last decades, the electromechanical control systems are being replaced by Programmable Electronic Control Systems. The challenge is that these new systems have to be at least as safe as the replaced ones. Any company ... -
Reuse in Safety Critical Systems: Educational Use Case Final Results
Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, Xabier (IEEE, 2015)The University of Mondragon, has participated in an European ARTEMIS project called SafeCer during 4 years. The main objective of the project has been to research about the "Reuse of safety related embedded systems and ... -
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 ... -
Runtime observable and adaptable UML state machines: models@run.time approach
Illarramendi, Miren; Etxeberria, Leire; Elkorobarrutia, 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 ... -
Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa
Arrieta, Aitor; Sagardui, Goiuria; Etxeberria, Leire (UEU, 2015)Cyber-Physical Systems integrate digital cyber technologies with complex physical systems. These systems are taking importance in our dayly lives and their variability is considerably increasing to give response to di erent ... -
Spectrum-based fault localization in software product lines
Arrieta, Aitor; Etxeberria, Leire; Markiegi, Urtzi; Sagardui, 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 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, ... -
Transevol - A Tool to Evolve Legacy Model Transformations by Example
Agirre, Joseba Andoni; Sagardui, Goiuria; Etxeberria, Leire (SCITEPRESS, 2014)The use of Model Driven Development (MDD) approach is increasing in industry. MDD approach raises the level of abstraction using models as main artefacts of software engineering processes. The development of model ...