Osmar Marchi dos Santos

Learn More
Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the(More)
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are needed. In this context, the contribution of this paper is twofold: at the one side we investigate the effect of forwarding in wireless ad hoc networks, drawing the throughput(More)
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation(More)
In this paper we make use of formal methods and tools as means to specify and reason about the behavior of distributed systems in the presence of faults. The approach used is based on the observation that a fault behavior can be modeled as an unwanted but possible transition of a system. It is then possible to define a transformation of a model M1 of a(More)
Priority inversion and priority inheritance protocols for bounding blocking time are well-understood topics in real-time systems research. The two most commonly used priority inheritance protocols are basic priority inheritance and priority ceiling emulation. Although both are supported in POSIX, Ada and the Real-Time Specification for Java (RTSJ), little(More)
—Simulation is a bottleneck in the design flow of on-chip multiprocessors. This paper addresses that problem by reducing the simulation time of complex on-chip interconnects through transaction-level modelling (TLM). A particular on-chip interconnect architecture was chosen, namely a wormhole network-on-chip with priority preemptive virtual channel(More)
Object-Based Graph Grammars (OBGG) is a formal specification language suitable for modeling concurrent object-based systems. On previous work we have mainly discussed the language along with case studies and analysis techniques (model checking and simulation) for systems described in OBGG. In this paper we present the set of tools we have developed and/or(More)