EFSI specializes in flight software development for projects of all sizes and during all development phases. Our services encompass software development, testing, system validation, systems engineering, project management, and mission assurance. We have experience with UML model-based development (e.g., JWST ISIM flight software) and non-model-based projects (e.g., LRO, MMS, ATLAS, and Hubble Space Telescope flight software).

​

EFSI flight software approach utilizes NASA's reusable flight software product Core Flight System (CFS), a reusable component designed for Command and Data Handling (C&DH) software. CFS is both platform- and project-agnostic, incorporating best practices from multiple NASA satellites. Using CFS significantly reduces costs and mitigates risks.    

click here for more CFS info

​

​

In addition, we developed an environment called FOGI Lake (Flight software, Operation, Ground systems, and Artificial Intelligence), a spacecraft development environment. FOGI lake leverages Docker Compose to build open-source and proprietary versions of spacecraft end-to-end systems, enhancing our capability to deliver comprehensive solutions.   FOGI Lake supports rapid flight software development using docker-based cross-compilers and simulated hardware environments.

.

​

EFSI has significant experience using operating systems in Real-Time Operating Systems (RTOS).    This includes

 

• Providing development of kernel drivers for Windriver VxWorks

• Providing real-time Linux solutions using Linus (i.e.  Xenomai).   

​​

 

Flight Software Mission Assurance and Software Safety.    EFSI has personnel supporting multiple projects in mission assurance on NASA's Safety and Mission Assurance Services Contract.  EFSI has a compliant method of meeting  7150.2D and 8739.8B requirements.   Click here for more information.