Abstract

Most of the maintenance actions in the construction sector are still reactive and sporadic, based on subjective criteria. Usually, maintenance actions are performed when the building already presents unacceptable degradation levels, and the reactive maintenance actions carried [...]

Abstract

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of [...]