Melbourne, Florida (PRWEB) November 19, 2012
CERTON and IEE have met every milestone operating within the original Firm Fixed Price budget constraints using their proprietary internally-developed CertSAFE™ suite of design and test tools. The CertSAFE™ suite includes model based design, verification, and simulation tools for rapid requirements capture, design simulation, verification, system validation, test automation, and targeted root cause failure analysis and debugging of safety critical applications, including avionics software products to satisfy the objectives identified in RTCA/DO-178 guidelines.
High and Low Level requirements for the system were captured in text and model-based form using CertSAFE™. Model based requirements allow developers to concisely and unambiguously describe the intended operation of the software to be written. For code development, CERTON utilized the CertSAFE™ standard library components to reduce software development time through reuse of code that implements primitive model blocks such as Boolean logic functions, timers, and mathematical functions. The CertSAFE™ Standard Library is written for portability across a variety of platforms and is fully tested to allow seamless integration into avionics of any design assurance level up to Level A.
For Black Box verification testing, CERTON used a fully automated test approach of the display unit made possible by CertSAFE™ in combination with CertBENCH™ LRU.
CertBENCH™ also allows engineers to develop test vectors with CERTON patented technology to streamline the verification process, simulation, and debugging. Standardized Test Cases and Procedures are automatically generated and compatible with CertSAFE™ Executor and CertBENCH™ automated Black Box test environment solutions, LRU and PLD.
CertSAFE™ Executor is a fully-featured test executive which allows for complete automation of tests across a variety of platforms including CertBENCH™ LRU and CertBENCH™ PLD, TestStand, GreenHills IDE, Rational Test Real-time, VectorCAST, and other COTS verification test products.
CertBENCH™ LRU is a mixed-signal real-world environment simulator that allows real-time high-level black box testing of avionics and other safety critical products, such as medical devices and rail control systems. It is capable of generating and recording a wide variety of analog and digital waveforms including ARINC 429, CMOS/TTL digital I/O, analog I/O and high-speed serial. Unlike other simulators, CertBENCH™ LRU is entirely black-box, and when used in conjunction with CertSAFE™, LRU is capable of full software test coverage with absolutely no flight object code modification, which is necessary for compliance with the certification objectives for safety critical software verification under DO-178.
CERTON is a leader in safety-critical engineering services and solutions for customers in the Aerospace, Medical, and Transportation industries. CERTON has developed tools and technology to streamline certification of safety-critical systems, software, and complex hardware in order to minimize the time-to-market of customer products for a Firm-Fixed Cost. CERTON's primary focus is developing completely automated solutions for systems, software, and complex hardware verification and validation. CERTON provides expertise in all phases of the systems, software, and complex hardware product design life cycle to support rapid certification of safety critical customer products that is quality centric.
Contact CERTON today at info(at)CERTON(dot)com or visit their web site at http://www.CERTON.com to see how CERTON can help you.