Skip to main content
Essential news and insights on defense and aerospace electronic technologies.
Computers
Uncrewed
Power
Communications
Sensors
Sections
Computers
Uncrewed
Power
Communications
Sensors
Trusted Computing
RF/Analog
Test
Special
2026 Innovators Awards
Webinars
White Papers
Magazine
Parts Search
Buyer's Guide
Contact
Contact Us
Advertise
Magazine Subscription
Newsletter Subscription
Affiliated Brands
MICROWAVES & RF
ELECTRONIC DESIGN
Follow us on
https://www.facebook.com/pages/Military-Aerospace-Electronics/174732214480
https://www.linkedin.com/showcase/military-&-aerospace-electronics/
https://twitter.com/MilAero
Software code design, test, and verification
CertSAFE
Related To:Â
CERTON
Jan. 22, 2016
Add Us On Google
CertSAFE is dataflow language and IDE for modeling and simulation of discrete time systems. It was designed from the ground up to streamline safety-critical software development & certification.
Request More Information
Submit
By clicking above, I agree to Endeavor Business Media's Terms of Service and consent to receive promotional communications from Endeavor, its affiliates, and partners per its Privacy Notice. I also understand my personal information will be shared with the sponsor of this content, who may contact me about their offerings per their privacy policy. I can unsubscribe anytime.
Trending
DoD awards AeroVironment up to $500 million contract for Domestic Shield counter-UAS program
AFRL awards Booz Allen $25.3 million for quantum technology research project
Honeywell-led group to develop compact quantum magnetometer for ESA
Sponsored Picks
Load More Content