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
How rising electrical loads are rewriting the rules of military aircraft design
Hermeus to advance high-Mach uncrewed aircraft under expanded DIU agreement
Army pushes open-API architecture in Fort Carson hackathon to link sensors, shooters and C2 networks
Sponsored Picks
Load More Content