Real Time & Embedded Systems Outfitters
Balance and Control for Embedded Systems
Phone: +61 (0) 2 6248 6611
Fax: +61 (0) 2 6248 8383
Email: info@symmetry.com.au
   
HOME
Your Cart
Your Account
Contact Us
About Symmetry
Find product:
  GO   GO

 Categories 
Product Info
Software
Hardware
Services
Specials
Video Presentations
Tools

 Help 
Recover password
Contact us
Privacy statement
Terms & Conditions

About Us
Products
Experience
Services
Support
Education
Customers
Brochures and Whitepapers



  News and announcements

Static Analysis for C and C++ with broad platform support.

Looking for code quality?
Goanna Static Analysis
a Tool for all C/C++ developers.
Greetings,

Sliced Bread and Bottled Beer simply don't hold a candle to the Goanna Static Analysis tools suite - if you're a C/C++ programmer. Or indeed if you are managing a software team tasked with getting a quality outcome. Goanna is the best thing to emerge in the Static Analysis arena for a long time. There are some great tools that have been servicing the bigger projects for a long time. If you are using one of them - stick with it. If not - you should be. In which case I invite you to give Goanna a serious look.

Projects appear to be more tightly resourced than they have ever been. Staff are doing more autonomously than I believe was previously expected. What has suffered is process.

Process included top down specification of the application, design reviews at every level, and so on. You know the drill - we all learned it. So why do we hear that code reviews are rarely performed and that developers are working in towers? Its not rare. Also there are many single developer projects lumbering the search for rare and sporadic software failures on the lone developer.

Bring in some help. Tools are better at helping us visualise and test our code than ever before. But C and C++ are powerful languages. This is good for the wise and experienced and fun for the bold and daring.

The Motor Industry discovered long ago that certain coding constructs and behavior resulted in software issues - so they developed some rules. There are various sets of rules and a variety of applications (tools) designed to find suspect bits of code in your source files.

What is Goanna?
Goanna is an industry leading static analysis tool that detects a wide range of bugs, vulnerabilities, and general deficiencies in C/C++ source code. Goanna Studio is tightly integrated in Visual Studio (Windows) and Eclipse (Windows/Linux).

Goanna supports a number of industry standards for C and C++:

Cutting Edge Technology Goanna uses advanced model checking technology delivering highly efficient path coverage for all functions.

Whole Program Interprocedural Analysis Goanna Studio supports whole program analysis for checking, e.g., that null pointers are not passed on and dereferenced in other functions.

Incremental Analysis Goanna Studio generates digital fingerprints of earlier analyzed functions and prevents potentially costly re-analysis when the function has not changed.

Abstract Data Value Tracking Goanna Studio automatically tracks potential ranges of variables, detecting possible array overruns, overflows, and arithmetic errors.

Over 200 Classes of Checks Growing number of high-value checks ensure that even more critical bugs can be found at development time. An in-depth list of checks can be found in the distribution available for download and in the user manuals.

Analyze Files, Projects, and Solutions Goanna Studio for Visual Studio supports the analysis of whole solutions, single projects and even selected set of files for quick analysis.

Unique Path Simulator Goanna Studio can "replay" bugs directly in the IDE to better understand its cause.

Reporting and Exporting Analysis results can be filtered by file and defect type, and exported in CSV format for further triage.

>> Still Reading? - well you may be interested in this :- Java developers are not imune. It's oldish but interesting: http://findbugs.cs.umd.edu/talks/JavaOne2007-TS2007.pdf

We can't help you with Java - yet.

Unit 1, 6 Dacre Street, Mitchell, ACT 2911, Australia
t: +61 2 6248 6611 | f: +61 2 6248 8383
e: info@symmetry.com.au | w: http://www.symmetry.com.au/

9 May 2013


Symmetry April 2013 Newsletter - CEBIT and Free Training Invitations

Symmetry March 2013 Newsletter - CEBIT and Free Training Invitations
Symmetry News:

QNX in medicine

SMX V4.1

Goanna Static Analysis

and CEBIT.


Happy Easter!
Almost...

Click the Symmetry Logo to view on website.

EVALUATION DOWNLOADS

QNX Software Development Platform.
SMX Evals and Demos.
GOANNA Evaluation.

QNX FREE FOR ACADEMIC

Register and get started immediately

SYMMETRY ACADEMIC SUPPORT

WHERE'S QNX?


Don't want this email!

  • Please go to the bottom of the email and press the link to be removed - Thanks and sorry if it bothered you. Thanks again - Rob.

The year is well under way and projects are really ramped up. We have also been a little busy trying to give something back. Take a look at the PyQNX6 pages.

With so many projects now being bedded down on very functional MCUs the guys at Micro Digital have been working hard to support the most popular chips with very functional BSPs - while at the same time have managed to release a substantial upgrade to the SMX RTOS with Version 4.1 out now.

We will be presenting these and the QNX Medical product offerings at CEBIT in May. Please come along and be prepared to spend a little time working with the tools.

Items in this mail are:

QNX - the medical offering (IEC62304).

The QNX® Neutrino® RTOS for medical devices is a key component of QNX Software Systems’ solution for medical device manufacturers. It is designed to help medical customers meet stringent regulatory requirements by reducing the time and effort needed in pre-market qualification activities.

With the growing complexity of today’s medical devices, regulatory scrutiny is becoming more stringent. Choosing a pre-qualified component with a known pedigree can significantly aid in the qualification process. The QNX Neutrino RTOS for medical devices is qualified by an independent third party to be compliant with IEC 62304, a standard for "Medical device software – Software life cycle processes". The product is supported on ARM, Power, and x86 processors.

The QNX Neutrino RTOS for medical devices contains:
Binaries for microkernel and process manager, with support for adaptive partitioning and multicore processors Independent third-party declaration of compliance to IEC 62304 Installation and usage guide.

There have been a lot of webinars during 2012 but just take a look at this one for Medical projects.

We will be showing the medical reference design at CEBIT so come and take a look. QNX Reference Design Page.

SMX V4.1 - Introduced

SMX® is a no-royalty, modular, multitasking RTOS for embedded systems developed by Micro Digital.

It offers: multitasking kernel and kernel awareness debugger plugin, TCP/IP stack, FAT and flash file systems, USB host stack, USB device stack, USB OTG, WiFi 802.11 stack, GUI, and IEEE 754 floating point library.

The focus of the SMX RTOS, and the smx kernel in particular, is to increase safety, security, and reliability of embedded systems, and to offer features, tools, and support needed to ease application development so projects finish on time. This is in contrast to thin RTOS alternatives that have simplistic code, inadequate documentation, superficial debug tools, and poor support.

Are you interested in any of these boards?

  • LPC1768-SK
  • LPC1788-SK
  • LPC2148-SK
  • LPC2478-SK
  • STM32F207ZG-SK
  • STM32F407ZG-SK
  • STR711-SK
  • STR750-SK
  • STR912-SK
  • TMS470R1B1M-SK

Then check out the evaluation kits:

SMX® Free Evaluation Kits are available for these KickStart boards.

GOANNA - Finally a Static Analysis tool that integrates with ease.


Goanna provides a wide range of products to integrate seamlessly with your development and build environments. This minimizes process change and ensures that bugs are diagnosed at the earliest possible phase of development, before the cost of fixing them becomes prohibitive.

Goanna Studio plugs in to IDE’s available from leading vendors such as Atmel, Atollic, Eclipse, Freescale, Infineon, Mentor Graphics, Microsoft, QNX, Texas Instruments, and Wind River. There is no need for developers to switch between external tools. This saves time, improves clarity, and enhances productivity.

Goanna Central is a standalone product designed for servers and command line environments. Goanna Central can be configured as a front end for almost any compiler, augmenting its output with the results of its deep static source code analysis. Goanna Central is also the product of choice for integration with IDE’s that run external compiler and command line tools, from vendors such as IAR and Keil.

Underlying all products in the lineup is the Goanna analysis engine, which is path-aware, supports whole-program interprocedural analysis, and performs value analysis on your program variables to deliver more precise results for detecting serious bugs.

RaptorSSC - Risk Appreciation. Do projects benefit?


With today's increased accountability through Governance and Compliance requirements, would your IT project benefit from a comprehensive risk appreciation and its resulting risk management plan? A comprehensive risk management plan provides an auditable trail of your projects controls and review mechanisms to inform and complement your project plan.

Risk as a component of management responsibility is being analysed far more nowadays due to the increasing costs of getting things wrong - and the increase penalties if these things cause someone some form of harm. Symmetry Innovations P/L have taken a financial interest in a firm (Raptor SSC) that provides risk appreciations and delivers for clients comprehensive risk management plans. Raptor SSC's risk appreciation process takes steps beyond contemporary risk assessment to ensure your project identifies and analyses the risks to your IT project from operational, financial, personnel and reputation risk domain perspectives.

IT projects have a reputation for being difficult to bring in on time and within budget, while still delivering the envisaged operational outcomes. Raptor SSC's risk appreciations and comprehensive risk management plans provides your IT Project manager the wherewithal to map and monitor the suite of risks that can impact on your project. The comprehensive risk management plan will give your IT Project manager the tools to either, confirm and report successful achievement of project milestones, or to bring the project back on track before critical issues arise.

In the QNX market we don't see software project failures very often at all. This may reflect the nature of the companies or developers that seek QNX software solutions for their developmental and operational requirements. In any case, the projects still carry risks and these should be fully understood and articulated from the outset.

For further information of Raptor SSC's risk appreciation process visit www.raptorssc.com.



Free Training?

Sorry about the delay - I mentioned this before Christmas. Now its time to set some dates.

Boot Camp One - April 22nd and 23rd 2013 - Canberra

Boot Camp Two - May 2nd and 3rd 2013 - Canberra

Call us about free, or very-low-cost, training early this year. Call it a "Boot Camp" if you like. Please get in early - the cost is just you getting to Canberra and spending a nigh or two. We are certified for most of the QNX training courses and have been training QNX for many years. At the same time we have capacity to offer introduction to Python and QT in the QNX environment - which is transferable knowledge to other platforms.


Take a look at the courses available on the QNX Website http://www.qnx.com/support/training/modules.html and get an idea what you need. We also have 3, 4 and 5 day courses covering general QNX Realtime programming.


Note that we will now also be able to introduce you to Goanna - initially in the Ecliipse Momentics environment.

For more information use the links at the right or contact:

Robert Cameron
Symmetry Innovations Pty.
Unit 1, 6 Dacre Street
Mitchell, Australia
ACT 2911
Tel: +61 2 6248 6611
Fax: +61 2 6248 8383
Email: info@symmetry.com.au


15 Mar 2013


Christmas Break 2012

Symmetry Innovations P/L
News Boost

Merry Christmas and reminder - Symmetry has Moved

Christmas Break - 17th Dec to 14th Jan 2013
,
new address:

Unit 1, 6 Dacre Street
Mitchell ACT 2911

While Symmetry Innovations Pty. Ltd. are still based in Canberra and our phones and GPO box all remain the same we have moved to new and larger premisis in Mitchell. This will allow us to expand our in house capability and give something back to our community.

Our full contact details are:

Phone:

Post:


Delivery:


Email:

+61 2 6248 6611

GPO Box 3255,
Canberra City ACT 2601

Unit 1/6 Dacre Street,
Mitchell ACT 2911, Australia

info@symmetry.com.au

New Logo

We love QNX - you will too - FREE EVALUATION

Download the QNX Software Development Platform

WHERE'S QNX?




t: +61 2 62486611 | f: +61 2 62488383
e: info@symmetry.com.au | w: www.symmetry.com.au

17 Dec 2012


Seasons Greetings from Symmetry and QNX Software Systems

QNX and Symmetry wishing you a safe and happy festive season 2012
Seasons Greetings
Symmetry Innovations wishes you a safe and happy festive season 2012

Click Image to view on website.

FREE EVALUATION

Download the QNX Software Development Platform

FREE FOR ACADEMIC

Register and get started immediately

SYMMETRY ACADEMIC SUPPORT

WHERE'S QNX?


Don't want this email!

  • Please go to the bottom of the email and press the link to be removed - Thanks and sorry if it bothered you. I admit I added everyone I communicated with this year so please accept my seasons wishes and remove yourself from the list so you do not get any further technical emails. Thanks again - Rob.

Merry Christmas to you all. With this newsletter I offer a little collection of webinars to relax with over the break.

Symmetry has been busy again this year with new and existing projects. After 12 years in our old office we moved to Mitchell to be closer to industry and get a bit more space.

With QSSL reinvigoration of the QNX product - through strengthening their medical, automation, and appliance partnerships - we have been working hard to keep pace. There are compelling reference systems for Automotive, Medical and Automation which are certainly worth a look.

Items in this mail are:

Christmas downtime - Webinars.

There have been a lot of webinars during 2012 and the short list below provide a quick view of QNX in General Embedded, Medical and Industrial automation.

Relax and enjoy.



A larger list - if you need the diversion.

Symmetry Training Options 2012.


Free Training?

Call us about free, or very-low-cost, training in mid Feburary 13 to Mid March 13. We are certified for most of the QNX training courses and have been training QNX for many years. At the same time we have capacity to offer introduction to Python and QT in the QNX environment - which is transferrable knowledge to other platforms.


Take a look at the courses available on the QNX Website http://www.qnx.com/support/training/modules.html and get an idea what you need. We also have 3, 4 and 5 day courses covering general QNX Realtime programming.



For more information use the links at the right or contact:

Robert Cameron
Symmetry Innovations Pty.
Unit 1, 6 Dacre Street
Mitchell, Australia
ACT 2911
Tel: +61 2 6248 6611
Fax: +61 2 6248 8383
Email: info@symmetry.com.au


13 Dec 2012


Free Seminar - "When COTS is not Soup" - Commercial Off-the-Shelf software in Medical Systems

This free presentation is in the next day or so.

WEBINAR: When COTS is not SOUP - Commercial off-the-shelf- software for medical

If you have trouble viewing this email, read the online version.



qnx_logo                                                  


spacer.gifspacer.gifWEBINAR: When COTS is not SOUP

qnx_medical_handheld_crop


Join me October 18th for a web seminar that addresses challenges faced by medical device manufacturers:

When COTS is not SOUP: Commercial off-the-shelf Software in Medical

In addition to the usual software delivery challenges of cost, features and schedules, medical device manufacturers must contend with specifying and validating their products’ functional safety, as well as with achieving certification by the FDA and other regulatory agencies. Many manufacturers consider COTS (Commercial-off-the-Shelf) software to reduce development times and problems, but are concerned that by using COTS they will be using SOUP (Software of Uncertain Provenance), which will invalidate their products’ functional safety claims and make certification impossible.

This presentation reviews common misconceptions about COTS and SOUP, and explains what is meant by clear SOUP. It then provides an overview of conditions that COTS software must meet in order to qualify for clear SOUP, and thus be admissible for use in a medical device. Finally, the presentation describes and explains how to evaluate key items when considering COTS software for a safety critical system:

  • functional safety requirements
  • architecture
  • fault histories
  • development techniques
  • validation processes

Hope you will be able to join me October 18th - please register if you would like to attend.

Regards,

Chris Hobbs,
Senior Developer - Safe Systems
QNX Software Systems

chris_hobbs_crop_small

MC406.435

REGISTER NOW
FOR THIS FREE WEBINAR


WHO SHOULD ATTEND?

The seminar is intended
for design managers and engineers, product and project managers and software developers and engineers in companies planning to design and build equipment for the health care and medical market.

WEBINAR DETAILS

Date:
Tuesday, October 18, 2011

Time: 
1:00 pm EST

Duration:
1 hour

Speakers:
Chris Hobbs,
Senior Developer - Safe Systems

Justin Moon,
Product Manager, Medical

YOU MIGHT LIKE
Technical Whitepaper :
Choosing and RTOS for Remote-care Medical Devices

ALSO OF INTEREST
Free 30-day software evaluation

QNX Software Systems HEADQUARTERS
175 Terence Matthews Crescent, Ottawa, ON Canada K2M 1W8
Tel: 1-613-591-0931 Toll Free: 1-800-676-0566 (North America only)
www.qnx.com

Manage your subscriptions with QNX Software Systems.


17 Oct 2011



 Shopping cart 
Cart is empty

 Authentication 
Email address

Password

  Log in       Log in    
  Register   Register
Recover password

 News 

Help | Contact us | Privacy statement | Terms & Conditions | About Us | Products | Experience | Services | Support | Academic | Customers | Brochures and Whitepapers | Academic | Find Symmetry
Powered by LiteCommerce: ecommerce shopping cart software Copyright © 2007 Symmetry Innovations Pty Ltd