New link uses static code analysis to automatically detect design errors
BOSTON, April 4 /PRNewswire/ -- Embedded Systems Conference, Silicon
Valley -- PolySpace Technologies today announced that the company has
successfully collaborated with The MathWorks to offer an integration link
between Simulink(R) and PolySpace(R) solutions for the automatic detection of
run-time errors. PolySpace Technologies also joined The MathWorks Connections
Program. The new link will enable embedded software developers to analyze code
generated from Simulink and automatically detect design errors such as poor
scaling choices, dictionary inconsistencies, and other design issues in the
model.
Thanks to the link between PolySpace error detection engine and Simulink,
the leading platform for Model-Based Design and embedded system development,
developers of embedded software can seamlessly launch PolySpace analyses on
code automatically generated by Real-Time Workshop Embedded Coder from
Simulink models. The link also enables users to navigate immediately from any
detected flaw back to the relevant section of the Simulink model, which
greatly facilitates design edits, debugging, and roundtrip engineering. This
integration also supports hand-generated or legacy code that has been
encapsulated in a Simulink model and generated as part of a larger
application.
"This integration with the PolySpace tools provides significant value for
MathWorks customers generating production code from our tools," said Jim Tung,
MathWorks Fellow at The MathWorks. "The PolySpace tools complement Simulink,
and the integration helps our customers to ensure a very high level of
quality. A development process based on Simulink is a guarantee of the
functional correctness of the application while PolySpace tools enable
software engineers and test engineers to automatically and independently
verify the robustness and structure of the generated code. Thanks to the
coupling of both solutions, automatic code generators will be even more widely
adopted by embedded software developers."
"The link with Simulink has been developed following the positive feedback
from many clients that wanted to fully leverage Simulink advanced features for
software Model-Based Design while obtaining a guarantee that the
auto-generated code will be reliable under all operating conditions," said
Patrick Munier, Vice-President of Marketing, PolySpace Technologies.
"Model-Based Design and automatic code generation are being increasingly
adopted by embedded software developers in safety critical industries. Thanks
to our partnership with The MathWorks, we are able to help our clients wishing
to transition to Model-Based Design by enabling them with a seamless and
powerful solution for the verification of their automatically generated
applications."
About PolySpace Technologies
PolySpace Technologies empowers companies building embedded software
applications with the market leading solution for the automatic detection of
run-time errors at compile time. It delivers an exhaustive analysis of the
code, which accelerates software development, streamlines conventional
software testing and helps improve the reliability of software applications.
PolySpace solutions are currently used by a premier roster of Fortune 500
companies located in North America, Europe and Asia, in such industries as
Automotive, Defense, Aerospace, Transports, Industrial Controls, Medical
Devices and Consumer Electronics.
For further details: http://www.polyspace.com
Steve Barriault
PolySpace Technologies
781-569-0521
SOURCE PolySpace Technologies
 back to top
Related links:
http://www.polyspace.com
CONTACT:
Steve Barriault of PolySpace Technologies,
+1-781-569-0521
|
