We are happy to announce the release of Reactis V2010.2. The new version includes a number of new features, enhancements, and bug fixes. Some highlights are as follows.
Reactis lets you generate tests from a Simulink model or check requirements of a model. The Reactis for C Plugin integrates seamlessly with Reactis for white-box testing of C code in a model (S-Functions or Stateflow custom code). An upcoming new product Reactis for C will offer similar functionality for C code not contained in a model. We are pleased to announce that Reactis for C is now in beta test. Look for the product launch in Q1 2011. Reactis for C lets you:
More information is available in a recently updated white paper Finding Bugs in C Code with Reactis for C.
A beta version of Reactis for C is now available from the Reactis User Pages. Please give it a try.
Reactive Systems, Inc. has joined the TargetLink Partner Program of dSPACE, a leading producer of both hardware and software engineering tools for developing and testing mechatronic control systems. The TargetLink production code generator is a key component of model-based design processes around the world. dSPACE established the partner program to offer its customers complimentary best-in-class third-party tools to support code generation with TargetLink. More...
We are happy to announce two new distribution agreements.
I.S.I.T. will distribute Reactis in France. The engineering firm, founded in 1991 and located on the outskirts of Toulouse, offers products, consulting, and training for embedded real-time applications. More...
MDS Technology will distribute Reactis in Korea. The embedded solutions firm, based in Seoul, offers products, consulting, and training for embedded real-time applications to the automotive, aerospace, defense, and mobile industries. MDS Technology, founded in 1994, is a publicly traded company listed on the KOSDAQ. Almost 80% of its 200 employees have an engineering background. MDS serves about 1000 customer companies including Samsung, LG, Hyundai, SK, and KT. More...
A new 8-minute video describes how the Reactis for C Plugin integrates seamlessly with Reactis to help you test the C code in your Simulink model (S-Functions or Stateflow custom code). The automatic generation of comprehensive tests from C code lets you easily uncover a variety of runtime errors including memory errors, overflows, and divide-by-zeros. When an error is detected, you can replay a concrete execution sequence leading to the problem in order to understand, diagnose, and fix the bug. Reactis Simulator offers an advanced debug environment that offers coverage tracking (Statement, Decision, Condition, and MC/DC), data value tracking (with scopes, watched variables, and hovering), and even reverse execution.
The Reactis Team