Search
Now showing items 1-10 of 21
Spectrum-based fault localization in software product lines
(Elsevier B. V., 2018)
Context:
Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of
products under test. Most of the research on this field focuses on making testing affordable by selecting ...
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 ...
Evaluación de atributos de calidad en líneas de productos software de forma efectiva en costes
(Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2008)
Software product line engineering is a software development paradigm that allows the systematic reuse in the development of a product family, a set of related products that share common features. A feature is a relevant ...
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 ...
Low Cost Photonic Sensor for in-Line Oil Quality Monitoring: Methodological Development Process towards Uncertainty Mitigation
(MDPI AG, 2018)
Lubricant and hydraulic fluid ageing impacts the performance of the machines, gears, transmissions or automatisms where they are being used. This manuscript describes the work accomplished for bringing an innovative ...
Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins
(Springer Nature Switzerland AG, 2020)
Nowadays product manufacturing must respond to mass customisation of products in order to meet the global market needs. This requires an agile and dynamic production process to be competitive in the market. Consequently, ...
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, ...
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 ...
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 ...
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), ...
