Reactive Systems
Reactive Systems sells the Reactis tool suite for automated testing, verification, and validation of embedded software developed in Simulink and C, targeted at safety-critical automotive, aerospace, and medical-device engineering organizations. The platform uses patented guided simulation to generate tests and track coverage including MC/DC, and is TÜV SÜD certified for ISO 26262 up to ASIL D.
- Company typePrivate
- Founded2002
- HeadquartersCary, United States
- Headcount1–10
- GTM typeB2B
- OfferingSoftware
What Reactive Systems does
Reactive Systems, Inc. is a privately held US software company headquartered in Cary, North Carolina, founded in 1999-2002, that sells the Reactis tool suite for automated testing, simulation, and verification of embedded software developed with MathWorks Simulink/Stateflow and C code. The company's core technology is a patented method called guided simulation, which automatically generates test data from models while tracking structural coverage metrics (Statement, Decision, Condition, MC/DC, MCC) and using uncovered targets to drive subsequent test creation. The product line comprises three core components, Reactis Tester, Reactis Simulator, and Reactis Validator, delivered via Reactis for Simulink (the main platform), Reactis for C (standalone), Reactis for C Plugin, Reactis for EML Plugin, and Reactis Model Inspector. The platform integrates natively with MathWorks Simulink/Stateflow and Embedded Coder, dSPACE TargetLink, AUTOSAR Classic components, and CI/CD pipelines (GitLab, Jenkins), and supports back-to-back testing between Simulink models and generated C code.
The company is TÜV SÜD certified for ISO 26262 safety-related development up to ASIL D, positioning the tool for adoption in automotive functional safety programs, with adjacent coverage of DO-178C in aerospace and FDA compliance workflows in medical devices. Reactive Systems generates revenue primarily through enterprise software licensing of the Reactis suite, distributed directly to engineering organizations in safety-critical industries, supported by free trials, demos with sales engineers, a twice-yearly release cadence (June and December), and a low-volume newsletter archive dating to 2002. Customer references include Nissan and Opel Automobile GmbH for embedded-software testing, and the company reports 120+ enterprise customers worldwide and 25+ years of continuous operation under CEO Steve Sims (since August 2008).
Reactive Systems firmographics
Firmographics- Name
- Reactive Systems
- Legal name
- Reactive Systems, Inc.
- Website
- https://reactive-systems.com
- Company type
- Private
- Founded year
- 2002
- Operating status
- Operating
- Headcount range
- 1–10 employees
- Short description
- Reactive Systems sells the Reactis tool suite for automated testing, verification, and validation of embedded software developed in Simulink and C, targeted at safety-critical automotive, aerospace, and medical-device engineering organizations. The platform uses patented guided simulation to generate tests and track coverage including MC/DC, and is TÜV SÜD certified for ISO 26262 up to ASIL D.
- Ownership category
- akta.pro rank
Reactive Systems industry classification
Industry- Product category
- Embedded Software Testing & Verification Tools
- NAICS
- Testing Laboratories and Services (541380), Custom Computer Programming Services (541511)
- SIC
- Services-Testing Laboratories (8734), Services-Prepackaged Software (7372)
- akta.pro primary industry
- Enterprise Application Testing & QA Services (BPAEAGAI)
Keywords
Where Reactive Systems is headquartered
LocationHeadquarters
- HQ city
- Cary
- HQ country
- United States
- HQ region
- North America
Offices1 record
Markets served
Reactive Systems business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Technology or R&D, Personnel, Marketing or Sales, Operations
Revenue model
- Software Licenses: Reactis is sold as a software tool suite with components including Reactis for Simulink, Reactis for C (standalone and plugin versions), Reactis for EML Plugin, and Reactis Model Inspector. The perpetual license model is indicated by version-based releases (e.g., V2026) with patch releases between major versions.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Freemium | Pay-as-you-go | Free Trial Available |
Go-to-market motion1 record
Distribution channels1 record
Marketing channels6 records
Reactive Systems product offering
Product offeringCore offering
Reactive Systems sells the Reactis tool suite, a model-based testing and verification platform that automatically generates test suites for Simulink/Stateflow models and C code using patented guided simulation technology. Products include Reactis for Simulink, the standalone Reactis for C, plugins for testing C and Embedded MATLAB code, and the lightweight Reactis Model Inspector, with TÜV SÜD ISO 26262 ASIL D certification for safety-critical use cases.
Product overview
Reactive Systems offers the Reactis tool suite, a comprehensive testing and verification platform for model-based design. The core product is Reactis for Simulink, which processes Simulink/Stateflow models for automated test generation, simulation, and validation. This integrates with two plugins: the Reactis for C Plugin for testing C code within Simulink models, and the Reactis for EML Plugin for testing Embedded MATLAB code. A standalone Reactis for C product tests independent C programs outside of Simulink. Reactis Model Inspector provides a lightweight Simulink viewing option. All products share three core components—Tester (automated test generation), Simulator (execution/debugging), and Validator (requirement checking)—enabling end-to-end verification of embedded software from models to implementation code.
Differentiator
Problem solved
Functional benefit
Brands
- Reactis: Primary product brand for automated testing and verification tools for Simulink models and C code, including Reactis for Simulink, Reactis for C, Reactis Model Inspector, and related plugins.
Products and services
- Reactis for Simulink Flagship product that reads and processes Simulink .slx files, providing automated test generation, simulation, and validation of Simulink and Stateflow models for embedded software developers in safety-critical industries.
- Reactis for C (standalone) Standalone product for testing, simulation, and validation of stand-alone C programs, including test generation, runtime error detection, and coverage tracking.
- Reactis for C Plugin Plugin that integrates with Reactis for Simulink to extend white-box testing to C code portions of models, including C Caller blocks, S-Functions, and Stateflow custom C code.
- Reactis for EML Plugin Plugin that integrates with Reactis for Simulink to extend white-box testing to Embedded MATLAB (EML) code in MATLAB Function blocks, truth tables, Stateflow state actions, or external .m files.
- Reactis Model Inspector Low-cost, lightweight Simulink viewer that lets users explore models and Reactis testing artifacts without generating tests or editing models.
Quantifiable outcome
- Achieves very high levels of MC/DC coverage fully automatically according to Nissan
- +2 more outcomes
Companies that use Reactive Systems
Customer profileNamed customers2 records
Segments3 records
Ideal customer profiles3 records
Reactive Systems technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- Yes
- API docs
- API detail
Core technology
AI maturity
App detail
Integration5 records
AI capability2 records
Feature9 records
Reactive Systems partnerships and signals
Strategic signalPartnerships
Five partnerships are on record, tiered core.
- MathWorkscoreMathWorks is the developer of MATLAB, Simulink, and Stateflow - the platform that Reactis is built to test and verify. Reactis reads and processes .slx files created in the Simulink environment. This is a fundamental technology integration rather than a commercial partnership; Reactis operates as an independent verification tool for MathWorks users.
- AUTOSAR PartnershipcoreReactis provides comprehensive support for AUTOSAR (Automotive Open System Architecture) standard. The tool includes an AUTOSAR Import Wizard that automates testing of AUTOSAR Classic components by importing ARXML files, generating minimal RTE, creating C harnesses, and generating test suites.
- dSPACE (TargetLink)coreReactis offers integration with dSPACE TargetLink, a production code generator for Simulink. The company provides documentation on using Reactis with TargetLink models and TargetLink-generated C code, enabling back-to-back testing and verification.
- Simulink Embedded CodercoreReactis supports linking with Simulink Embedded Coder-generated code. When C code is generated from Simulink models using Embedded Coder, Reactis can establish bidirectional highlighting between model elements and corresponding C code, with synchronized breakpoints.
- TÜV SÜDcoreTÜV SÜD is the certification body that certified Reactis as qualified for ISO 26262 safety-related development up to ASIL D. This certification is critical for automotive safety compliance.
Scale indicators3 records
Recent moves6 records
Expansion highlights5 records
Reactive Systems competitors and assessment
Company assessmentDirect peers
- LDRA: LDRA provides software testing, verification, and standards-compliance tools (MISRA, DO-178C, IEC 61508, ISO 26262) for safety-critical embedded systems in aerospace, automotive, medical, and industrial. Direct competitor to Reactis in C code analysis and safety-standard coverage, though LDRA's footprint skews more toward static analysis and broader language support.
- Vector Informatik: Vector Informatik offers embedded software tools with strong focus on AUTOSAR, ECU development, and automotive testing. Overlaps directly with Reactis in AUTOSAR component testing, model-based development, and automotive verification at OEMs and Tier-1 suppliers.
- Parasoft: Parasoft provides automated software testing tools including unit testing, static analysis, and compliance reporting for safety-critical development. Direct peer to Reactis in C code test generation and standards compliance, with broader enterprise reach across industries.
- BTC EmbeddedSystems: BTC EmbeddedSystems specializes in software verification tools for safety-critical systems, including model checking, unit testing, and ISO 26262 qualification. Closely comparable niche competitor addressing SimuLink-based model verification and embedded code testing in automotive.
- dSPACE: dSPACE provides hardware-in-the-loop simulation, production code generation (TargetLink), and validation tools for embedded automotive software. Strongly comparable as Reactis explicitly integrates with TargetLink, and both serve automotive embedded verification customers.
Others
- MathWorks: MathWorks develops MATLAB/Simulink/Stateflow, the model-based design platform that Reactis validates. Reactis is built on top of Simulink (.slx files); MathWorks' verification offerings (Simulink Test, SimCheck) are adjacent rather than directly competitive but represent an indirect substitution risk.
Broad incumbents
- Synopsys (Software Integrity Group): Synopsys offers static analysis, code testing, and security/quality tools across the software development lifecycle. Broader player whose code analysis and verification portfolio overlaps with Reactis in safety-critical industries, especially for automotive and aerospace customers.
- Siemens EDA (Tessent): Siemens EDA provides electronic design automation and embedded software verification tools, including functional safety solutions for automotive and industrial. Comparable at the embedded systems verification layer with much broader portfolio reach.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat4 records
Key risks7 records
Key highlights7 records
Customer concentration
Reactive Systems social profiles
Digital presenceReactive Systems compliance and trust
Trust signalCompliance2 records
Reactive Systems financial estimates
Financial estimateRevenue estimate
Valuation estimate
Reactive Systems leadership team
Management profileNumber of profiles
Profiles1 record
Reactive Systems funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Reactive Systems M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Reactive Systems
What does Reactive Systems do?
Reactive Systems sells the Reactis tool suite, a model-based testing and verification platform that automatically generates test suites for Simulink/Stateflow models and C code using patented guided simulation technology. Products include Reactis for Simulink, the standalone Reactis for C, plugins for testing C and Embedded MATLAB code, and the lightweight Reactis Model Inspector, with TÜV SÜD ISO 26262 ASIL D certification for safety-critical use cases.
Is Reactive Systems a public or private company?
Reactive Systems is a private company. It is classified as management employee owned and is currently operating.
When was Reactive Systems founded?
Reactive Systems was founded in 2002. It employs 1 to 10 people.
Where is Reactive Systems based?
Reactive Systems is headquartered in Cary, United States, in the North America region.
How does Reactive Systems make money?
One revenue line is on record: software Licenses.
Who are Reactive Systems's main competitors?
Direct peers on record are LDRA, Vector Informatik, Parasoft, BTC EmbeddedSystems and dSPACE. MathWorks is listed as an others. Broad incumbents are Synopsys (Software Integrity Group) and Siemens EDA (Tessent).
Does Reactive Systems have an API?
Yes. The Reactis for C API enables users to access tool functionality from MATLAB or from C programs. The API includes functions such as rcOpen, rcTester, rcSimOpen, rcSimExportSuite, rcClose, rcGetCoverageCriteria, and more. API files include reactis4c.h header file, libreactis4c.lib library file, libreactis.dll dynamic library, and example program apitest4c.c. The Reactis for Simulink API is also available on Linux as of V2026. Developer documentation is at reactive-systems.com/doc/reactis-for-c/api.
What industry is Reactive Systems in?
Reactive Systems's product category is Embedded Software Testing & Verification Tools. Its primary akta.pro industry code is BPAEAGAI, Enterprise Application Testing & QA Services. Its NAICS code is 541380 and its SIC code is 8734.