Since the last century, concerns about safety and welfare issues have increased at the same pace as technolo gical advances. Synthetic Aperture Radar (SAR) is one way of creating images using active sensors, which has the advantage that it can be used in any climate and time of day. Due to its complexity, the use of these images is time consuming and requires an experienced user. This study aims to fin...

Model checking é uma técnica comum de verificação; garante a consistência e integridade de qualquer sistema fazendo uma exploração exaustiva de todos os possíveis estados. Devido à grande quantidade de intercalações possíveis entre eventos, modelos de sistemas distribuídos muitas vezes acabam por gerar um número de estados muito grande. Nesta dissertação vamos explorar os efeitos de partial order red...

One of the biggest problems for business owners, of both big and small companies, is the correct forecast of its financial evolution. This means that the owners in question need to spend a lot of time studying the economic issues that involve these situations and/or pay specialized workers to do a thorough study on the area. In addition, it becomes a constant, chronic and seasonal problem that demand...

In some contexts, namely in the development of autonomous vehicles in robotics, the exploitation of the Arduino platform for the development of embedded systems allows a simpler and faster implementation of the desired functionality than would be possible using the devices known as Programmable Logic Controllers (PLCs), typically used. However, the soft ware certification is a much more complicated tas...