Search
Now showing items 91-100 of 325
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
(IEEE, 2021)
Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ...
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 ...
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 ...
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 ...
Evaluation of the Maturity Level of Continuous Improvement Based on Improvement Routines: A Case Study of SMEs of Capital Goods
(Springer, 2022)
This study presents an analysis of implementation and assessment of a frame of reference to adapt and execute an evolutionary continuous improvement process (CIP) in a mature small- and medium-sized enterprise (SME) that ...
Evaluation of different flow stress laws coupled with a physical based ductile failure criterion for the modelling of the chip formation process of Ti-6Al-4V under broaching conditions
(Elsevier, 2019)
During the machining of Ti-6Al-4V the changing deformation mechanisms produce a complex microstructure of segmented chips, which directly influenced tool-wear and process stability. Numerical simulation could give an insight ...
The district energy-efficient retrofitting of Torrelago (Laguna de Duero - Spain)
(IOP Publishing, 2019)
The urban growth is estimated to reach up the 66 % by 2050 and consequently the need of resources within the cities will increase significantly. This, combined with the 40 % of energy consumption and 36 % of CO2 emissions ...