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)
In this paper we use the Activity diagram of the System Modeling Language (SysML) in combination with the new UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) in order to validate functional, timing and low power requirements in early phases of the embedded system development life-cycle. However, SysML lacks a formal semantics(More)
With the heterogeneity and complexity growth of embedded real-time systems (ERTS) is required an interdisciplinary approaches in the development processes embracing software engineering, mechanics, electric and electronics areas. Accordingly, a modeling language, called Unified Modeling Language (UML), has been specified by OMG (Object Management Group).(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)
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)
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)