Vector Software: data and control coupling verification capability in VectorCAST

Vector Software announced the initial release of VectorCAST/Coupling. VectorCAST/Coupling provides data and control coupling verification for C and C++ source files. Coupling verification is mandatory for safety-critical avionics software development according to both RTCA DO-178B and DO-178C.

The intent of coupling analysis is to prove that the control and data flow between architectural components in the implementation match what was intended by the design, and to prove that these flows have been tested. DO-178B requires applicants to identify couples in the design and to verify that only those couples exist in the implementation. DO-178C additionally requires applicants to verify that the couples have been exercised during requirements-based functional testing.

These reports are extremely time-consuming to generate. VectorCAST/Coupling automates the process, providing greater efficiency and faster time to market benefits and generates the Couples Report and Coupling Coverage Report required according to the DO-178C specification.

VectorCAST/Coupling supports the requirements of DO-178B/C using a combination of static analysis to identify the couples in a code base and run-time verification of the couples during application execution. VectorCAST/Coupling is used in conjunction with an existing VectorCAST/QA or VectorCAST/Cover project. VectorCAST/Coupling is offered as an add-on in the latest release of the VectorCAST test automation platform.

 


WSI's OLED Professional innovations create more value for You.

WSI are the PMOLED manufacturer and our factory located in Chun-Nan in Taiwan. Our products are the market leader and pioneer in PMOLED module, including the monochrome, area colors and full color one...


SKIPPER UBT21 - a Bluetooth 4.0 USB serial adapter for industrial and medical use

SKIPPER UBT21 is a Bluetooth 4.0 USB serial adapter for industrial and medical use. It incorporates a Bluetooth Dual-Mode Stack, supports ranges of up to 300 meters and transferrates of 720 kbit/s (ne...


Three of a kind - Versatility based on Low Power ARM Cortex-A15

At this year's Embedded World, MEN has presented three low power, ARM Cortex-A15-based solutions on different form factors: a VMEbus SBC, an industrial box PC and a COM Express Mini module. All so...


Enabling Embedded IoT

Eurotech, a long-time leading provider of embedded systems and a global leader in IoT enablement, showed its new modules and Multi-service IoT Gateways at Embedded World 2017. The newly introduced Eu...


PLS’ UDE and new UAD2next allow more powerful trace analysis of embedded multicore systems

The new Universal Debug Engine 4.8 from PLS Development Tools offers a bunch of new and improved features for trace analysis of embedded multicore systems. With the new access device UAD2next PLS cont...


Disruptive technologies

Rahman Jamal, Global Technology & Marketing Director, National Instruments, talks about disruptive technologies in the consumer world, but also in measurement, automation, and the embedded industr...


AdaCore Announces Availability of QGen Debugger at Embedded World 2017

Jose Ruiz, technical lead at AdaCore for the company's QGen automatic code generator toolset for model-based development, discusses that product and explains what differentiates it from other prod...


SECO IoT roadmap: from the proof of concept to the market

During Embedded World 2017 Gianluca Venere, SECO Director of Global Sales, leads us to discover the company's Industrial IoT roadmap showcased at SECO's main booth, along with the latest UDOO ...


Internet of Chocolate

HCC show off an embedded chocolate vending machine using MQTT to connect to a broker in the cloud. There is an important message behind this cool demo – security and reliability of embedded soft...