Evaluation of C2 Model Architectures Designed Using Colored Petri Nets

"Modasco proposes to extend the capability of Colored Petri Net design and architecture specification tools to include model performance measurement and evaluation. The methodology is based upon an automated simulation of the system executed within acontrollable run-time interface. A graphical language is proposed for describing the complex logic and mathematical relationships of transitions between system states. Integrating graphical design, model architecture specification and simulationcapabilities into one tool provides a highly-efficient way of performing end-to-end virtual prototyping of a proposed system architecture that avoids the need to create artificial interfaces among several specialized tools. The system designer can alsodefine performance metrics with the rule-based design interface, store them for future application and assign them to model architectures. During the execution of a model's simulation, the values of assigned metrics are updated and displayed to theanalyst. This tool will significantly reduce the time and cost currently required to create and update model simulations and thus will produce system designs that are more robust and whose properties are better understood. The proposed system is directlyapplicable to the collaborative development of large scale systems by remote teams of specialists whose designs can be integrated and evaluated in operational conditions. Decrease the development time and cost