Transaction-based models (TBM) and evaluation of their throughput

The perception of the system-level design, based on a modeling approach involving series of asynchronous events, for the preferred system specifications, articulates as a befitting solution. These models highlight approaches involved in developing heterogeneous complex embedded systems, with formal foundations. These models composed with distinct components, representing the behavioral integrant and calculative modes for the system. Such a modeling approach proves to be efficient in contending the possible clogging bottlenecks in the design and development cycle. This approach and analytical methodology uniquely strategizes the references for various abstraction levels in the development-cycle as in; early software development associated with the system, architecture analysis, functional & performance verification. In this paper we propose a novel transaction-based high-level modeling approach in verifying and validating the architecture, as well as evaluating the performance of a system suitable for avionics application. The novel approach is proven by means of a case study of the avionics software scheduler. VisualSim is used for transaction-based evaluation and provides an emulative platform providing a combinatorial link between the hardware and its underlying software, deriving a more realistic solution for the feature of development.