• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1015-1024
• /
• 2003

In [1] we proposed a method to generate a test model (GFSM) from a set of scenarios of embedded software. Each scenario describes the interaction sequences for an external input event. Although these external events are generated and accepted alternatively and concurrently by embedded software, we considered only the alternative relations. In this paper, we describe an improved algorithm to generate GFSM from concurrent scenarios, and propose methods to reduce the number of transitions in the GFSM. The first is the synchronous interpretation of message passing instead of asynchronous one considering the real behavior of tasks in embedded software. The others apply the partial order techniques to the GFSM using independent regions. We apply the method to generate a reduced GFSM of embedded software running on a digital TV.

• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.634-648
• /
• 2001

Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.38 no.3
• /
• pp.64-77
• /
• 2015

An effective method for produce munitions effectiveness data is to calculate weapon effectiveness indices in the US military's Joint Munitions Effectiveness Manuals (JMEM) and take advantage of the damage evaluation model (GFSM) and weapon Effectiveness Evaluation Model (Matrix Evaluator). However, a study about the Range Safety that can be applied in the live firing exercises is very insufficient in the case of ROK military. The Range Safety program is an element of the US Army Safety Program, and is the program responsible for developing policies and guidance to ensure the safe operation of live-fire ranges. The methodology of Weapon Danger Zone (WDZ) program is based on a combination of weapon modeling/simulation data and actual impact data. Also, each WDZ incorporates a probability distribution function which provides the information necessary to perform a quantitative risk assessment to evaluate the relative risk of an identified profile. A study of method to establish for K-Range Safety data is to develop manuals (pamphlet) will be a standard to ensure the effective and safe fire training at the ROK military education and training and environmental conditions. For example, WDZs are generated with the WDZ tool as part of the RMTK (Range Managers Tool Kit) package. The WDZ tool is a Geographic Information System-based application that is available to operational planners and range safety manager of Army and Marine Corps in both desktop and web-based versions. K-Range Safety Program based on US data is reflected in the Korean terrain by operating environments and training doctrine etc, and the range safety data are made. Thus, verification process on modified variables data is required. K-Range Safety rather than being produced by a single program, is an package safety activities and measures through weapon danger zone tool, SRP (The Sustainable Range Program), manuals, doctrine, terrain, climate, military defence M&S, weapon system development/operational test evaluation and analysis to continuously improving range safety zone. Distribution of this K-range safety pamphlet is available to Army users in electronic media only and is intended for the standing army and army reserve. Also publication and distribution to authorized users for marine corps commands are indicated in the table of allowances for publications. Therefore, this study proposes an efficient K-Range Safety Manual producing to calculate the danger zones that can be applied to the ROK military's live fire training by introducing of US Army weapons danger zone program and Range Safety Manual