Booth Title: Verocel, Inc.
Booth Number: 330
|
|
DESCRIPTION:
Verocel, Inc., provides software verification expertise, services, and qualified certification tools for safety critical software. VEROCODE measures structural coverage on the target computer at the object code level without special hardware or instrumenting the source code. It is particularly suitable for demonstrating compliance with MCDC objectives. VEROLINK may be used to satisfy the code coupling objectives of DO-178B when verifying the software integration of a system. VEROTRACE gathers requirements and traceability information in a database and links this to a CM system. A template driven translator transforms this information into other document forms. The certification evidence may be saved on a CD-ROM together with traceability information generated in the form of XML files and checked for completeness and accuracy. The CD-ROM may be browsed using a standard browser. Verocel can also take on all or part of the software verification process, provide training, consulting, mentoring, or full software verification services.
|
|
URL:
www.verocel.com
|
Booth Title: ViON Corp.
Booth Number: 313
|
|
DESCRIPTION:
ViON Corp. (ViON) is a small, privately-owned corporation, established in 1980 specializing in advanced storage solutions to the departments and agencies of the federal government as well as state and local governments in the U.S. All of our focus is on providing solutions addressing storage on demand, fault tolerance, disaster recovery, heterogeneous Storage Area Network (SAN) design and implementation, business continuance, and storage resource management. ViON accomplishes this Business-to-Government (B2G) storage strategy with partnership alliances of market share leaders. Our primary partnership is with Hitachi Data Systems. ViON and Hitachi are dedicated to supporting customer objectives with a broad spectrum of storage solutions for both Open Systems and S/390 environments. Our authorized service provider capability (first call, break/fix, and help desk for Hitachi and Brocade storage) includes security clearances. ViON holds Top Secret Facility Clearance and provides support personnel cleared to the TS/SCI/Q level.
|
|
URL:
www.vion.com
|
|
