Bruno Costa e Silva Nogueira

Learn 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)
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)
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)
Nowadays, component-based embedded real- time systems have been used to improve the system development as well as to keep cost down through the reuse of embedded software applications. Besides, the use of semi-formal models has been widely adopted in the embedded real-time system component and system life cycle due to their friendly and intuitive notations.(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)