Search
Now showing items 1-10 of 16
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 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 ...
Experiencia colectiva de aplicación de la clase invertida en el grado de informática
(2021)
As information consumption habits change, higher education is facing the challenge of transforming the teaching experience in order to maximize student involvement and motivation. This transformation, based on multimedia ...
Collective experience of application of an inverted classroom in the computer science degree program
(SEFI, 2021)
In the last years, higher education is immersed in the transformation of the teaching experience with the aim of involving students more, as well as motivating them. Nowadays, students are very familiarized with new ...
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 ...
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 ...
Using Machine Learning to Build Test Oracles: an Industrial Case Study on Elevators Dispatching Algorithms
(IEEE, 2021)
The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...
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 ...