Bruno Costa e Silva Nogueira

Learn More
This paper presents a Coloured Petri net based approach for estimating execution time and energy consumption in embedded systems. The aim of this work is to provide, in the design phase, a mechanism that helps the designer informing the energy consumption and the performance of the code in analysis. Experimental results have demonstrated an accuracy of 96%(More)
Embedded systems designers need to verify their design choices to find the proper platform and software that satisfy a given set of requirements. In this context, it is essential to adopt formal-based techniques to evaluate the impact of design choices on system requirements. To be useful, such techniques must produce accurate results with minimal(More)
Requirements validation is a critical task in any embedded real-time system project. Normally, these systems have stringent timing constraints that must be satisfied for the correct functioning, since violation might be catastrophic, such as loss of human lives. In addition, there are systems where energy is another constraint that must also be satisfied.(More)
Diabetic retinopathy (DR) is a serious complication of diabetes mellitus that may result in blindness. We evaluated the effects of activation of endogenous angiotensin converting enzyme (ACE) 2 on the early stages of DR. Rats were administered an intravenous injection of streptozotocin to induce hyperglycemia. The ACE2 activator 1-[[2-(dimethylamino) ethyl](More)