|
| ||||||
| ||||||
| Jason Cooper | CAMC Receives
Recognition
The Health and Life Sciences Division announces the creation of the Medical Instrumentation Laboratory at the MATRIC laboratory facilities in South Charleston. Through a generous donation from the Charleston Area Medical Center, the division has begun lab renovation and equipment procurement. This laboratory will be utilized for medical device development research (diagnostic and therapeutic), as well as independent verification and validation and independent testing of existing medical devices to ensure safety, reliability, and maintainability. MATRIC
is honored to recognize this contribution by naming the laboratory the
“CAMC Medical Instrumentation Laboratory.” Photo Credit: Charleston Area Medical Center | |||||
| ||||||
| Mark Dehlin | MATRIC Wins Four NASA
IV&V Research Projects
MATRIC is a member of four winning teams for NASA IV&V research projects. The projects, running over a two year period, include teaming with L3 Corporation on automating Systems Test and Operations Language (STOL) script and Finite State Machine (FSM) analysis and Geo Controls on Requirement and Test Case Traceability and Interface Validation toolsets. The STOL scripting language is unique in concept and design and requires a specialized analysis support system. Currently, practitioners have no automated methods to assist in identifying STOL behavior, traceability and complexity. As a result of this need, MATRIC will research algorithms and methodologies most suitable for STOL test script analysis, as well as develop and evaluate an automated analysis tool for the STOL project. FSMs are used in many spaceflight software development efforts and play a significant role in FPGA (Field Programmable Gate Array) design and development. Since an increasing number of spaceflight hardware components include FPGAs, the FPGA FSMs need to be rigorously exercised and analyzed. For the FSM project, MATRIC will identify the “best of breed” tools that perform FSM modeling and analysis activities. As a result of having performed considerable amounts of test analysis on NASA software, it is apparent that the need exists for a toolset that can assist in verifying the traceability between requirements and test cases. For the Requirement and Test Case Traceability project, MATRIC will perform a tandem study using two prototype automated test case generation (ATCG) tools to assess their capabilities for determining the appropriate set of test cases for a given set of typical NASA Software requirements. Past history confirms that many faults in interfaces between Computer
Software Configuration Items (CSCIs) result in catastrophic mission
failures. Experience indicates that comprehensive interface validation is
not well performed as part of the software development lifecycle resulting
in faults escaping detection until integration testing or actual software
deployment. The Interface Validation project will focus on developing a
toolset that will allow interface faults to be detected much earlier in
the development lifecycle. Photo Credit: NASA | |||||
| ||||||
| Keith A. Pauley | ||||||
| ||||||
Comments or questions on this page?
Responses will be posted here and on the FAQ page.