Reconfigurable Hardware Adapts to Changing Mission Demands

About this technology

Overview

Derivation Systems, Inc., received several SBIR contracts from Langley Research Center to develop hardware and software for high-assurance systems. The company developed leading-edge technology in formal verification, embedded Java,T and reconfigurable computing for its PF3100,T Derivational Reasoning System (DRS),T FormalCORE IP,T FormalCORE PCI/32,T FormalCORE DES,T and LavaCORET Configurable Java Processor, which are designed for greater flexibility and security on all space missions. The company ships its products to a variety of aerospace, government, telecommunications, and industrial customers. The PF3100 has been adopted to provide a comprehensive solution to a broad range of applications including data acquisition, hyper-spectral imaging, engine control, three-dimensional bio-imaging, software radio, robotics, power conditioning, telecommunications, and prototyping fault-tolerant bus architectures.