Xabier Elkorobarrutia

• Doctor of Philosophy
• Senior Lecturer at Mondragon University

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 system satisfies a given property at runtime. This second technique complements the first one. This paper presents a runtime contra...

One of the challenges for complex IoT software systems is to increase their safety. A Model Driven Development approach helps in the design and development phase of these systems while runtime checking techniques help to enhance safety. To supervise the status of different IoT services that are registered in a local cloud at runtime, the solution t...

An embedded system is a self-contained system that incorporates elements of control logic and real-world interaction. UML State Machines constitute a powerful formalism to model the behaviour of these types of systems. In current industrial environments, the software of these embedded systems have to cope with the increasing complexity and robustne...

An embedded system is a self-contained system that incorporates elements of control logic and real-world interaction. UML State Machines constitute a powerful formalism to model the behaviour of these types of systems. In current industrial environments, the software of these embedded systems have to cope with the increasing complexity and robustne...

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 system satisfies a given property at runtime. This second technique complements the first one. This paper presents a runtime contra...

In current industrial environments, the software of embedded systems have to cope with the increasing complexity, uncertain scenarios and safety requirements at runtime. One approach to managing these requirements is having the software components information in model terms at runtime (models@run.time). Adaptation of models at runtime is one of the...

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 paper, a framework for Statecharts based SW component development is presented. This framework called CRESC (C++ REflective StateCh...

The last decades, the electromechanical control systems are being replaced by Programmable Electronic Control Systems. The challenge is that these new systems have to be at least as safe as the replaced ones. Any company that want to compete in the Safety Embedded Systems related market and have success in business, have to develop competent system...

This article deals with a mechanism for modifying run-time behavior of statechart-based software components. The main target of the presented approach are reactive and control systems, where the main source of failures and uncertainties are due to environmental faults and situations arisen from the numerous dierent working conditions that a system...

This article describes a reconfiguration mechanism for statechart-based software components and presents a framework that supports it. The reconfiguration capability that each component acquires can be used as a mechanism for self-healing and better adapting the component to environmental condition variations. The latter can also be considered as a...

When creating systems by composing individual components, even if those ones behave as promised by its developer, unexpected situation may arise due to the composition operation itself. These situations, that may cause system failures or unsatisfied requirements occur because component providers have not foreseen the whole environments in which the...

This article describes a self-healing mechanism for state- machine based distributed components. Each component is composed of two layers: a healing (HL) and a service or functional layer (FL). At least, the functional layer must be implemented according to a state- machine specification. The healing layer has the capacity of monitoring the service...

This paper describes a reconfiguration mechanism for software components based on hier-archical state-machines. This mechanism can be applied, among other uses, to component self-healing, component composition and adaptation. We introduce a framework in order to development statechart based components that allows modification of the component's mod...