Bilatu
33-tik 11-20 emaitza erakusten
Virtual commissioning in machine tool manufacturing: a survey from industryLa puesta en marcha virtual en la fabricación de máquinas herramienta: encuesta industrial
(Federación de Asociaciones de Ingenieros Industriales de España, 2021)
Virtual commissioning has acquired a major interest with the introduction of Industry 4.0. It is demonstrated that virtual commissioning can significantly reduce the commissioning time, error rate and costs. However, ...
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 ...
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 ...
Exekuzio Denboran barne egoera ikusi eta aldatzea ahalbideratzen duten UML Egoera Makinak
(UEU, 2019)
In current industrial environments, the software of embedded systems have to cope with the increasing complexity and robustness requirements at runtime. One way to manage these requirements is having the software component’s ...
Evolutionary generation of metamorphic relations for cyber-physical systems
(ACM, 2022)
A problem when testing Cyber-Physical Systems (CPS) is the difficulty of determining whether a particular system output or behaviour is correct or not. Metamorphic testing alleviates such a problem by reasoning on the ...
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 ...
Evaluating embedded relational databases for large model persistence and query
(Ediciones Universidad de Salamanca, 2016)
Large models are increasingly used in Model Driven Development. Different studies have proved that XMI (default persistence in Eclipse Modelling Framework) has some limitations when operating with large models. To overcome ...
Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa
(UEU, 2015)
Cyber-Physical Systems integrate digital cyber technologies with complex physical systems. These systems are taking importance in our dayly lives and their variability is considerably increasing to give response to di erent ...
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 ...