Browsing by Research Group "Ingeniería del software y sistemas"
Now showing items 21-40 of 44
-
Low Cost Photonic Sensor for in-Line Oil Quality Monitoring: Methodological Development Process towards Uncertainty Mitigation
(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
(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
(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 ... -
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
(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, ... -
MODDALS Methodology for Designing Layered Ontology Structures
(IOS Press, 2020)Global ontologies include common vocabularies to provide interoperability among different applications. These ontologies require a balance of reusability-usability to minimise the ontology reuse effort in different ... -
Model query transformation framework- MQT: from EMF-based model query languages to persistence-spefic query languages
(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. ... -
Model-Based Testing in Practice: An Industrial Case Study using GraphWalker
(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 ... -
QoS-aware Metamorphic Testing: An Elevation Case Study
(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
(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
(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
(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 ... -
Semantic web and semantic technologies to enhance innovation and technology watch processes
(Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2016)Innovation is a key process for Small and Medium Enterprises in order to survive and evolve in a competitive environment. Ideas and idea management are considered the basis for Innovation. Gathering data on how current ... -
Simulation-based testing of highly configurable cyber-physical systems: automation, optimization and debugging
(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
(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 ... -
Success Stories on Real Pilots
(River Publishers, 2018) -
System of Systems Lifecycle Management: A New Concept Based on Process Engineering Methodologies
(MDPI, 2021)In order to tackle interoperability issues of large-scale automation systems, SOA (Service-Oriented Architecture) principles, where information exchange is manifested by systems providing and consuming services, have already ... -
The MANTIS Reference Architecture
(River Publishers, 2018) -
Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins
(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, ... -
Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems
(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 ...