Industry 4.0


Systems that reason

It is commonplace for autonomous systems to be referred to as smart systems. These are characterised by features such as high availability, the ability to repair themselves and possessing intelligence to be able to manage…




The importance of analytics

Everybody is talking about analytics. Together with Artificial Intelligence or AI all of our business problems will be solved apparently. Analytics sounds like analysis, so it is natural to make the comparison to try and…



What is model checking?

As software systems become more complex, and we use rapidly developing technologies to connect systems together to achieve new objectives, the scope for the introduction of errors increases. Such errors may cost an organisation money…


Making manufacturing formal

If we take the `buzz’ around Industry 4.0, and the resurgence of interest in Artificial Intelligence (AI), add a sprinkling of imagination, and we end up with some fantastic possibilities for manufacturing systems of the…


Managing software complexity

The construction of software for an application is a complicated process. We employ Software Engineers to develop software in a way that helps us arrive at robust solutions, and it is the training and experience…