Man-Tak Shing

Learn More
This paper presents an efficient heuristic algorithm for planning near-optimal high-level paths for a point agent moving through complex terrain modeled by the Weighted-Region Problem. The input to the Weighted-Region Problem is a set of non-overlapping convex polygonal homogeneous-cost regions on a two-dimensional plane. Each region has an associated cost(More)
This paper addresses the need to increase the effectiveness and productivity of independent verification and validation (IV & V) of complex system-of-systems software via software reuse. It builds upon our previous work on reusing the system reference model (SRM) artifacts in the IV & V of system-of-systems software and presents a framework for(More)
This paper presents some concepts, principles, and techniques for automated testing of real-time reactive software systems based on attributed event grammar (AEG) modeling of the environment in which a system will operate. AEG provides a uniform approach for automatic test generation, execution, and analysis. Quantitative and qualitative assessment of the(More)
Errors in requirements are often a contributing cause of the failure of critical infrastructure and their underlying information systems to adequately guard against cyber intrusions and withstand cyber attacks. However, detecting errors in the cybersecurity requirements, and for requirements in general, is a challenging task. In this paper we describe how(More)
In this paper we address the need to increase the effectiveness and productivity of independent verification and validation (IV&V) of complex system-of-systems software via software reuse. We build upon our previous work on computer-aided IV&V techniques that advocate the use of a system reference model (SRM) to capture the IV&V(More)
We introduce a process-neutral framework for software reuse in safety-critical system-of-systems, and present a new model, called C<sup>5</sup>RA, to capture the relevant component information and to assist in reusable component specification matching that takes software safety into account. The framework consists of four elements: organizational factors,(More)
  • 1