An Improved Coloured Petri Net Model for Software Component Allocation on Heterogeneous Embedded Systems

Jun 01, 2018

DOI: 10.20532/cit.2018.1003892

Published in: Journal of Computing and Information Technology

/ Issam Al-Azzoni

We extend an approach to component allocation on heterogeneous embedded systems using Coloured Petri Nets (CPNs). We improve the CPN model for the embedded systems and outline a technique that exploits CPN Tools, a well-known CPN tool, to efficiently analyze embedded system's state space and find optimal allocations. The approach is model-based and represents an advancement towards a model-driven engineering view of the component allocation problem. We incorporate communication costs between components by extending the CPN formalism with a non-trivial technique to analyze the generated state space. We also suggest a technique to improve the state space generation time by using the branching options supported in CPN Tools. In the evaluation, we demonstrate that this technique significantly cuts down the size of the generated state space and thereby reduces the runtime of state space generation and thus the time to find an optimal allocation.

Other Researches

Meta-Heuristics for Solving the Software Component Allocation Problem

The software component allocation problem is concerned with mapping a set of software components to the computational units available in a heterogeneous computing system while maximizing a certain objective function. This problem is important in the...

Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements

Background: The comprehensive representation of functional requirements is a crucial activity in the analysis phase of the software development life cycle. Representation of a complete set of functional requirements helps in tracing business goals e...

On Utilizing Model Transformation for the Performance Analysis of Queueing Networks

In this paper, we present an approach for model transformation from Queueing Network Models (QNMs) into Queueing Petri Nets (QPNs). The performance of QPNs can be analyzed using a powerful simulation engine, SimQPN, designed to exploit the knowledge...

ATL Transformation of Queueing Networks to Queueing Petri Nets

This paper presents an approach for model transformation from Queueing Network Models (QNMs) into Queueing Petri Nets (QPNs). This would open up the benefits of QPNs in analyzing the performance of QNMs. We present meta...

Model-to-Model based Approach for Software Component Allocation in Embedded Systems

Due to the popularity and heterogeneity of embedded systems, the problem of software component (SW-component) allocation in such systems is receiving increasing attention. Addressing this problem using a graphical modeling language s...

Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools

In this paper, we present a new approach to server consolidation in heterogeneous computer clusters using Colored Petri Nets (CPNs). Server consolidation aims to reduce energy costs and improve resource utilization by reducing the number of servers ...