Bilatu
182-tik 1-10 emaitza erakusten
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 ...
Interpreting Remaining Useful Life estimations combining Explainable Artificial Intelligence and domain knowledge in industrial machinery
(IEEE, 2020)
This paper presents the implementation and explanations of a remaining life estimator model based on machine learning, applied to industrial data. Concretely, the model has been applied to a bushings testbed, where fatigue ...
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 ...
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 ...
Integrando las dimensiones de la experiencia de paciente en proyectos de diseño centrado en las personas
(AEIPRO, 2020)
Diversas investigaciones apuntan que una eXperiencia de Paciente (PX) positiva mejora los resultados de salud y la rentabilidad de los centros médicos. Uno de los enfoques utilizados para mejorar la PX es el diseño centrado ...
Implementación de la metodología de diseño para montaje DFA-SPDP en un caso de estudio académico en Mondragon Unibertsitatea
(AEIPRO, 2020)
Las metodologías de diseño para el montaje DFA ayudan a los diseñadores a considerar el proceso de montaje de un producto desde las fases iniciales del diseño. Las metodologías DFA más extendidas ...
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study
(ACM, 2021)
One of the major challenges in the verification of complex industrial Cyber-Physical Systems is the difficulty of determining whether a particular system output or behaviour is correct or not, the socalled test oracle ...
ADAPT: an Automatic Diagnosis of Activity and Processes in auTomation environments
(IEEE, 2020)
In an automated industrial environment, a large volume of data and signals is available, both from sensors and actuators in machinery and from the interaction with operators and users. Operation diagnosis can have multiple ...
Petri net implementation in programmable logic controllers: methodology for development and validation
(IEEE, 2021)
Lead times are key to good market positioning of providers of automated solutions based on a programmable logic controller (PLC). Testing control software against a digital twin (DT) of the process, any programming errors ...