IEE Half-Day Colloquium on Hardware Systems for Dependable Applications