|
|
Details: |
|
|
Provides embedded-software design automation tools, software validation services, and training.
|
URL: |
http://www.reactive-systems.com/
|
Title: |
Reactis: Model-Based Testing and Validation |
Image: |
|
Description: |
Build better control software faster with model-based testing using Reactis. Reactis Tester generates test suites from Simulink and Stateflow models. Reactis Simulator enables users to execute and extend Tester-generated tests. Reactis Validator checks for violations of requirements in Simulink and Stateflow models. |
Specialized in: |
Testing
-
Software
-
Validation
-
Embedded
|
|
|
Related Sites |
|
Ampersand (Popularity: ): Develops embedded systems and control software for real-time operating systems such as VxWorks, LynxOS, and MC/OS.
Datalight (Popularity: ): Develops embedded system software such as ROM-DOS, a compact DOS operating system, Sockets embedded TCP/IP, and FlashFX flash media manager.
Virtio (Popularity: ): Creates and distributes Virtual Platforms embedded systems emulators for software development.
Softbaugh, Inc. (Popularity: ): Specializes in custom software, firmware, and hardware development.
Cigol Controls Limited (Popularity: ): Embedded hardware and software design services. Based in the UK.
Applied Microsystems Corporation (Popularity: ): Specializing in software visibility and analysis, embedded system design, debug, and testing.
Ertos (Popularity: ): Real time operating system vendor providing tools for development on the embedded Intel 8086 (and compatible).
IAR Systems AB (Popularity: ): Company producing software tools for embedded systems. Product information, technical support, events and demo downloads.
Ashling Microsystems (Popularity: ): Designs and manufactures in-circuit and JTAG/BDM emulators, source-level debuggers, Smart Card development tools and systems.
Kernelworks (Popularity: ): A provider of consulting services and software solutions for real-time embedded systems. Specializes in Wind River Systems products including vxWorks ...
|
|
Popular Sites |
|
Cigol Controls Limited (Popularity: ): Embedded hardware and software design services. Based in the UK.
InterNiche Technologies (Popularity: ): A provider of embedded software, allowing manufacturers to quickly enable their products with TCP/IP, PPP, SNMP, WebServer and embedded WebBrowsers.
Ertos (Popularity: ): Real time operating system vendor providing tools for development on the embedded Intel 8086 (and compatible).
Kernelworks (Popularity: ): A provider of consulting services and software solutions for real-time embedded systems. Specializes in Wind River Systems products including vxWorks ...
AbsInt (Popularity: ): Provides software products and services in the areas of compiler technology, static program analysis, worst case execution time prediction, timing ...
|
|
Related Press |
|
Families Should Make New Year's Resolutions Too (Popularity: ): New Year's is usually a time for making personal resolutions, but families can use the turning of the calendar year ...
TractorLife.com Webinar Will Help Farmers Understand How New Tax Regulations Impact Their Operations (Popularity: ): CLEVELAND, Oct. 10, 2011 -- TractorLife.com, a website that helps farmers maintain and extend the operating lives of their tractors, ...
Qwest Purchases Secure64 Domain Name System Software (Popularity: ): Secure64 Software Corporation announced today that Qwest Communications, Inc. is quickly implementing the company's Secure64 DNS Signer and Secure64 DNS ...
The SI Names Brett Dody to Lead Intelligence Systems Group (Popularity: ): CHANTILLY, Va., Aug. 17, 2011 -- The SI Organization, Inc. (the SI) has named Brett Dody as the vice president ...
General Dynamics Wins Cisco Federal Systems Integrator of the Year Award at Cisco Partner Summit (Popularity: ): General Dynamics C4 Systems and General Dynamics Information Technology announced today that the companies received a Cisco Partner Summit regional ...
|
|
Related Articles |
|
|
|