• Publications
  • Influence
Environment behavior models for automation of testing and assessment of system safety
An approach to automatic scenario generation from environment behavior models for testing of real-time reactive systems and a case study of a software prototype of the computer-assisted resuscitation algorithm for a safety-critical casualty intravenous fluid infusion pump is demonstrated. Expand
Cloud to cloud interoperability
Some of the challenges in achieving interoperability for cloud computing are described and an adaptation of the U.S. Department of Defense's LISI Maturity Model is recommended to address cloud-to-cloud interoperability. Expand
A Visual Tradeoff Space for Formal Verification and Validation Techniques
A three-dimensional tradeoff space encompassing both cost and coverage is introduced to aid software engineers in selecting the appropriate technique for the formal verification or validation task at hand. Expand
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
This approach is novel in its use of UML statechart-based assertions for formal specifications and its emphasis on validation testing, including an emphasis on the inclusion of validation test scenarios as an integral part of a formal specification library. Expand
Modeling and simulation of system-of-systems timing constraints with UML-RT and OMNeT++
This paper presents an iterative approach for studying the timing constraints of a system-of-systems using models expressed in UML for Realtime extension (UML-RT), which are then translated into coarse-grained simulation models that are exercised using the OMNeT++ simulation engine. Expand
Verification and Validation for Trustworthy Software Systems
A continuous and proactive process for conducting verification and validation of systems involves using scenario-based testing to validate whether formal assertions correctly capture the intent ofExpand
Computation of Matrix Chain Products. Part I, Part II.
Abstract : This paper considers the computation of matrix chain products of the form M sub (1) x M sub (2) x ... X M sub (n-1). If the matrices are of different dimensions, the order in which theExpand
A computer-aided prototyping system
A description is given of an approach to rapid prototyping that uses a specification language (the Prototype-System Description Language, PSDL) integrated with a set of software tools. including anExpand
A decomposition algorithm for circuit routing
This work recursively cuts the area of the chip into smaller and smaller regions until the routing problem within a region can be handled by the Dantzig-Wolfe decomposition method, and successively paste the adjacent regions together to obtain the routing of the whole chip. Expand