Raimundo S. Barreto

Learn More
In general, complex embedded systems rely on specialized operating system kernels. However, the operating system usage may introduce significant time overhead, which may affect the tasks' deadline in embedded hard real-time systems. In addition, hardware requirements (e.g. memory) are usually increased.As an alternative, this paper presents a software(More)
This paper presents a methodology for mapping the Live Sequence Chart (LSC) language to an equivalent Coloured Petri Net (CPN) model as an approach for analysis and verification of embedded systems' properties. LSC is a language for system specification, allowing one to specify what should happen for all execution of the system as well as the modeling of(More)
In recent years, discrete control systems play an important role in the development and advancement of modern civilization and technology. Practically every aspect of our life is affected by some type of control systems. This kind of system maybe classified as an embedded real-time system and requires rigorous methodologies to develop the software that is(More)
—Sink nodes are responsible for aggregating data gathered by a Wireless Sensor Network (WSN) and transmitting them to a monitoring facility. Usually, these are static nodes that serve as gateways to infrastructured networks. In some applications, these sink nodes move around the monitoring area, usually in lower speeds (e.g., robots, dirigibles). In this(More)
This paper describes an agile development methodology which combines agile principles with organizational patterns and adapts them to build embedded real-time systems focusing on the system's constraints. The hard-ware/software partitioning and platform-based design are used in the proposed methodology to support the embedded system designer meet the(More)