Bilatu
19-tik 1-10 emaitza erakusten
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 ...
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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
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 ...
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 ...