SAN JOSE, CA, Design West─April 23, 2013─GrammaTech, Inc., a leading manufacturer of software-analysis tools, today announced that their flagship static analysis tool, CodeSonar, is now integrated with the Eclipse IDE. This integration provides developers with the ability to correct programming defects found by CodeSonar without leaving Eclipse.

Developers can use CodeSonar’s Eclipse plug-in to run a CodeSonar analysis from within Eclipse, allowing them to examine their code on the desktop and fix issues before check-in. The new capability will be provided at no additional charge.

“Eclipse is one of the most popular IDEs and many of our customers have rolled it out company-wide as their standard IDE,” said Paul Anderson, vice president of Engineering at GrammaTech. “With this integration, CodeSonar-generated warnings are displayed in the Eclipse ‘problems view.’ Users can navigate seamlessly from a CodeSonar warning to the actual problematic code and code can be fixed immediately.”

Results are automatically synchronized with a central server running at the customer site, enabling the development team to manage results in a coordinated way. For example, when a user categorizes a defect warning as a high-priority issue, the categorization is propagated to the rest of the users. Users can also compare the results of different analysis runs, for instance, comparing an analysis performed locally to a nightly build analysis, to focus on newly-introduced coding errors.

The Eclipse IDE is used by millions of developers creating software in a variety of languages. Many manufacturers of software development tools have built their tools on the Eclipse platform. The project was founded by IBM in 2001 and is now managed by the Eclipse Foundation, a vendor-neutral, nonprofit organization.

Pricing and Availability

The CodeSonar Eclipse plug-in is expected to be available late this summer. Customers with a current software maintenance contract will receive it at no additional charge.

About GrammaTech and CodeSonar

GrammaTech’s static analysis tools are used worldwide by Fortune 500 companies, educational institutions, startups, and government agencies. The staff includes 16 PhD experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. The company’s flagship product, CodeSonar, is a sophisticated static analysis tool that performs a whole-program, interprocedural analysis on C/C++, Java and binary code, identifying complex programming bugs that can result in serious reliability or security problems. More information about CodeSonar is available at www.grammatech.com/codesonar.

Engineers and programmers will be invited to prove their coding skills in a competition to be held at The UK Device Developers’ Conference. The “Developers’ Challenge” will offer developers the opportunity to pitch their programming skills against PRQA’s static analysis tool.

The developer with the highest score throughout the event will win a Kindle Paperwhite.

The Device Developers’ Conference is an event for developers of intelligent systems and intelligent devices, targeting engineers involved in Embedded Systems development, Software Development, Electronics Design, Enclosure Design and Manufacturing Services; it will take place at Bristol, Cambridge and Manchester on the 14th, 16th and 22nd May respectively.

The “Developers’ Challenge” is being run by PRQA, a leading company in the field of code analysis tools. PRQA’s software tools offer a close examination of C and C++ code in order to identify problems caused by language usage that is overly complex, non-portable, dangerous or difficult to maintain. Plus, its tools also provide a mechanism for coding standard enforcement and are widely used in industries such as automotive.

“We are very pleased to be supporting this important UK engineering event,” said Fran Buchmann, Senior Marketing Executive at PRQA. “The Developers’ Challenge” will require delegates to review about 50 lines of code, circle the issues and add their comments. The developer that offers the most complete analysis will be declared the winner, after the Manchester event.”

Sponsored by key industry tool and technology vendors, the Device Developers’ Conference is free to engineers and managers working in the technical sector.

“The Conference is shaping up to be a really informative and useful day for engineers in this field,” said Richard Blackburn, Event Organiser. “We are very pleased with the content of the workshops and presentations and the quality of the presenters. We are very sure that engineers will find this Conference enjoyable and informative, and a worthwhile investment of their time.

A key feature of the Device Developers’ Conference is that it is a single day event, which takes place in three locations. This enables engineers to attend with the minimal of travel time and expense. Another key feature is the ½-day technology workshop schedule that enables engineers to receive hands-on training from industry experts.

The companies exhibiting and presenting at The UK Device Developers’ Conference include embedded software provider Wind River, German debug tools company Lauterbach, UK computer board manufacturer Blue Chip Technology Ltd, embedded systems development consultants Pebble Bay and development tools distributor SDC Systems. It is anticipated that up to 30 vendors will be exhibiting to demonstrate and explain their latest tools and technology.

The half-day workshops at this event will include ‘An Introduction to Advanced Debugging Techniques’, ‘An Introduction to Device Driver Development’ and ‘Getting to Grips with the new MISRA C:2012 Standard’.

Presentation titles include ‘Managing The Commercial Use of Linux’ and ‘Developing Device Drivers for Embedded Systems’.

For more information about this event please visit www.device-developer-conference.co.uk

About PRQA

Established in 1985, PRQA is recognised throughout the industry as a pioneer in static analysis, championing automated coding standard inspection and defect detection, delivering its expertise through industry-leading software inspection and standards enforcement technology. PRQA’s industry-leading tools, QA·C, QA·C++ and QA·Verify, offer the closest possible examination of C and C++ code. All contain powerful, proprietary parsing engines combined with deep accurate dataflow, which deliver high fidelity language analysis and comprehension. They identify problems caused by language usage that is dangerous, overly complex, non-portable or difficult to maintain. Plus, they provide a mechanism for coding standard enforcement. PRQA has corporate offices in UK, USA, India, Ireland and Netherlands, complemented by a worldwide distribution network. www.programmingresearch.com.

GrammaTech, Inc., a leading manufacturer of software analysis tools, today announced that the Embedded Microprocessor Benchmark Consortium (EEMBC) has adopted GrammaTech’s static analysis tool, CodeSonar®, to analyze, review and test the robustness of code-based benchmark suites.

The first EEMBC benchmark examined with CodeSonar is the upcoming FPMark™, a comprehensive suite of Floating-Point (FP) benchmarks designed to provide a standardized, industry-wide accepted measure for floating-point performance. FPMark is used to evaluate the capabilities of embedded processors in a wide variety of embedded applications, including audio, automotive and motor control.

The EEMBC workgroup’s goal is to create benchmarks that will expose and highlight the performance gains from innovations in terms of real application performance. “As an industry standard organization, we have little tolerance for faulty benchmark code because so many people use and rely on it,” said Markus Levy, president of EEMBC. “GrammaTech’s CodeSonar was used to avoid potential defects in the FPMark code to ensure a reliable benchmark certification suite.”

“The objective performance data developed by EEMBC makes a constructive and valuable contribution to help embedded system designers select optimal processors for their applications,” said Paul Anderson, VP of Engineering at GrammaTech. “The use of CodeSonar’s tools to further improve their benchmark suite is a testament to CodeSonar’s ability to pinpoint defects faster and with greater precision.”

About EEMBC

EEMBC, the Embedded Microprocessor Benchmark Consortium, develops and certifies real-world benchmarks and benchmark scores to help designers select the right embedded processors for their systems. Every processor submitted for EEMBC benchmarking is tested for parameters representing different workloads and capabilities in communications, networking, consumer, office automation, automotive/industrial,

embedded Java and network storage-related applications. With members including leading semiconductor, intellectual property and compiler companies, EEMBC establishes benchmark standards and provides certified benchmarking results through the EEMBC Technology Center. More information about EEMBC can be found at www.eembc.org.

About GrammaTech and CodeSonar

GrammaTech’s static analysis tools are used worldwide by Fortune 500 companies, educational institutions, startups, and government agencies. The staff includes 16 PhD-level experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. The company’s flagship product, CodeSonar, is a sophisticated static analysis tool that performs a whole-program, interprocedural analysis on C/C++, Java and binary code, identifying complex programming bugs that can result in serious reliability or security problems. More information about GrammaTech and CodeSonar is available at www.grammatech.com.

###

CodeSonar is a registered trademark of GrammaTech, Inc. EEMBC is a registered trademark of the Embedded Microprocessor Benchmark Consortium. All other trademarks are property of their respective companies.

The URL for this release is located at: www.grammatech.com/news/grammatech-helps-eembc-[...]

GrammaTech Sales Contacts:

North America: GrammaTech, Inc., 531 Esty Street, Ithaca, NY 14850, Tel: +1 607-273-7340, Email: info@grammatech.com, Website: www.grammatech.com.

UK, Scandinavia: SCL, Jubilee House, Jubilee Walk, Three Bridges, Crawley, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.

Germany, Austria, Switzerland: Verifysoft Technology GmbH, In der Spoek 10-12, 77656 Offenburg, Germany, Tel: +49(0) 781 127 8118-0, Fax: +49(0) 781 63 920- 29, E-mail: info@verifysoft.com.

France: ISIT, ZA La Menude – 7 rue Andre Marie Ampere, 31830 Plaisance Du Touch, France, Tel: +33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: contact@isit.fr.

Israel: Pertech Embedded Solutions, 10 Zarchin Street, Raanana 43662, Israel, Tel: +972-9-7711418, Email: info@pertech.co.il.

Japan: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan, Tel: +81-3-3493-7981, Fax: +81-3-3493-7993, Email: sales@aicp.co.jp.

Korea: MDS Technology Co., Ltd., 15F., 3FL. Hancom Tower, 49, Daewangpangyo-ro 644 Beon-gil Bundang-gu Seongnam-si, Gyeonggi-do 463-400, Republic of Korea, Tel: +82-31-627-3000, Fax: +82-31-627-3100, Email: grammatech@mdstec.com.

Nürnberg, GERMANY and Hersham, UK, 26th February 2013 / — PRQA | Programming Research, a global leader in static analysis, announces that QA∙C Version 8.1 provides improved enforcement of the CERT C Secure Coding Standard. Using this leading static analysis tool for C environments to enforce the CERT C rules helps developers eliminate insecure coding practices and undefined behaviors, which in turn can lead to vulnerabilities in the code. QA∙C 8.1 provides enforcement of 121 of the 202 statically enforceable CERT C rules, including 17 rules where QA∙C 8.1 is the only static analysis tool to offer coverage.

The CERT C Coding Standard is made up of 228 rules, many of which are based on security flaws discovered in real world code. The standard has been successfully applied in many industries, as effective enforcement of the rules will lead to higher-quality systems that are robust and more resistant to attack.

Full details of the CERT C rules enforced by QA∙C 8.1 are available on the CERT C website at www.securecoding.cert.org/confluence/display/se[...].

About PRQA | PROGRAMMING RESEARCH

Established in 1985, PRQA is recognized throughout the industry as a pioneer in static analysis, championing automated coding standard inspection and defect detection, delivering its expertise through industry-leading software inspection and standards enforcement technology.

PRQA’s industry-leading tools, QA∙C, QA∙C++ and QA∙Verify, offer the closest possible examination of C and C++ code. All contain powerful, proprietary parsing engines combined with deep accurate dataflow which deliver high fidelity language analysis and comprehension. They identify problems caused by language usage that is dangerous, overly complex, non-portable or difficult to maintain. Plus, they provide a mechanism for coding standard enforcement.

PRQA has corporate offices in UK, USA, India, Ireland and Netherlands, complemented by a worldwide distribution network.

NUREMBERG, GERMANY, Embedded World, February 26, 2013–GrammaTech, Inc. a leading manufacturer of software-analysis tools, today unveiled new enhancements to CodeSonar®’s software architecture visualization features. The newest features include a new treemap view designed to allow users to easily see the hierarchical structure of the code in a very information-dense form. The view uses colorization to show the density of defects in modules so users can easily identify the most problematic parts of the code.

The call graph is organized by module structure. Users can drill down to see a greater level of detail, choose different layouts such as treemap, circuit, cluster, flow, radial and other layouts, and attach persistent notes to the diagram. Transitions such as zooming or layout changes are fluid and real-time.

“The visualization capabilities of CodeSonar allow developers to quickly gain an understanding of very large code bases and potential vulnerabilities,” said Paul Anderson, vice president of Engineering at GrammaTech. “CodeSonar visualization scales to tens of millions of lines of code and is designed to show what is appropriate for the current level of abstraction.”

About CodeSonar Visualization

With CodeSonar visualization, users can start at individual functions to gain insight from a bottom-up perspective, annotate nodes and edges with additional information and, overlay the visualization with information on defects and source-code metrics. CodeSonar visualization also includes other program-understanding and navigation features, and supports sharing of diagrams between team members.

Other features allow users to search the graph for functions of interest, and navigate to and from the source code of the program. In addition, the architecture is extensible, so users can generate graphs from other sources, feed them in an XML format to the tool, and see them in the same user interface. CodeSonar visualization works in standard web clients.

CodeSonar has long been the software-analysis tool of choice for embedded developers working on mission-critical applications such as satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space use CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.

About GrammaTech and CodeSonar

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes

16 PhD-level experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. The company’s flagship product, CodeSonar, is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code, and identifies complex programming bugs that can result in system crashes, memory corruption, concurrency errors and other serious problems. More information about GrammaTech and CodeSonar is available at www.grammatech.com.

###

CodeSonar is a registered trademark of GrammaTech, Inc. All other trademarks are property of their respective companies.

The URL for this release is located at: www.grammatech.com/news/2013/releases/02-26-13-[...]

GrammaTech Sales Contacts:

North America: GrammaTech, Inc., 531 Esty Street, Ithaca, NY 14850, Tel: +1 607-273-7340, Email: info@grammatech.com, Website: www.grammatech.com.

UK, Scandinavia: SCL, Jubilee House, Jubilee Walk, Three Bridges, Crawley, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.

Germany, Austria, Switzerland: Verifysoft Technology GmbH, In der Spoek 10-12, 77656 Offenburg, Germany, Tel: +49(0) 781 127 8118-0, Fax: +49(0) 781 63 920- 29, Email: info@verifysoft.com.

France: ISIT, ZA La Menude – 7 rue Andre Marie Ampere, 31830 Plaisance Du Touch, France, Tel: +33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: contact@isit.fr.

Israel: Pertech Embedded Solutions, 10 Zarchin Street, Raanana 43662, Israel, Tel: +972-9-7711418, Email: info@pertech.co.il.

Japan: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan, Tel: +81-3-3493-7981, Fax: +81-3-3493-7993, Email: sales@aicp.co.jp.

Korea: MDS Technology Co., Ltd., 15F., 3FL. Hancom Tower, 49, Daewangpangyo-ro 644 Beon-gil Bundang-gu Seongnam-si, Gyeonggi-do 463-400, Republic of Korea, Tel: +82-31-627-3000, Fax: +82-31-627-3100, Email:grammatech@mdstec.com.

Media Contact:

Barbara Stewart

Patterson & Associates

480-488-6909

barbara@patterson.com

531 Esty Street

Ithaca, NY 14850

Usa

1-607-273-7340

www.grammatech.com

Vector Software, the leading provider of dynamic software testing solutions for embedded systems, announced today that it has signed a reseller partnership with Emenda Software, Ltd., a leading European distributor of test solutions and consulting services for embedded developers. This new agreement allows Emenda Software to sell and support VectorCAST as part of their extensive product portfolio in Germany, Switzerland, Austria, France, and the United Kingdom.

Founded in 2006, Emenda Software is a leading distributor of embedded software tools and a provider of professional services to the European embedded systems sector. Focused on innovative and leading-edge technology, Emenda strives to provide solutions that will accelerate the development of safety critical software systems to stringent standards such as DO-178B for Avionics, IEC 61508 for Industrial Controls, and IEC 62304 for Medical Devices.

“Vector Software has a proven record of developing the most advanced dynamic software testing solutions that address the real needs of organizations developing safety-critical embedded software systems,” said Neil Langmead, Emenda CEO. “The capabilities of VectorCAST for unit/integration test and code coverage perfectly complement our existing static analysis solutions. Coupled with our deep industry knowledge, this addition to our product offering represents an exciting growth opportunity for our company.”

“We are very pleased to partner with Emenda Software. This new partnership aligns with Vector Software’s global strategy and will enable us to distribute our software and support our clients more efficiently”, said William McCaffrey, Vector Software Chief Operating Officer. “Emenda has very strong knowledge and expertise in the development and verification of high integrity software systems. Their commitment to this partnership demonstrates the continued recognition that VectorCAST is the first choice for leading embedded development organizations around the world.”

About Vector Software, Inc.

Vector Software is the world’s leading provider of software testing solutions for safety and business critical embedded applications. Companies worldwide in automotive, aerospace, medical devices, industrial controls, rail, and other business critical sectors, rely on Vector Software’s VectorCAST™. By automating and managing the complex tasks associated with unit, integration, and system level testing, VectorCAST helps organizations accelerate development and ensure the reliability of their embedded software applications. Founded in 1989 by embedded software engineers, Vector Software is headquartered in East Greenwich, Rhode Island USA; with offices worldwide and a world-class team of support and technology partners. To learn more, visit Vector Software at www.vectorcast.com

About Emenda Software

With four offices throughout Europe (UK, Germany, Switzerland, France) and China (Nanjing), Emenda provides software development and software testing consultancy and tools to customers worldwide. Our goal is to help implement rigorous testing strategies that improve the quality of software produced and minimize the risk of software defects escaping into the field. Emenda specialize in the development and testing of safety critical, business critical or high integrity software systems. Using the latest tools and techniques, our consultants work with our customers to develop automated, in-process testing solutions. From a wealth of experience, we can also provide your organization with accurate and independent advice on which tools and processes will best suit your company’s needs. To learn more, visit Emenda Software at www.emenda.eu

Vector Software, the leading provider of software solutions for testing safety critical applications and AdaCore, provider of the highest quality Ada development tools and support, have announced the formation of a partnership to provide advanced dynamic and static testing capabilities for Ada software developers.

This partnership and Vector Software’s recent announcement that their VectorCAST/Ada embedded software test platform has been tested using the latest version of the Ada Conformity Assessment Test Suite (ACATS), shows unique commitment to the Ada community.

Vector Software’s VectorCAST/Ada is an integrated software test solution that significantly reduces the time, effort, and cost associated with testing safety critical software written in Ada.

AdaCore’s GNAT Pro is a robust Ada development environment that comprises a full Ada compiler based on the GNU GCC technology, an Integrated Development Environment, a comprehensive tool suite including a visual debugger, and a set of libraries and bindings.

GNAT Pro’s static analysis tools provide a perfect complement to VectorCAST/Ada. The dynamic testing capabilities of VectorCAST/Ada provide users with automated on-target unit/integration test and code coverage to meet strict requirements for Avionics, Industrial Controls, and High Speed Railway.

“The Ada language continues to demonstrate its ability to address today’s software reliability challenges”, said Cyrille Comar, Managing Director of AdaCore. “Software developers desiring reliable software will be pleased that Vector Software now supports the Ada 2005 language version. The VectorCAST testing environment is an ideal complement to the static analysis capabilities available in GNAT Pro, together providing a very powerful and thorough validation and verification tool chain.”

“Vector Software has worked with AdaCore for many years”, said William McCaffrey, Chief Operating Officer for Vector Software. “We are pleased to be working closely with them to provide the best Ada development solution on the market”.

About Vector Software, Inc.

Vector Software is the world’s leading provider of software testing solutions for safety and mission critical embedded applications. Companies worldwide in automotive, aerospace, medical devices, industrial controls, rail, and other industries, rely on Vector Software’s VectorCAST™. By automating and managing the complex tasks associated with unit, integration, and system level testing, VectorCAST helps organizations accelerate the development and ensure the reliability of their embedded software applications. Founded in 1989 by embedded software engineers, Vector Software is headquartered in East Greenwich, Rhode Island USA; with offices worldwide and a world-class team of support and technology partners. To learn more, visit Vector Software at www.vectorcast.com

About AdaCore

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the open source GNAT Pro development environment, which is based around the GNU GCC technology. GNAT Pro comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see www.adacore.com/customers for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts. AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

GrammaTech, Inc., a leading manufacturer of source-code analysis tools, today announced CodeSonar® 3.8. The new version includes dramatically faster code analysis with fewer false positives.

“CodeSonar 3.8 is significantly faster and more precise than its predecessor, making it much easier to analyze projects with millions of lines of code. The speedup was achieved by parallelizing the analysis engine so it takes full advantage of multi-core processors. The improvement is dramatic, especially for large projects. For example, on an 8-core machine, we have seen analysis times reduced by 85 percent,” said Paul Anderson, VP of Engineering at GrammaTech.

Improvements in CodeSonar 3.8 include:

*Faster analysis that takes full advantage of multi-core processors.

*Lower false positive rate due to a combination of new models for C/C++ libraries (e.g., Boost) and improvements to the analysis.

*Workflow enhancements that make it easier for developers to manage defect warnings across multiple project versions and development branches.

*Better checking for concurrency-related errors.

*Addition of award-winning software architecture visualization.

This release is the first version to incorporate CodeSonar’s software architecture visualization, which won the Most Significant New Software Product award at Design West 2012. CodeSonar architecture visualization provides developers with insight into the relationships between elements in software and scales to large projects with millions of lines of source code. Fluid transitions allow developers to visualize massive data sets in real time and to see the program at different levels of abstraction. CodeSonar visualization also includes other program-understanding and navigation features, and supports annotations and sharing of diagrams between team members.

“Improvements to the analysis engine empower developers to pinpoint defects faster and with greater precision,” said Anderson. “Improvements to the user interface make it easy for developers to understand and analyze very large projects, including those developed by complex software-development organizations.”

About CodeSonar

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code, and identifies complex programming bugs that can result in system crashes, memory corruption, concurrency errors and other serious problems. CodeSonar’s software architecture visualization system is a new interface for viewing the relationships between program elements. CodeSonar has long been the software-analysis tool of choice for embedded developers working on mission-critical applications such as satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security, including organizations developing software for wireless devices, networking equipment and consumer electronics. More information about CodeSonar is available at www.grammatech.com/products/codesonar/

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes 14 PhD-level experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. More information about GrammaTech can be found at www.grammatech.com.

In the webinar, attendees will learn:

• What this integrated solution of Coverity Static Analysis and Wind River Workbench does for your embedded designs

• Why low-impact static analysis is vital for the developer desktop

• How to save time and money and reduce the risk of latent security defects in shipping code

Coverity and Wind River will discuss what kinds of vulnerabilities can be detected and how static analysis fits seamlessly into embedded development workflow. Both companies will be available for a Q&A session immediately following the E-cast.

• Who: Bill Graham, Product Marketing Manager, Wind River and Jane Goh, Product Marketing Manager, Coverity

• What: Industry experts from Coverity and Wind River present a live OpenSystems Media E-cast, “Secure at the Source: Integrating Static Analysis into Embedded Developer’s Desktop”

• When: Wednesday, April 4, 2012 at (2:00 p.m. EDT/11:00 a.m. PT)

• Where: To attend the E-cast, participants can register at ecast.opensystemsmedia.com/

About OpenSystems Media

OpenSystems Media has been a leading publisher of electronics magazines, e-mail newsletters, websites, and product resource guides for more than 20 years. OpenSystems Media is also the leader in driving leads and awareness through social media and is the largest producer of lead-generation tools such as webcasts, whitepapers, product directories, Tech E-Briefs, TechChannels, and Techcasts. OpenSystems Media offers E-casts and Techcasts for engineers and provides interactive tools where engineers can communicate directly with presenters and top industry editors. Current publications include: Embedded Computing Design; Military Embedded Systems; CompactPCI, AdvancedTCA, & MicroTCA Systems; DSP-FPGA.com; PC/104 and Small Form Factors; and VITA Technologies. For more information, visit www.opensystemsmedia.com.

###

SAN JOSE, CA, Design West Conference/ESC─March 27, 2012─GrammaTech, Inc., a leading manufacturer of source-code analysis tools, today unveiled a next-generation software architecture visualization system. The new system incorporates a sophisticated new interface for viewing the relationships between software program elements. The system is integrated with CodeSonar, GrammaTech’s static-analysis tool for detecting defects.

The growing complexity of large software systems makes it more difficult for developers to test and analyze the interrelationships between elements of source code. CodeSonar visualization is designed to optimize visual inspection and analysis of software. It offers real-time, fluid transitions for developers to visualize massive data sets to work at different levels of abstraction. The software makes extensive use of the graphics processing unit (GPU), is very high performance and can handle very large code bases (10M+ lines of code).

“Typically, text editors show just a few dozen lines of code at a time. Currently available visualization tools are effective at displaying small-scale parts of the program structure such as fragments of class hierarchies and subsets of the call graph, but it is infeasible to use those tools to show whole-program structures. Even for small projects, such tools become unusable because of complexity and performance,” said Paul Anderson, VP of Engineering at GrammaTech. “CodeSonar’s new program-visualization capability was specifically designed to perform well on millions of lines of code. It presents data in a layered fashion, so users can choose to see only the information appropriate to the desired level of abstraction. Users can explore the program in a top-down fashion, starting with the outermost high-level modules and zooming in to reveal detail at a finer granularity; or can take a bottom-up approach if that is more appropriate to the task.”

About CodeSonar Visualization

CodeSonar visualization displays the program’s call graph organized according to the module structure of the program. Graph layouts can be changed in real time and present data in tree, map, circuit, cluster, flow, radial and other layouts. Data is featured in a layered way that provides a high-level view with drill-down capability; users can explore the program from the bottom up as well.

CodeSonar visualization also includes other program understanding and navigation features, and supports annotations and sharing of diagrams between team members. With CodeSonar visualization, users can start at individual functions to gain insight from a bottom-up perspective, annotate nodes and edges with additional information and overlay the visualization with information on defects and source-code metrics such as complexity.

Other features include the ability of users to search the graph for functions of interest, view the graph in a variety of different layouts, and navigate to and from the source code of the program. In addition, the architecture is extensible, so users can generate graphs from other sources, feed them in an XML format to the tool and see them in the same user interface.

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code, and identifies complex programming bugs that can result in system crashes, memory corruption, concurrency errors and other serious problems. CodeSonar has long been the software-analysis tool of choice for embedded developers working on mission-critical applications such as satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.

Availability

CodeSonar visualization runs through a standard web client such as Microsoft Internet Explorer, Firefox or Chrome browsers. An early release version is available to customers today.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes 14 PhD-level experts in programming languages and program analysis. The company has offices in New York and California. More information about GrammaTech can be found at www.grammatech.com.

SAN FRANCISCO AND ALAMEDA, Calif. – January 24, 2012 – Coverity, the leader in development testing, and Wind River, a world leader in embedded and mobile software, have teamed to integrate Coverity’s development testing platform for security with Wind River’s embedded software.

Coverity will offer an evaluation edition of Coverity® Static Analysis, pre-configured for Wind River Workbench, supporting both Wind River Linux and Wind River’s VxWorks real-time operating system (RTOS). This combined solution enables development teams to build security into the embedded software development process and effectively address security vulnerabilities as software code is written.

According to various market estimates, it’s expected that by 2020 there will be 50 billion connected devices worldwide. As embedded devices become more connected and mobile, from medical devices to avionics and defense systems, they have become the next vector for security threats. The collaboration between Coverity and Wind River joins leaders in embedded software development and development testing. Wind River has a unique advantage within the embedded industry with its comprehensive software portfolio. Coverity automatically scans source code for security and quality defects, exposing them in the developer’s existing workflow and greatly reducing the risk of security vulnerabilities making their way into the field.

“Our development testing roots began in embedded software, and today over 1,100 of the world’s largest device manufacturers and software companies rely on Coverity to help prevent critical defects,” said Jennifer Johnson, Vice President of Marketing at Coverity. “We are excited to join forces with Wind River, a pioneer in embedded software, making it easier than ever to build security into the development process without impacting rapid delivery schedules.”

“Increased security threats and continued growth of embedded device connectivity create an urgent need to address security during development,” said Marc Brown, Vice President of Tools and Marketing Operations, Products Group at Wind River. “Together with Coverity, we are providing embedded developers with powerful solutions to rapidly and efficiently identify and tackle software security flaws in their workflow and dramatically curb potential security issues down the road.”

“Development teams are under constant time to market pressure and security is often overlooked,” said Theresa Lanowitz, Co-founder of voke, inc. “The integration of Coverity and Wind River is transforming the testing market by empowering embedded development teams to address security earlier than ever before, in the same way as quality, greatly reducing the business risk of brand damage and revenue loss associated with security vulnerabilities.”

Coverity’s product offerings complement Wind River’s broader security portfolio comprising secure operating environments, testing software, and industry expertise. Development teams in search of a complete testing solution can use Coverity to detect and fix errors during the coding phase of development before passing applications to quality assurance teams, and then use Wind River Test Management, including specific packages for security, a test automation system for embedded device software testing, to run dynamic tests during the quality assurance phase of the lifecycle.

Resources

• Sign up for the evaluation edition of Coverity Static Analysis with Wind River support.

• Read more about development testing for security in embedded devices on the Coverity blog.

• Read more about embedded software on the Wind River blog.

• Visit Coverity and Wind River at RSA 2012 next month, February 27 – March 3, at the Moscone Center in San Francisco, Booth #555.

About Coverity

Coverity, Inc., (www.coverity.com), the leader in development testing, is the trusted standard for companies that need to protect their brands and bottom lines from software failures. More than 1,100 Coverity customers use Coverity’s development testing suite of products to automatically test source code for software defects that could lead to product crashes, unexpected behavior, security breaches, or catastrophic failure. Coverity is a privately held company headquartered in San Francisco. Coverity is funded by Foundation Capital and Benchmark Capital. Follow us on Twitter or check out our blog.

About Wind River

Wind River, a wholly owned subsidiary of Intel Corporation (NASDAQ: INTC), is a world leader in embedded and mobile software. Wind River has been pioneering computing inside embedded devices since 1981 and its technology is found in more than 1 billion products. Wind River is headquartered in Alameda, Calif., with offices in more than 20 countries. To learn more, visit Wind River at www.windriver.com or on Facebook.

GrammaTech, Inc., a leading manufacturer of source-code analysis tools, today announced that it has developed a sophisticated new program-analysis engine that identifies data race conditions and other serious concurrency defects. The engine is being incorporated into the company’s popular CodeSonar static-analysis tool.

Development teams are embracing multi-core processors such as the new quad-core Intel® Core™ i7 processor because they are the most promising avenue to better computing performance. This is because traditional performance-improvement approaches, such as increasing clock speed, decreasing memory access times, and clever scheduling of instructions are no longer yielding major improvements. Unfortunately, multi-core systems are much less forgiving of programming errors and can be extremely difficult to debug with currently available tools, especially when bugs are intermittent and difficult to reproduce.

The severity of the problem caught the attention of the Defense Advanced Research Projects Agency (DARPA), which awarded a $749k contract to GrammaTech to develop an innovative approach to eliminating serious defects that commonly plague multi-core applications. The resulting analysis pinpoints such problems without testing, slashing development cost, and reducing the risk of defects slipping into production. The analysis can also be applied to multi-threaded applications running on a single processor.

Paul Anderson, GrammaTech’s vice president of Engineering, commented, “The analysis has already proven itself in pilot deployments. For example, it identified serious defects in a mission-critical avionics application being developed by an aerospace company. This is very significant because avionics applications are developed with much more care and testing than most other applications. Yet GrammaTech’s deep concurrency analysis uncovered significant problems in the application.”

Anderson continued, “The analysis catches the type of concurrency problems that are the most difficult for developers. It creates an abstract model, of what locks are held by what threads, and considers possible interleavings. By automating this process, it finds situations in which code is susceptible to problematic interleavings, which developers can miss through manual analysis.”

The technology is compatible with a wide range of compilers, including ARM RealView, CodeWarrior, GCC, G++, Green Hills, HI-TECH, IAR, Intel C/C++, Microsoft Visual Studio, Renesas, Sun C/C++, Texas Instruments, CodeComposer, Wind River, and many others. For some run-time environments, it may be necessary to model synchronization primitives, but the system has been designed to make this easy.

About CodeSonar

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. Like a compiler, CodeSonar does a build of code using the existing build environment. But, instead of creating object code, CodeSonar creates an abstract model of the program, capturing its syntax, call graphs, and control-flow graphs. Then a synthesis phase, analogous to linking, generates a program model, which is executed symbolically by CodeSonar’s analysis engine. Automated reasoning about feasible paths and data is used to identify tricky bugs that result from complex interactions among procedures.

CodeSonar is backed by years of research and is the most powerful source code analysis tool available for embedded development. It is distinguished by its ability to find more serious defects than any other tool on the market. For this reason, it has been adopted by leading organizations developing medical devices, spacecraft, industrial and automotive control systems, electronics and similar applications. CodeSonar runs on Windows, Linux, Solaris, and Mac OSX operating systems and supports most compilers.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes twelve researchers with PhDs in programming languages and program analysis. More information about GrammaTech can be found at www.grammatech.com.

GrammaTech, Inc., manufacturer of the most in-depth source-code analysis technology, today announced a new resource for simplifying the International Organization for Standardization (ISO) Draft International Standard (DIS) 26262 compliance process with static analysis. ISO 26262, titled “Road vehicles — Functional safety,” is a Functional Safety standard that is currently in the final draft. This standard is an adaptation of the Functional Safety standard IEC 61508 for Automotive Electric/Electronic Systems.

According to Mark Zarins, vice president of products at GrammaTech, “Software has an increasingly important role in the modern automobile. In fact, a car may contain more than 10 million lines of code. Some of this code controls critical functionality. For example, one car was recently recalled due to a software-related issue that could result in the unintended disabling of passenger-side airbags. Another car was recalled because faulty software could result in the engine being inadvertently shut down. Similar recalls have affected a wide variety of vehicles produced by different manufacturers.”

The company has released supplementary documentation to its CodeSonar static-analysis tool that details how static analysis can be used to support an organization’s ISO 26262 initiatives. CodeSonar has a long history of being used to improve reliability in critical industries like avionics. CodeSonar performs the deepest analysis of any commercial tool, providing a higher level of assurance. More recently, GrammaTech’s static analysis technology has been adopted by some of the largest automotive manufacturers.

“In the competitive automotive industry, manufacturers are under pressure to create new features,” continued Mark Zarins. “Some of these features improve safety while others provide better comfort or entertainment. Software plays a key role in most of these new features, underscoring the importance of software quality. In addition, some of the software-enabled features employ networking, which can expose the automobile to potential security threats like worms or malicious code. Yet the growing code size of the software makes it increasingly difficult to test and verify. Manufacturers are adopting static analysis as part of the test plan to increase reliability.”

In a prominent example, NASA recently used static analysis to examine the software in Toyota vehicles as part of an investigation into unintended acceleration in Toyota vehicles. GrammaTech CodeSonar was one of the tools used by NASA. In the report, NASA described CodeSonar as a “strong static source code analysis tool from GrammaTech that uses a different technology for detailed inter-procedural source code analysis.” The full NASA Engineering and Safety Center Technical Assessment Report can be located at www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_repor[...]

About CodeSonar

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. Like a compiler, CodeSonar does a build of the code. However, instead of creating object code, CodeSonar creates an abstract model of the program, capturing information about the program’s control flow and the relationships between data. The program model is executed symbolically by CodeSonar’s analysis engine. Automated reasoning about feasible paths and program variables is used to identify tricky defects, including defects that result from complex interactions among procedures.

CodeSonar is backed by years of research and is the most powerful source-code-analysis tool available. It is distinguished by its ability to find more serious defects than any other tool on the market. For this reason, it has been adopted by leading organizations developing medical devices, spacecraft, industrial and automotive control systems, electronics, and similar applications. CodeSonar runs on Windows, Linux, Solaris, and Mac OSX operating systems and supports most compilers.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes thirteen PhD-level experts in programming languages and program analysis. The company has headquarters in Ithaca, NY. More information about GrammaTech can be found at www.grammatech.com.

GrammaTech, Inc., a leading manufacturer of source-code-analysis tools, and Lattix Inc., a leading provider of innovative software architecture management solutions, today announced the availability of an integration between GrammaTech CodeSonar and Lattix LDM. The new CodeSonar integration with Lattix provides precise and accurate architecture analysis to enable teams to review, refactor and maintain the architecture of complex C/C++ software systems.

The Lattix CodeSonar integration loads the data from CodeSonar’s deep source code analysis to enable users to analyze the relationships between the contents of the C/C++ files. This capability to explore dependencies between functions, variables, class methods, fields and macros significantly improves impact analysis and support for refactoring initiatives. Users can conduct impact analysis on defects identified by CodeSonar, utilizing impact tags and reports to ascertain those parts of the architecture which could be affected directly or indirectly by changes in the code to fix the defects.

GrammaTech will be demonstrating the integration at the Embedded World 2011 conference in Nuremberg, Germany, March 1-3, Hall 11, Booth 11/11-335.

“The complementary analyses performed by Lattix and CodeSonar provide users with information that makes it easy to understand and manage dependencies,” said Mark Zarins, vice president of products at GrammaTech.”

“Our integration with CodeSonar addresses the need for a more complete and scalable solution for complex C/C++ systems,” explained Frank Waldman, vice president and co-founder of Lattix. “Our mutual customers can now quickly achieve measurable results at any stage of development by understanding and improving the architecture, eliminating bad dependencies, expediting refactoring efforts and reducing defects.”

For more information about the Lattix CodeSonar integration, please visit www.lattix.com/products/codesonar.

Availability and Pricing

The Lattix CodeSonar integration is available immediately from Lattix in North America or from its partners throughout Europe, the Middle East, Asia Pacific and South America. It is included in the Lattix C/C++ Module at no additional cost. A free evaluation license is also available for download from www.lattix.com/download.

About Lattix

Lattix is the leader of software architecture management solutions that deliver higher software quality and lower risk throughout the application lifecycle. Lattix provides a powerful new approach which utilizes the Dependency Structure Matrix (DSM) for automated analysis and enforcement of system architectures. Lattix is located in North Reading, MA. More information about Lattix can be found at www.lattix.com.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes thirteen researchers with PhDs in programming languages and program analysis. More information about GrammaTech can be found at www.grammatech.com.

BOSTON, MA — September 21, 2010 – Embedded Systems Conference, Booth 409 – Green Hills Software, Inc., the largest independent vendor of embedded software solutions, today announced that its powerful user-based static code analyzer, DoubleCheck™, is now provided as a standard feature with its MULTI® Professional tool suite, the embedded industry’s benchmark in multicore development and debugger solutions. With this integration, Green Hills Software increases both developer productivity and code quality while enabling better management and control of code complexity and the overall coding process. This enabling technology is a critical requirement for medical and industrial device development where advanced software development processes are the norm.

“The FDA is seeing rapid growth in software complexity in medical devices and we have recommended publicly that software developers utilize static analysis tools,” commented Rick Chapman, FDA/CDRH acting branch chief, General Hospital Devices Branch.

Application complexity has become the most significant challenge for embedded software developers who need to develop reliable, safe, and secure applications while meeting time-to-market windows. Traditional debugging and testing methodologies fall short when dealing with today’s sophisticated code bases. The DoubleCheck static analysis tool provides a fundamental development and design strategy to cope with the explosion in code complexity.

By taking advantage of accurate and efficient analysis algorithms that have been tuned and field proven over the past 28 years in Green Hills C/C++ compilers, DoubleCheck can be used as an integrated tool with MULTI to perform compilation and full program defect analysis in the same pass. DoubleCheck has been measured to be up to five times faster than other commercial analyzers due to design efficiencies. And, it is fast enough to be used continuously in a rapid iterative development environment by all developers. Furthermore, unlike other offerings, DoubleCheck automatically uses the same code configuration as is used during the final build process. This allows developers to be certain that the executed code is the same as the code that was “double-checked.”

The DoubleCheck static analysis tool helps automate the enforcement of coding standards by measuring and optionally limiting software component complexity by using standardized metrics such as McCabe – making code easier to understand, maintain, and test. A range of configuration options add a number of intelligent quality controls to the DoubleCheck tool’s bug finding mission, including a number of MISRA compliance checks and enforcement of optional but important language standards.

“Green Hills has helped customers design, develop, debug, and deploy the world’s most reliable, secure systems possible. Green Hills has unmatched expertise in understanding the requirements to develop such systems,” said Dave Kleidermacher, chief technology officer, Green Hills Software. “MULTI Professional with DoubleCheck combined with our safety and security certified INTEGRITY® operating system and range of development and certification services provide customers complete solutions they can rely on when developing complex, critical embedded systems.”

About Green Hills Software

Founded in 1982, Green Hills Software, Inc. is the largest independent vendor of embedded development solutions. In 2008, the Green Hills INTEGRITY-178B RTOS was the first and only operating system to be certified by the NSA to EAL6+ High Robustness, the highest level of security ever achieved for any software product. Our open architecture integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom. Visit Green Hills Software at www.ghs.com.

GrammaTech, Inc., manufacturer of the most in-depth source-code analysis technology, today announced that it has expanded its leadership in the medical device vertical market. CodeSonar® has been selected by major U.S., European and Asia/PAC manufacturers because it is able to detect a larger percentage of critical defects in C/C++ code than any other static-analysis tool. For medical device manufacturers, this translates to providing the highest level of reliability.

While CodeSonar was first adopted for avionics applications, medical organizations have been using CodeSonar to analyze medical-device software over the last four years. An early adopter was the U.S. Food and Drug Administration (FDA). In their project, the FDA used CodeSonar to perform a forensic analysis on a fielded medical device that failed. Today, CodeSonar continues to be used by the FDA.

CodeSonar is used by some of the industry’s largest medical device companies for developing products that span a wide range of applications, including radiation therapy, cardiac resuscitation, respirators, ultrasound imaging, X-Ray imaging, MRI imaging, arthroscopy, computed tomography, cardiovascular applications, blood glucose monitoring, patient diagnostics, and high-speed cell sorting.

GrammaTech has also seen growth in professional services centered on ensuring medical device reliability. “CodeSonar’s powerful static analysis capabilities and open API are leading major medical device companies to request customizations to CodeSonar that address domain-specific checking needs. For example, we recently completed some work for one of the largest global medical device manufacturers. The company knew that GrammaTech offers very in-depth technology for program path analysis, so they asked GrammaTech to create a set of custom checkers targeted at ensuring reliability of their multithreaded code,” said Paul Anderson, GrammaTech’s VP of Engineering.

About CodeSonar

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. CodeSonar has long been the software-analysis tool of choice for embedded developers working on mission-critical applications such as satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes 12 PhD-level experts in programming languages and program analysis. The company has offices in New York and California. More information about GrammaTech can be found at www.grammatech.com.

###

CodeSonar is a registered trademark of GrammaTech, Inc. All other trademarks are property of their respective companies.

The URL for this release is located at:

www.grammatech.com/news/2010/releases/03-02-10.[...]

North American Sales Contact: GrammaTech, Inc., 317 North Aurora Street., Ithaca, NY 14850,

Tel: +1 607-273-7340, Email: info@grammatech.com, Website: www.grammatech.com.

International Sales Contacts:

UK and SCANDINAVIA: SCL, Jubilee House, Jubilee Walk, Three Bridges, CRAWLEY, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.

CENTRAL EUROPE: Logic Technology JF. Kennedylaan 18, 5981 XC Panningen, The Netherlands,

Tel: +31 77 3078438, Email: info@logic.nl.

FRANCE: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 COLOMIERS, FRANCE,

Tel: +33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: isit@isit.fr.

JAPAN: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan, Tel: +81-3-3493-7981, Fax: +81-3-3493-7993, Email: sales@aicp.co.jp.

KOREA: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: grammatech@mdstec.com.

Media Contact:

Barbara Stewart

Patterson & Associates

480-488-6909

barbara@patterson.com

Wirral, UK. 18 February 2010. LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with IAR Embedded Workbench for the PIC18, AVR, AVR32 and MSP430 microcontrollers. Because IAR Embedded Workbench provides a full range of capabilities, the LDRA tool suite is able to realize its full potential, enabling companies to use these controllers for DO-178B and other rigorous certification standards.

IAR Embedded Workbench reaches beyond the capabilities of native tool chains, providing full ANSI C compliance, support for embedded C++ as well as host-controlled I/O facilities not typically available for these microcontrollers. LDRA leverages these capabilities to add static analysis, code coverage to Modified Condition/Decision Coverage (MC/DC), and requirement traceability on these resource-constrained footprints.

The LDRA tool suite fully hooks into these PIC, Atmel and TI tool chains, allowing for compilation, linking, programming, and execution in these environments. LDRA Testbed can read IAR project files and use these files to speed static analysis efforts by reading include paths, macros and other settings. In addition, LDRA Testbed and LDRA TBrun use the project files to compile, control IAR’s simulation and device-programming environments, execute on target, and extract the results. With this, developers get a head start on performing system and unit tests using the already available IAR infrastructure.

The LDRA tool suite integration enables these microcontrollers to be used in DO-178B and similar medical and industrial certification environments. With medical standards now pushing medical device vendors to produce test output results that conform to MC/DC certification criteria, these capabilities are increasingly important. Since these capabilities are available in hosted as well as microprocessor-based devices, enterprises can standardize on LDRA and IAR as a common set of tools that developers can use to support a variety of devices and target environments.

LDRA’s partnership with IAR has allowed LDRA and IAR to provide seamless solutions to customer test automation needs. For example, the recently completed MSP430 integration takes advantage of IAR’s JTAG I/O capabilities as well as cspybat command line integration tools. IAR’s full-featured hardware simulator is also fully supported by LDRA Testbed and TBrun. Developers can test identical instrumented executables and test harnesses on a target and simulator environment, greatly speeding time to market.

For more information about the integration, visit www.ldra.com/integrations.asp or e-mail info@ldra.com for more details.

About LDRA

For more than thirty years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business- critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States and an extensive distributor network. For more information on the LDRA tool suite, please visit: www.ldra.com.

Please send reader enquiries to:

Mark James

LDRA, Portside, Monks Ferry, Wirral, CH41 5LH, UK

Email: mark.james@ldra.com

GrammaTech, Inc., manufacturer of the most in-depth source-code analysis technology, today announced record product sales for 2009. The company also increased the staff by more than 40% in 2009. Privately held, and profitable every year since its inception, the company has thrived since the introduction of its CodeSonar® static-analysis tool. CodeSonar’s popularity among developers of critical embedded systems is the catalyst that has fueled several years of growth, in spite of the recent global recession.

“During a time when some competitors retreated, the company has continued to achieve record growth,” said GrammaTech’s CEO Tim Teitelbaum. “Based on the results of the last six months, we anticipate significant increases in both CodeSonar sales and professional services in 2010. We also have some exciting R&D in the pipeline that we intend to productize this year.”

In early 2009 GrammaTech expanded both its domestic sales force and its global distributor network, including the addition of offices in Europe. Sales in 2009 came from a variety of critical industries, including medical, industrial control, defense, aerospace, telecom, datacom, and electronics.

Building on the record success of 2009, GrammaTech started 2010 strong, releasing CodeSonar 3.5 in the first week of January. CodeSonar 3.5 incorporates a variety of new features, most of which were developed based on feedback and demand from existing customers. For example, many customers are using CodeSonar for security reviews, so the number of security-related checks performed by CodeSonar has been increased significantly.

Among these new enhancements are the “Build Security In” checks, which enforce C/C++ secure coding rules provided by the Build Security In (BSI) software assurance initiative of the U.S. Department of Homeland Security. Another new feature is broader platform support. CodeSonar is now fully supported on all current versions of Windows, as well as Linux, Solaris, and Mac OS X. Among the other advances in CodeSonar 3.5 are various improvements to performance and the user interface.

About CodeSonar

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. CodeSonar has long been the software-analysis tool of choice for embedded developers working on mission-critical applications such as satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes twelve PhD-level experts in programming languages and program analysis. The company has offices in Ithaca, New York, and San Jose, California. More information about GrammaTech can be found at www.grammatech.com.

###

CodeSonar is a registered trademark of GrammaTech, Inc. All other trademarks are property of their respective companies.

North American Sales Contact: GrammaTech, Inc., 960 Saratoga Ave., Suite 113, San Jose, CA 95129, Tel: 408-246-9100, Email: info@grammatech.com, Website: www.grammatech.com.

International Sales Contacts:

UK and Scandinavia: SCL, Jubilee House, Jubilee Walk, Three Bridges, CRAWLEY, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.

France: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 COLOMIERS, FRANCE, Tel: +33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: isit@isit.fr.

Japan: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan, Tel: +81-3-3493-7981, Fax: +81-3-3493-7993, Email: sales@aicp.co.jp.

Korea: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: grammatech@mdstec.com.

The URL for this release is located at:

www.grammatech.com/news/2010/releases/01-26-10-[...]

Media Contact:

Barbara Stewart

Patterson & Associates

480-488-6909

barbara@patterson.com

ESC, BOSTON and LONDON, UK – September 22, 2009 – PRQA | Programming Research, a world leader in coding standard enforcement and language-based static analysis, today announced the availability of a DO-178B Qualification Pack for QA·C++, its industry-leading high-fidelity language analysis tool. PRQA plays an instrumental role in the development and application of coding standards in many industries including aerospace and avionics.

“As safety-critical aerospace applications increasingly rely on embedded and system software, there is a growing need to verify the accuracy and consistency of this software,” said Paul Blundell, CEO PRQA | Programming Research. “As a result, we’re seeing an uptick in demand for qualification data, or software verification tools, from tool vendors. A pre-verified qualification pack seemed like the natural solution to address this need.”

PRQA selected Verocel Inc., a leading authority on D0-178B qualification and software certification processes, to help the company create a qualification pack with independent verification of QA·C++. Verocel has extensive expertise with RTCA/DO-178B Software Considerations in Airborne Systems and Equipment Certification, and participated in a number of DO-178B software certification projects to level A standards.

Projects that employ the qualification pack are eligible for certification credit for the following two DO-178B objectives:

- “A-5 (4) Source Code conforms to standards,” and

- “A-5 (6) Source Code is accurate and consistent.”

The QA·C++ Qualification Pack includes Tool Operational Requirements (TOR), Tool Qualification Data (TQD), and Tool Qualification Plan (TQP) documents, along with a user-activated Certification Report to provide users with automated project-based artefact documentation. The PRQA solution provides unmatched DO178B certification fulfilment, and meets tool and process qualification needs for process-driven software development projects.

Through the use of QA·C++ coding standard compliance modules, PRQA’s associated qualification pack and a new automated certification report, developers of any software-based subsystem can provide the necessary verification documentation to obtain certification credit for DO-178B objectives.

###

About PRQA | Programming Research

PRQA | Programming Research pioneered the application of language-based analysis technology to automatically enforce coding standards—so you can build better software. Established in 1986, we’re recognized as “the coding standard experts” by leading software developers, industry experts, and standards organizations worldwide. We’re known as the thought leaders for developing and implementing best practices in today’s demanding software development environment—PRQA’s proven expertise in coding standard development, automated coding standard enforcement, automated code review & software inspection, and source code analysis is simply unmatched. Our products include QA·C™, QA·C++™, QA·J™, QA·MISRA™, QA·JSF++™, and QA·HICPP™ (HIGH·INTEGRITY C++™) which can be found wherever software quality is paramount, coding standard compliance is mandated, high-integrity code is essential, developer productivity is key, and project success rates are critical. PRQA has corporate offices in the UK, USA, India, Ireland, and The Netherlands, complemented by a worldwide distribution network. Find out more at programmingresearch.com.

About VEROCEL INC.

Verocel provides expertise and services for Software Verification in the safety critical software industry. The Verocel staff has extensive experience providing safety critical software services in the avionics, ground-based aviation and the industrial sectors. Its services include the development and review of software plans and standards, software requirement and test development, software structural coverage analyses, life cycle data traceability, and outsource support. Founded in 1999, Verocel is privately held and headquartered in Westford, Massachusetts. For more information, please visit www.verocel.com.

Media Contact

GrammaTech, Inc., a leading manufacturer of source-code analysis tools, today announced that the next version of CodeSonar will ship in Q2 2009. The release includes checkers for the new Power of 10 coding standard, new facilities for integrating CodeSonar with defect-tracking systems and other tools, and significant performance improvements that reduce analysis time.

One of the newest features is support for enforcing The Power of 10: Rules for Developing Safety-Critical Code, a set of coding rules developed by Gerard Holzmann, director of NASA/JPL’s Laboratory for Reliable Software. Holzmann is well-known in the field of software verification, where his contributions include the invention of the SPIN model checker. In the paper in which he proposed the Power of 10 rules, Holzmann noted that, “Manually reviewing the hundreds of thousands of lines of code that are written for larger applications is often infeasible. Existing coding guidelines therefore offer limited benefit, even for critical applications. A verifiable set of well-chosen coding rules could, however, assist in analyzing critical software components for properties that go well beyond compliance with the set of rules itself. To be effective, though, the set of rules must be small and it must be clear enough that users can easily understand and remember it. In addition, the rules must be specific enough that users can check them thoroughly and mechanically.”

The new facilities for integrating CodeSonar with defect-tracking systems, version-control systems and other tools include an application programming interface (API) that enables customers to write scripts that examine and manipulate defect warning reports. “Customers have been integrating CodeSonar into their development process, so we took a detailed look at their needs and designed a new API to make integrations easy,” said Paul Anderson, vice president of engineering. The code that integrates CodeSonar with the Bugzilla defect-tracking system is provided as an example. The API can also be used to automate workflow on large projects.

Numerous performance improvements, such as incremental analysis have reduced analysis time. With incremental analysis, the first analysis performs a full examination of the software project. However, subsequent analyses only examine paths affected by code changes. “The time savings depend on how much of the code has changed and the effects of those changes on the rest of the code. The reduction in analysis time can be dramatic,” said Paul Anderson.

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. CodeSonar has long been the software-analysis tool of choice for companies working on mission-critical applications like satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.

Pricing and Availability

CodeSonar 3.4 will have the same pricing as CodeSonar 3.3, which is available today with pricing starting at $4,000 USD for small projects. Licenses for larger projects are priced based on the size of the project. Interested parties can request a free trial of CodeSonar by contacting GrammaTech at info@grammatech.com.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes ten PhD-level experts in programming languages and program analysis. The privately-held company has offices in Ithaca, NY, and San Jose, CA. More information about GrammaTech can be found at www.grammatech.com.

###

The URL for this release is located at: www.grammatech.com/news/2009/releases/3-31-09.h[...]

North American Sales Contact: GrammaTech, Inc., 960 Saratoga Ave., Suite 113, San Jose, CA 95129, Tel. 408-246-9100, Email: info@grammatech.com, Website: www.grammatech.com.

International Sales Contacts:

UK and SCANDINAVIA: Scientific Computers Ltd, Jubilee House, Jubilee Walk, Three Bridges, CRAWLEY, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.

The Netherlands and Central Europe: Logic Technology, JF. Kennedylaan 18, 5981 XC Panningen, The Netherlands, Tel: +31 77 3078438, E-mail: info@logic.nl.

FRANCE: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 COLOMIERS, FRANCE, Tel: +33 (0)5 61 30 69 00, Email: isit@isit.fr.

JAPAN: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan, Tel: +81-3-3493-7981, Email: sales@aicp.co.jp.

KOREA: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: grammatech@mdstec.com.

Media Contact:

Barbara Stewart

Patterson & Associates

480-488-6909

barbara@patterson.com

Karlsruhe, February 16, 2007. With the successful completion of the HIJA Project, aicas provides new tools and techniques for developing realtime systems in Java. Technology developed through aicas’ long experience in deterministic and realtime Java provided a reliable basis tool development in HIJA. In this project, aicas extended their JamaicaVM realtime Java technology by developing statical analysis tools for runtime error detection and resource usage, and for runtime debugging and monitoring.

Static analysis is performed with control and data flow information provided by a program wide Data Flow Analysis (DFA): a technique to determines the set of values that each variable may hold. This technique may be now used with the JamaicaVM to analyze an application to ensure the absence of runtime errors and the proper use of monitors (i.e. with proper ceiling priorities and without causing any deadlock). In addition, the result from DFA is used for Memory Usage analysis, i.e. for determining the worst case heap memory, scope memory, and stack usage for all tasks in an application.

Please find a picture of the HIJA project toolset at: www.aicas.com/images/toolchain_aicas-hija.gif

Runtime debugging and monitoring have been added by implementing the Java Virtual Machine Toolkit Interface (JVMTI). This interface provides all facilities necessary for supporting debugging and monitoring tools. JVMTI routines can be used to stop and start Java threads, read and write variables and fields, set and clear breakpoints, and step through code or continue execution. It is implemented as a light weight native interface in the JVM and this independence makes it possible for vendors to provide special agents adapted to particular tasks and embedded environments.

aicas led the development of a Safety Critical Java specification in the HIJA project which is a subset of the Real-Time Specification for Java (RTSJ). This specification was selected as the basis for the safety critical Java standard being developed by the JSR 302 group of the Java Community process led by The Open Group (www.opengroup.org). The basic features in this proposal includes the use of a special Safety Critical VM library, priority ceiling emulation protocol for monitors, and a limited memory model, e.g., no garbage collection and heap memory, just immortal and scoped memory. In the course of this work, the JamaicaVM was ported to an ARINC 653 System. The goal of this effort is enable Java technology to be used for developing DO 178-B level A certifiable systems.

Additionally, members of the aicas team wrote two papers describing their tools developed during the HIJA project, which where accepted for presentation at the 4th Workshop on Java Technologies for Realtime and Embedded Systems—JTRES 2006: the paper “Proving the Absence of RTSJ Related Runtime Errors through Data Flow Analysis” and the paper “Provably Correct Loops Bounds for Realtime Java Programs”, where the authors present a methodology combining data flow analysis and deductive formal verification for providing more general loop bounds.

About aicas (www.aicas.com)

aicas is a producer of modern software development tools especially for embedded systems and time critical control applications. Their principal product is the realtime Java development suite, the JamaicaVM, one of the first commercial implementations of the Real-Time Specification for Java (RTSJ). The company was founded in Karlsruhe, Germany in 2001. A second company was founded in 2005 in New Haven, CT to serve the US market. There is also a subsidiary in Japan. Important customers include EADS, Siemens, Boeing, and space agencies ESA and JAXA.

About JamaicaVM

JamaicaVM is a Java implementation for deeply embedded and time critical systems. JamaicaVM is based on an advanced realtime memory management technology (garbage collection) enabling the use of Java technology even for time and safety critical applications. Tools, such as the Jamaica Compiler and Builder, optimize the runtime performance and memory demand and provide for the analysis of the realtime behavior of Java applications.

About HIJA

HIJA (High Integrity Java) was an project sponsored by the European Union IST Sixth Framework, IST-511718. During its two years (June 2004–September 2006) the HIJA partners worked on defining and implementing a new High Integrity Java for networked realtime embedded systems. As embedded systems pervade society, their design, maintenance, and certification will require highly flexible, hardware independent technology to ensure cost effectiveness. Therefore, the strategic objective of the HIJA project was to advance realtime systems implementation technologies to support the development of Architecturally Neutral, high integrity RealTime Systems (ANRTS). More specifically, the main goal of the HIJA partners was to demonstrate that Java technology can be used as an effective ANRTS.

Your press contacts:

aicas GmbH Andy Walter Director of Sales Haid-und-Neu-Straße 18 76131 Karlsruhe

Tel. +49 721 663 968-0 Fax. +49 721 663 968-99 E-Mail: info@aicas.com

Following information is available online:

Press releases: www.aicas.com/press.html Press images: www.aicas.com/images.html