| Products |
Software Engineering products |
|
|
Embedded Systems products |
|
|
Device Automation Testing Tools |
|
|
|
|
 |
|
|
Index：Home
>
Solution |
|
VisionMC provides the
total solution for the realtime embedded system and software
development. The total solution includes the system and software
analysis, hardware & software development, code generator
and software testing. VisionMC can offer the technical
training and consultant service. it includes: |
|
░Software
Engineering Solutions☼ |
| |
|
Most of the
embedded systems are time critical. It is not
possible to use traditonal software
instrumentation method to do software testing
for such systems.
RTInsight is
a hardware assisted software testing tools that can
be used for realtime embedded
systems software testing.It integrates with LDRA
software testing
tools and provides code coverage,
Software-Performance-Analysis (SPA),
Stack-Overflow for monitoring, variable
monitoring and realtime trace as well. |
|
|
|
| |
|
Software quality is
very important to bussiness critical or
mission/safety critical sysems. LDRA Testbed/TBrun
is a unique quality
control tool that provides powerful source code
testing and analysis facilities for the
validation and verification of software
applications. It is invaluable where computer
software is required to be reliable, rugged and
as error free as possible and its use brings
substantial time, cost and efficiency savings.
It is a powerful and fully integrated tool
suite, which enables advanced software analysis
techniques to be applied at key stages of the
development lifecycle. |
|
|
|
| |
|
There're more
and more critical and tough projects in
Aero-space, national defence, communication and
commercial areas to challenge today's software
industry for more reliability, compatibility and
safety. As any failure in systems can cause
tremendous loss even human lives. This is why we
must test it precisely to ensure the
backup system works properly as stated.
To ensure
whole system will response these abnormal
events, you need to break these tranditional
rule in testing, and the fault Injection can
meet that requirements. |
|
|
|
|
|
| |
ESTEREL products enable
electronic system and
embedded software engineers
to create unambiguous
specifications that result
in Correct-by-Construction
and fully automated
implementations. This type
of formal and automated
specification-to-implementation
flow can reduce verification
time and cost by as much as
50%.
EXTEREL products also solve
the "late change" problem by
allowing customers to add
their changes at the
specification level and then
automate the entire
specification-to-implementation
chain. Customers have
reported up to 4X schedule
savings compared to manual
and semi-automated methods.
SCADE Suite™ is the
standard design tool used
extensively by avionics
market leaders for the
production of safety- and
business-critical embedded
software.
SCADE Drive™ is the
emerging standard for
safety- and quality-critical
automotive designs.
Esterel Studio™ is a
leading-edge product for
chip design, validation and
verification.
|
|
|
|
| |
|
Perennial
develops and licenses compiler validation test
suites for C, C++, Embedded C++, and Java™
languages. Perennial is also an Accredited
Conformance Test Laboratory and provides
branding/certification services for C, C++ and
POSIX®.
Over 200
computer system manufacturers, compiler
developers, independent test laboratories,
government agencies, and large-scale end users
around the world have used Perennial Validation
Suites and Conformance Testing Services as part
of their conformance assessment strategy. |
|
|
|
| |
|
STG offers
Structured Analysis tools for Systems and
Software Requirements Analysis and Procedural
Language tools for software design.
STG offers
outstanding classes and consulting in Systems
and Software Processes, Requirements Analysis
and Architecture.
The company's
high performance, cost-effective Axiom products
have gained wide acceptance among software
engineers who recognize the value of thorough
requirements analysis, validation and
documentation. AxiomSys and AxiomDsn are used in
industries such as aerospace, defense,
communications, transportation, industrial
control and medical instrumentation. |
|
|
|
| |
ARTiSAN Software is
the world's leading provider of
UML modeling tools for real-time embedded systems
modeling and software engineering for designing mission
critical and safety critical applications. Our customers
are the leaders in their fields, which include
aerospace, defense, automotive, medical electronics,
consumer electronics, telecommunications, railway,
industrial automation, and others. ARTiSAN is the ONLY
vendor that offers an implementation of the current
specification of SysML. |
 |
|
|
|
░Embedded
Systems Development Tools☼ |
| |
|
The Rad Hard
32-bit SPARC Embedded Processor (TSC695F), ERC32
Single-chip, is a highly integrated,
high-performance 32-bit RISC embedded processor
implementing the SPARC architecture V7
specification.
VisionMC has
developed the total solution for the ERC32:
-
ERC32
Evaluation board
-
ERC32
Realtime Emulator (ICE)
-
ERC32
Realtime Fault Injection
-
ERC32
Readtime Testing Suite (RTInsight for ER32)
|
|
|
|
| |
-
ARMice is
a powerful ARM read time emulator, It can
support ARM7, ARM9
-
High-Speed download: 800Kbyte/s.
-
Support
almost all Flash PROM programming.
-
i-Butoon
function: It will be very useful for mass
Flash PROM programming.
-
Standalone function: It Builds in a ARM7 CPU
as the EV board, SW engineer can use it to
develop the SW.
-
Source
level debug under Windows/Linux(GDB)
|
|
|
|
|
Wind River is
the global leader in device software
optimization (DSO). Wind River enables companies
to develop and run software faster, better, at a
lower cost and more reliably. Wind River
Platforms tightly integrate a rich set of
market-leading operating systems, development
tools and middleware with services to provide a
complete foundation that meets the specific
requirements of a vertical market. Wind River's
products and professional services are used in
multiple markets including aerospace and
defense, automotive, digital consumer,
industrial, and network infrastructure.
Companies from around the world turn to Wind
River to create the most reliable products and
to accelerate their time to market. |
|
|
|
|
|
|
