NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Robust Software Engineering Presents the CoCoSim Tool to Boeing's Model-Based Community of Practice
Intelligent Systems Division Banner

Robust Software Engineering Presents the CoCoSim Tool to Boeing's Model-Based Community of Practice

On October 1st, Hamza Bourbouh, a researcher in the Robust Software Engineering group, presented the CoCoSim Simulink formal analysis tool to the Model-based Community of Practice (CoP) at Boeing via virtual meeting. The 1.5-hour presentation reached 85 participants across the Boeing Commercial Airplanes (BCA), Boeing Defense, Space & Security (BDS), and Boeing Research & Technology (BR&T) divisions. The presentation included demonstrations on simple examples, how to specify requirements in Simulink, generation of Modified Condition/Decision Coverage (MC/DC) testing, and the generation of abstraction to support compositional verification (which allows the tool to scale to large models). The presentation was hosted by the Model-based CoP at Boeing, which is very interested in any tool that helps with the assurance of Simulink/MATLAB models. The presentation was integrated into their Boeing Distinguished Researcher and Scholar Seminar Series led by John Dong, Senior Technical Fellow at Boeing. Talks are underway to see how NASA can transfer CoCoSim to Boeing so that they can evaluate it with their own case studies.

BACKGROUND: CoCoSim is a formal analysis tool for Simulink models; it can automatically verify that a formalized safety requirement holds for a given Simulink model. Results of the analysis are fed directly back to the Simulink tool, thus allowing users to visualize results in the environment that they are familiar with.

NASA PROGRAM FUNDING: System Wide Safety (SWS) project, Aeronautics Research Mission Directorate (ARMD)

POINT OF CONTACT: Guillaume Brat, guillaume.p.brat@nasa.gov

First Gov logo
NASA Logo - nasa.gov