Bilatu
27-tik 11-20 emaitza erakusten
A methodology for model-based verification of safety contracts and performance requirements
(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 ...
MAWA: Enhancing mobile web browsing through web augmentation for improved user experience
(Elsevier, 2024)
In recent years, mobile devices have witnessed an exceptional surge in web browsing, emerging as the primary information source. Developers, however, struggle to cater to every user’s needs, compelling users to customize ...
PLC orchestration automation to enhance human-machine integration in adaptive manufacturing systems
(Elsevier, 2023)
Current approaches to manufacturing must evolve to respond to increasing demands for short product life cycles and customised products. Adaptive manufacturing systems integrate advanced technologies, automation, and ...
Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms
(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 ...
Surface roughness assessment on hole drilled through the identification and clustering of relevant external and internal signal statistical features
(Elsevier, 2022)
Drilling is a continuous cutting process where two or more cutting edges remove the material, to obtain the desired feature. During the chip evacuation, it generally rubs against the generated surface. Thus, the roughness ...
Advantages of Arrowhead Framework for the Machine Tooling Industry
(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 ...
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker
(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 ...
Reuse in Safety Critical Systems: Educational Use Case Final Results
(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 ...
Reuse in safety critical systems : educational use case first experiences
(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
(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 ...