Predicate Logic is a leader in satellite and communications engineering services. We specialize in the design and development of automated satellite control software and related system products for joint command center and submarine communications applications.

The Predicate Logic engineering staff provides communications systems design, specification development, software engineering and platform integration in support of fleet and SPAWAR Systems Headquarters and Systems Centers. These services encompass:

• Satellite communication control Systems Requirements, Design and Implementation, including ashore and afloat platform installation, software development and testing
• Application design and development
• Communications operations concept development

Predicate Logic stays on the leading edge of innovation through a formal process emphasizing Software Process Engineering, Education, and Research (SPEER). The company's strategy is to investigate new technologies, integrate them into its own technology base, and validate them in an iterative process. This strategy provides increased value, reduces risk, and helps make Predicate Logic's customers more competitive.

The Predicate Logic engineering staff represents decades of experience developing and modifying submarine and satellite communication systems in support of fleet and SPAWAR Systems programs. More than 70% of the Predicate Logic technical staff possesses over 15 years of communications engineering experience.