Zerrendatu Kongresuak-Ingeniaritza honen arabera: ikerketa taldea "Ingeniería del software y sistemas"
51-tik 21-40 emaitza erakusten
-
Implantación colectiva de la clase invertida en el grado de informática
(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 ... -
Implementation of a Reference Architecture for Cyber Physical Systems to support Condition Based Maintenance
(2018)This paper presents the implementation of a refer-ence architecture for Cyber Physical Systems (CPS) to supportCondition Based Maintenance (CBM) of industrial assets. The article focuses on describing how the MANTIS ... -
Implementation of Digital Twin-based Virtual Commissioning in Machine Tool Manufacturing
(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), ... -
La importancia de la relación empresa-universidad en la formación del alumno
(Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018)The Computer Science Engineering Degree includes an in-companytrainingexperience for students with professional assistance from university. Two pro-grams address this initiative objective is the im-provements ... -
Increasing dependability in Safety Critical CPSs using Reflective Statecharts
(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 ... -
Integrando los ODS en el grado de Ingeniería Informática
(Universitat d'Alacant, 2023)El nuevo marco establecido por el Real Decreto 822/2021 estableció que los y las profesionales surgidos de las universidades tienen que ser capaces de liderar transformaciones ’claramente alineadas con los Objetivos de ... -
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 ... -
A meta-learning strategy based on deep ensemble learning for tool condition monitoring of machining processes
(Elsevier, 2023)For Industry 4.0, tool condition monitoring (TCM) of machining processes aims to increase process efficiency and quality and lower tool maintenance costs. To this end, TCM systems monitor variables of interest, such as ... -
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, ... -
Model Query Translator. A Model-level Query Approach for Large-scale Models
(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
(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 ... -
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report)
(IEEE, 2022)Metamorphic testing is a technique that has shown great potential to alleviate the test oracle problem by exploiting the relations among the inputs and outputs of different executions of a system. However, this approach ... -
Node-RED Workflow Manager for Edge Service Orchestration
(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 ... -
On the Cost-Effectiveness of Composite Metamorphic Relations for Testing Deep Learning Systems
(IEEE, 2022)Deep Learning (DL) components are increasing their presence in mission and safety-critical systems, such as autonomous vehicles. The verification process of such systems needs to be rigorous, for which automated solutions ... -
On the support of multi-perspective process models variability for smart environments
(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. ... -
Optimal manufacturing configuration selection: sequential decision making and optimization using reinforcement learning
(Elsevier, 2023)In manufacturing, different costs must be considered when selecting the optimal manufacturing configuration. Costs include manufacturing costs, material costs, labor costs, and overhead costs. Optimal manufacturing ... -
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 ... -
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
(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
(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
(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 ...