Bilatu
26-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 ...
Runtime observable and adaptable UML state machine-based software components generation and verification: models@run.time approach
(Mondragon Unibertsitatea. Goi Eskola PoliteknikoaMondragon Unibertsitatea. Goi Eskola Politeknikoa, 2019)
Cyber-Physical Systems (CPSs) are embedded computing systems in which computation interacts closely with the physical world through sensors and actuators. CPSs are used to control context aware systems. These types of ...
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 ...
Analysis of technological architectures for the new paradigm of the industry 4.0Análisis de arquitecturas tecnológicas para el nuevo paradigma de la industria 4.0
(DYNA Publishing, 2019)
The present work defines an interoperable and scalable architecture that will allow the servitization of the machine tool sector. ICT and the Internet of Things make possible to interconnect different devices and controllers, ...
Bokazio zientifikoak sustatzeko laborategiaUn laboratorio para fomentar vocaciones científicas
(ETB - Elhuyar, 2020)
Zientzia eta teknologia alorreko ogibideetan berrikuntza eta ideia berriak izatea ezinbestekoa da. Azken urteetan, alor honetako lanbideen eskaera nabarmen handitu da. Era berean ordea, gazteentzat, batik bat, emakumeentzat, ...
Implantación colectiva de la clase invertida en el grado de informática
(AENUI, 2022)
La educación ha sufrido una gran transformación en las últimas décadas. El alumnado de hoy en día está formado por nativos digitales y la educación tradicional les parece aburrida. Por este motivo, los docentes tratan de ...
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 ...
Node-RED Workflow Manager for Edge Service Orchestration
(IEEE, 2022)
Microservice Architectures have increasingly become popular in Industry 4.0 as they allow heterogeneous systems to interact, reduce the complexity in the management of individual components, and support distributed ...
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 ...