We develop safety-critical software for aviation

About

Seaberry Technologies has over 20 years of experience in aviation software development, offering full support throughout the software lifecycle. From design and development to verification and certification support, we ensure projects meet the highest safety and reliability standards

We work across all DAL levels, from A to E, helping clients meet industry standards like ARP4754A, DO-178, DO-254, and DO-331. Our expert solutions ensure systems operate safely and efficiently.

How we can help

We are working hard to develop software that provides continuous protection and reliability in the air. Our team of specialists strives to comply with the highest security standards by following strict procedures and carefully checking every detail of our software code

Domain expertise

directions of aviation software development

At Seaberry Technologies, we offer expertise across a wide range of avionics systems.
Our team delivers reliable, tailored solutions of any DAL Level in compliance with DO-178, DO-254, DO-33x, DO-297, APR-4754A.

Traffic Collision Avoidance Systems (TCAS)

Seaberry develops software for TCAS, helping aircraft detect and avoid potential collisions to ensure the highest level of flight safety.

Electronic Flight Bag (EFB)

We develop software for EFBs, providing pilots with digital tools for flight planning, navigation, and real-time performance monitoring.

Air Data Control

Seaberry’s software for air data systems ensures accurate measurement of flight parameters like airspeed and altitude for safe and reliable flight control.

Information Management

We create software to manage onboard information systems, enabling efficient data flow and system operation within the aircraft.

Data Concentrator

Seaberry develops software for data concentrator systems that collect, process, and distribute data from various aircraft systems, ensuring seamless integration.

Communication Management

Our software solutions support communication management systems, enabling reliable data exchange between aircraft and ground or external systems

Actuator Control

Seaberry designs software for actuator control systems, ensuring the precise movement of critical components like flaps and landing gear.

Inertial Reference Systems

We provide software for inertial reference systems, delivering accurate data on aircraft position, velocity, and orientation, crucial for navigation

Flight Management Systems

We create advanced software for cockpit displays, ensuring pilots receive accurate and timely data on flight conditions and system statuses.

Flight Control Systems

Our software for flight control systems ensures precise management of the aircraft's flight surfaces, enabling stable and safe operation

A661 Server

Seaberry specializes in developing ARINC 661 server software, facilitating seamless communication between cockpit displays and various aircraft systems

techstack

Technologies
and Standards

We use cutting-edge aviation software technologies and standards to deliver safe, reliable, and efficient solutions.

VS Code
Visual Studio
Code Composer Studio
CodeWarrior IDE
Green Hills Multi IDE
Eclipse GCC
Windriver Studio
Matlab /Simulink
SCADE Display/661/Suite
Rhapsody, Labview
Questa, Active-HDL
VectorCAST C/C++
C/C++-unit
LDRA TBurn
RTRT
Tessy
Simulink/Test
Polyspace
VectorCast Lint
LDRA Testbed
PRQA QA.C
VectorCAST Cover
CodeTest
BullsEye Coverage
LDRACover
Testwell ctc
Code Composer Studio
CodeWarrior IDE
LynxOS
Green Hills Integrity
VxWORKS
DEOS
MACS
OpenRTOS
µC/OS
PikeOS
QNX OS
FreeRTOS
Doors
Doors Next
Jama
Polarion
Cradle Serena Dimensions
Perforce, Synergy
ClearCase
Subversion ClearQuest
Change
Jira
Redmine
Track
Git\Gitlab
Youtrack
ARP 4754F
ARP4761
ARP-4754A
ARP-4761
DO178C
DO-33x
DO-254
DO-178B/C
DO-330
DO-331
DO-248
DO-254
DO-297
Arinc 429
Arinc 661
Arinc 663
Arinc 739
Arinc 619
Arinc 620
Arinc 825
Arinc 424
ARINC 604
ARINC 653
ARINC 664
ARINC 702A
ARINC 762
aRINC 825
CAN
I2C
SPI
Ethernet
AFDX
RS-232
RS-485
PPC E5x
Arm Cortex A
Cortex M
x86
PIC
DSP
FPGA TI
NXP
Analog Devices
Infineon
STM
Xilinx
Integrated Cockpit​
Displays
A661 Server
Flight Control​
Flight Management​
Inertial Reference​
Actuator control
Communication Manageme...
Data Concentrator​
Information Management
Air Data
Electronic flight bag​
Data Concentrator​

stages

Full development lifecycle

Our team can join your project at any stage of your project. We ensure everything aligns with your needs and industry standards for a seamless, high-quality result

technology stack

Development and Verification Tools:
VS Code, Visual Studio, Code Composer Studio, CodeWarrior IDE, Green Hills Multi IDE, Eclipse GCC, Windriver Studio, Matlab/Simulink, SCADE Display/661/Suite, Rhapsody, Labview, Questa, Active-HDL, VectorCAST C/C++, C/C++-unit, LDRA TBurn, RTRT, Tessy, Simulink/Test, Polyspace, VectorCast Lint, LDRA Testbed, PRQA QA.C, SonarCube, VectorCAST Cover, CodeTest, BullsEye Coverage, LDRACover, Testwell ctc.

Real-time OS:
LynxOS, Green Hills Integrity, WxWorks, DEOS, MACS, OpenRTOS, µC/OS, PikeOS, QNX OS, FreeRTOS.

Configuration Management Tools:
Doors, Doors Next, Jama, Polarion, Cradle, Serena Dimensions, Perforce, Synergy, ClearCase, Subversion, ClearQuest, Change, Jira, Redmine, Track, Git/Gitlab, Youtrack.

Chip Architectures and Vendors:
PPC E5x, Arm Cortex A, Cortex M, x86, PIC, DSP, FPGA, TI, NXP, Analog Devices, Infineon, STM, Xilinx.

Standards and technologies:
ARP 4754F, ARP4761, DO-178C, DO-33x, DO-254, DO-297, ARP-4754A, ARP-4761, DO-178B/C, DO-330, DO-331, DO-248, ARINC 424, ARINC 429, ARINC 604, ARINC 653, ARINC 661, ARINC 664, ARINC 702A, ARINC 762, ARINC 825, CAN, I2C, SPI, Ethernet, AFDX, RS-232, RS-485.

Software Security

We are committed to developing software that ensures continuous protection and reliability in aviation. Our specialists follow strict security standards, carefully reviewing and testing each part of the code to eliminate vulnerabilities. By adhering to industry-leading practices, we ensure our software remains robust, secure, and capable of maintaining safety even in the critical conditions. Every detail is thoroughly checked to guarantee that our solutions perform flawlessly in the air.

RAMS and Certification Support

We assist our clients in delivering safe and reliable aviation systems by incorporating RAMS (Reliability, Availability, Maintainability, and Safety) analysis. This approach helps us identify and mitigate risks, including the significant potential for human error during system operation. By focusing on these critical factors, we ensure that the systems we develop are not only efficient but also robust enough to handle real-world challenges, enhancing overall safety and effectiveness in aviation.

stages

Full development cycle

Our team can join your project at any stage of your project. We ensure everything aligns with your needs and industry standards for a seamless, high-quality result

01
Life Cycle processes definition

At the initial stage, Seaberry defines and structures the entire software lifecycle process, ensuring clear objectives and standards are set for the project.

02
safety assessment

Safety is a critical focus, and Seaberry conducts rigorous safety assessments in accordance with standards like ARP4761 (Safety Assessment Process) and DO-254 (Hardware Certification) to identify and mitigate risks early on. This ensures the system operates within the safety guidelines necessary for aviation systems.

03
Requirements development

Seaberry works closely with clients to gather and develop detailed system, high-level and low-level requirements, which guide the software and FPGA design process to meet specific goals and regulatory needs.

04
Software development/FPGA design

During this phase, Seaberry develops software and designs FPGA hardware in compliance with ARP4754A, DO-178C, and DO-254 standards. This ensures the final products meet the highest levels of safety, reliability, and performance for aviation systems.

05
Software/FPGA verification

Seaberry assists clients through the certification process, ensuring all deliverables meet industry standards and regulatory requirements for final approval

06
Certification support

Seaberry assists clients through the certification process, ensuring all deliverables meet industry standards and regulatory requirements for final approval.

We work according
to standards:
APR-4761, APR-4754A, DO-254, DO-178, DO-330, DO-297, DO-331, DO-332, DO-333

Contact us

Estimate your software project

Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.