• Journal of Computing Science and Engineering
• /
• 제2권4호
• /
• pp.375-393
• /
• 2008

The dynamic cast operation allows flexibility in the design and use of data management facilities in object-oriented programs. Dynamic cast has an important role in the implementation of the Data Management Services (DMS) of the Mission Data System Project (MDS), the Jet Propulsion Laboratory's experimental work for providing a state-based and goal-oriented unified architecture for testing and development of mission software. DMS is responsible for the storage and transport of control and scientific data in a remote autonomous spacecraft. Like similar operators in other languages, the C++ dynamic cast operator does not provide the timing guarantees needed for hard real-time embedded systems. In a recent study, Gibbs and Stroustrup (G&S) devised a dynamic cast implementation strategy that guarantees fast constant-time performance. This paper presents the definition and application of a cosimulation framework to formally verify and evaluate the G&S fast dynamic casting scheme and its applicability in the Mission Data System DMS application. We describe the systematic process of model-based simulation and analysis that has led to performance improvement of the G&S algorithm's heuristics by about a factor of 2. In this work we introduce and apply a library for extracting semantic information from C++ source code that helps us deliver a practical and verifiable implementation of the fast dynamic casting algorithm.

• 한국정밀공학회지
• /
• 제12권12호
• /
• pp.64-71
• /
• 1995

This investigation evaluates dynamic fracture characteristics of two alloy steels (STD-11 and STS-3) and a gray cast iron (GC-30). The dynamic fracture toughness of crack initiation and some of the dynamic fracturing characteristics were evaluated by using the instrumented Charpy impact testing procedures. It was found from experimental results for three kinds of materials that inertia force is directly proportional to impact velocity. The duration time of inertia force was found to be constant regardless of impact velocities in steel specimens.