RESEARCH ACTIVITIES• Model based Testing (Software and simulation)• Distributed simulation • Synchronization algorithms• HLA technology• Discrete and continuous simulation technologies • Qualitative simulation• Agent technologies• Software development paradigmsTHE SOFTWARE TOOLS DEVELOPED • Agent driven Simulation Framework (AdSiF) – Adsif is a general purpose declarative scripting language. It provides a multi-paradigm programming environment for simulation and agent software. • A military project for terrorist attack and surveillance in AdSiF. • Scenario Preparation, C4ISR Architecture tools - C4ISR Modeling and simulation (details given PROJECT section) • Temporal Reasoning Based System Identification: A Reverse Engineering Approach to Simulation Model Verification - TempSI• Temporal Verification Framework: Temporal Reasoning based Simulation Model Verification• Verification,Validation and Acreditation (VV&A) Automated Support Tools – A State of the Art Report Part 2 Details – Modeling and Simulation Information Analysis Center (MSIAC) July 13, 2001 http://www.msiac.dmso.mil • Temporal verification tool is reported in MSIAC report of verification tools. • SiQSM: Simulator for Qualitative Simulation ModelsCOMPUTER LANGUAGES AND SYSTEMS• C++, Prolog, Java, Siman 3.5 and IV, Visual Basic, FoxBase, Dbase, Fortran, C, Oz language (Mozart Environment)• Windows, Unix, Ms-Dos,