Investigations have been performed to identify a methodology for creating executable models of architectures and simulations of architecture that lead to an understanding of their dynamic properties. Colored Petri nets (CPNs) are used to describe architecture because of their strong mathematical foundations, the existence of techniques for their verification and graph theory's well-established history of success in modern science. CPNs have been extended to interoperate with legacy simulations via a high level architecture (HLA) compliant interface. It has also been demonstrated that an architecture created as a CPN can be integrated with Department of Defense Architecture Framework products to ensure consistency between static and dynamic descriptions. A computer-aided tool, Visual Simulation Objects (VSO), which aids analysts in specifying, composing and executing architectures, has been developed to verify the methodology and as a prototype commercial product.
Creating executable architectures using Visual Simulation Objects (VSO)
2005
12 Seiten, 14 Quellen
Conference paper
English
Systems and methods for rescaling executable simulation models
European Patent Office | 2022
|Executable assertions and flight software
NTRS | 1984
|Executable assertions and flight software
AIAA | 1984
|