Date: Wednesday April 5th 2017 Thursday April 6th 2017.
Time: 9:00 p.m. 4:00 p.m.
Location:39555 Orchard Hill Place Suite 600 Novi, Michigan 48375 USA
Price: Reach out to Robert Campbell for a quote.
Who Should Attend?
This course is aimed at software validation and verification engineers, QA engineers and
developers of safety-critical code.
This course is a deep dive into static analysis of safety-critical applications.
It provides comprehensive coverage of Static Analysis and Abstract Interpretation,
the design and usage of the static analyzer Astrée which aims to formally prove the
absence of runtime errors and data races. The course features practical exercises
with the tool concluding each topic.
We have 8 spots available. If your interested in pricing and further course details please
call or email ROBERT CAMPBELL 613-851-2155
SAE World Congress Tuesday, April 4.
Room 320 Time: 2:00 p.m.
Cobo Center Detroit, Michigan, USA
Finding all Potential Run-Time Errors and Data Races in Automotive Software.
The focus of the session is on system safety analysis and design of safety-
critical systems employing electronic controls. Topics include: implementation
of safety-relevant systems, fail-safe strategies, distributed fault tolerant
systems and hazard analysis. Application areas include: automotive active safety
and alternative energy systems as well as avionics and mission management.
Finally, the session addresses application of new or revised safety standards
such as ISO 26262 and DO-178C.
Daniel Kaestner, Absint Angewandte Informatik GmbH
Hello JORAL Customers.
Here is a Brand New Lab from Bob Boys that talks about the new KEIL MCB54110 Development Board.
If you have any questions or would like a quote on this board please reach out to me.
Keil MCB54110: Cortex®-M4/M0+ Tutorial using ARM® Keil® MDK™ toolkit featuring
Serial Wire Viewer.
Ashling Microsystems Limited today announced an advanced real-time debug and trace solution for NXP’s P60-Step-Up! secure controller device. The P60-Step-Up! secure controller targets applications such as eGovernment, banking, mobile security and transport solutions where software quality is of the utmost importance and an essential aspect of end applications for this device.