The tools and expertise to get software right first time

For the past 10 years, Emenda has
provided the tools and expertise to help
developers build more reliable and more
secure software, more efficiently.
Harnessing innovative and leading-edge
technology, Emenda delivers effective
solutions that will accelerate the development
of safety- and mission-critical software
systems, and establish compliance
with quality and security standards.
Our deep industry-specific knowledge of
safety standards, related verification and
validation activities and tool qualification
requirements include: Automotive (ISO
26262), Aeronautics (DO-178B/C), Industrial
(IEC 61508), Nuclear (IEC 60880), Rail (EN
51028) and Medical (IEC 62304, FDA).
The tools and
expertise to get
software right
first time
www.emenda.eu
Static source code analysis and review
Version management and collaboration
Klocwork provides a source code analysis environment
enabling comprehensive detection of critical security
vulnerabilities, quality defects and coding standards
violations quickly and accurately.
As the software development processes themselves
are becoming more complex, teams are becoming
more geographically dispersed, and the number and
variety of components making up modern systems are
growing rapidly, there is a desperate need for greater
control and collaboration of the artefacts making up the
systems and related deliverables. This is by no means
a simple task and there is also the topic of security.
Klocwork has out of the box support for a range of
industrially and internationally recognized coding
standards, including MISRA C and C++, CWE, CERT,
DISA-STIG, and more.
The Klocwork analysis engine is the culmination of
over 15 years of static analysis research. At the core
of its technology is the ability to monitor the lifecycles
of objects and infer their runtime behaviour without
actually executing the code. This allows a broad range of
quality, reliability, security, and maintainability issues to
be identified with high accuracy.
At the developer desktop, Klocwork has the ability
to operate from an IDE, text editor, CI platform or
command line interface. It provides continuous ‘on-thefly’ analysis of developers’ code, allowing any defective
code to be instantly rectified.
Enterprise grade, inter-procedural, control- and dataflow source code analysis, optimally left shifted.
Perforce has a proven record of developing the most
advanced source code management solutions that
address the real needs of organizations developing
software systems, and today provide a suite of tools
that make all of this complexity manageable.
Source Visualisation and Metrics
Understand does for your code what Google Analytics
does for website data. It makes it your code visual, easier
to explore and comprehend.
Understand is for developers tasked with maintaining
safety critical code written by other developers. It is a
static analysis tool that makes code comprehension
easy through great visualizations and metrics.
Complete code enlightenment.
Unit and Integration testing,
coverage analysis
Designed to eliminate the need to manually
develop test code, VectorCAST/C++ is an
integrated software test solution that significantly
reduces the time, effort and cost associated
with testing C/C++ software components for
validating safety- and mission-critical software.
Key features and benefits include: complete testharness construction for unit and integration testing,
test execution playback for debugging, automatic tests
based on decision paths, regression testing, support
for all major compilers, code-coverage analysis, test
execution from GUI or scripts, support for agile and
test-driven development, automatic creation of stubs
and drivers, coverage by analysis for infeasible paths,
and comprehensive test management features,
including test case reruns based on code changes.
Architectural visualisation
and enforcement
The Lattix toolset allows you to create dependency
models of your systems, including applications,
databases, services, and configuration files to facilitate
effective management of your software architecture.
Lattix Architect can analyse your architecture in detail,
edit the structure to create what-if and should-be
architectures, and create design rules to formalize
and communicate that architecture to your entire
development organization. Lattix Analyst allows you to
map your dependency models to actual code, perform
impact analysis and rule verification.
Conquer software complexity.
T: +44 (0) 1793 731 312 E: [email protected]
UK | Germany | France |Switzerland |Sweden |China | USA
www.emenda.eu