| EDAstar™ is Edaptive’s complete solution to
uniquely capture & validate requirements. With graphical editing tools, EDAstar
based solutions can be used to rapidly create high level, high confidence,
design concepts with automatically generated tests to verify implementation in
a fraction of the time needed by current methods. Further, EDAstar can be used for simulating requirements, assessing
risks and checking their consistency and correctness before expensive
mistakes are made in the system design and development. |
 | | In addition, EDAstar
generated tests, monitors, and assertions can be used to verify and validate a
design or implementation against its specification. EDAstar complements
and bridges gaps in existing Commercial-Off-The-Shelf (COTS) tools based design
flows and fits in the design flow between tools to capture English requirements
and tools to create detailed specifications and design. Furthermore, EDAstar
tools and models can be used as the framework and semantic glue, respectively,
for integrating multi-disciplinary models, tools and methods for modeling and
simulation of multi-disciplinary System of Systems (SoS). |
EDAshield™
is a collection of
methods and reusable software and hardware assets for system security and can be
used to assure trustworthiness as well as generate anti-tamper logic to protect
hardware/software against reverse engineering. Furthermore, EDAshield
can be used to diagnose, predict, and correct errors after a system has been
deployed using EDAstar created models.
As part of its services offering,
Edaptive can develop custom model libraries, analysis routines and hardware/software
to enable our partners and customers to reap the benefits of EDAstar
and EDAshield. Services can also be obtained as
an ODC item under a government contract using our commercial catalog as the
basis of labor pricing. |
