Zerrendatu Kongresuak-Ingeniaritza honen arabera: egilea "4fdb2b2d78ea94c4088771d8dea5d1fb"

17-tik 1-17 emaitza erakusten

    • Advantages of Arrowhead Framework for the Machine Tooling Industry 

      Aldalur, Iñigo; Illarramendi, Miren; Larrinaga, Felix; Perez Lazare, Jose María (IEEE, 2020)
      Immersed in the digital era and fully experiencing the changes introduced by the new industrial revolution of the so-called Industry 4.0, there are still many aspects of industrial digitization to resolve. Interoperability ...

    • Collective experience of application of an inverted classroom in the computer science degree program 

      Aldalur, Iñigo; Illarramendi, Miren; Iturbe, Mikel; Roman Txopitea, Ibai; Markiegi, Urtzi (SEFI, 2021)
      In the last years, higher education is immersed in the transformation of the teaching experience with the aim of involving students more, as well as motivating them. Nowadays, students are very familiarized with new ...

    • 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 ...

    • E-Learning Experience with Flipped Classroom Quizzes Using Kahoot, Moodle and Google Forms: A Comparative Study 

      Aldalur, Iñigo; Markiegi, Urtzi; VALENCIA PARAFITA, XABIER; Cuenca, Javier; Illarramendi, Miren (ACM, 2023)
      In recent years, the use of technology is gaining weight in higher education. Today’s students are digital natives and e-Learning is common for them. Furthermore, they find traditional teaching methods tedious. In order ...

    • 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 ...

    • Experiencia colectiva de aplicación de la clase invertida en el grado de informática 

      Aldalur, Iñigo; Illarramendi, Miren; Iturbe, Mikel; Markiegi, Urtzi; Roman Txopitea, Ibai (2021)
      As information consumption habits change, higher education is facing the challenge of transforming the teaching experience in order to maximize student involvement and motivation. This transformation, based on multimedia ...

    • Implantación colectiva de la clase invertida en el grado de informática 

      Aldalur, Iñigo; Illarramendi, Miren; Iturbe, Mikel; Markiegi, Urtzi; Roman Txopitea, Ibai (AENUI, 2022)
      La educación ha sufrido una gran transformación en las últimas décadas. El alumnado de hoy en día está formado por nativos digitales y la educación tradicional les parece aburrida. Por este motivo, los docentes tratan de ...

    • 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 ...

    • 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 ...

    • Node-RED Workflow Manager for Edge Service Orchestration 

      Larrinaga, Felix; Ochoa, William; Perez Riaño, Alain; Cuenca, Javier; Legaristi Labajos, Jon; Illarramendi, Miren (IEEE, 2022)
      Microservice Architectures have increasingly become popular in Industry 4.0 as they allow heterogeneous systems to interact, reduce the complexity in the management of individual components, and support distributed ...

    • 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 ...

    • Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs 

      Ugarte Querejeta, Miriam; Valle Entrena, Pablo; Arrieta, Aitor; Illarramendi, Miren (IEEE, 2023)
      Programmable Logic Controllers (PLCs) are the core unit of the production system, which frequently need to implement new processes to address customer needs. These changes must be fully tested to ensure the reliability of ...

    • Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms 

      Arrieta, Aitor; Ayerdi, Jon; Illarramendi, Miren; Sagardui, Goiuria (IEEE, 2021)
      The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...