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 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 ...
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 ...
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, ...
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 ...
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 ...
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 ...