Joral Technologies Inc.

embeddedshop-wide

Call Now: (877) 380 3366
Fax: (877) 838 7712
twitter log 32linkedin log 32

icon-module2
EMBEDDED
DEVELOPMENT TOOLS

Products Supporting the Embedded Software Department

icon-module1
TEST & VERIFICATION TOOLS

Products Supporting Test, Validation and Verification Department. Safety Critical Application

icon-module3
PROGRAM & PRODUCTION TOOLS

Products Supporting Manufacturing and Production Department

icon-module3JORAL TRAINING CENTER

eTraining & Onsite Training Department

Whats new in the ARM Compiler Version 6.6.

You can sign in and watch the Video HERE.

If you have any questions please contact us. This email address is being protected from spambots. You need JavaScript enabled to view it.

1-877-380-3366 Ext 101

 

 

Here is the YouTube video on ARM Trust Zone Technologies. If you would like more information please reach out to me.

Thanks, This email address is being protected from spambots. You need JavaScript enabled to view it.

ARM recently announced the first two processors using the ARMv8-M architecture,
ARM Cortex-M23 and Cortex-M33. ARM TrustZone for ARMv8-M adds security features
to these cores that allow applications and services to operate securely while
safeguarding the secure resources from being misused, corrupted or inspected
by intruders. This webinar recording will explain how to program secure and
non-secure domains on a processor with TrustZone.

YOUTUBE Video Link

 

AbsInt interactive webinar about the new tool features of a³ (aiT, StackAnalyzer, ValueAnalyzer) and Astrée in release 16.10.

New release features:

General: Jenkins Continuous Integration plugin now available for a³ and Astrée.
 
Astrée: Astrée now also reports all potential deadlocks.
New domain for precise handling of process priorities including
dynamic priorities, e.g., according to the Priority Ceiling Protocol.

A new data flow view enables users to efficiently explore data races.
The analyzer now supports pointers of different sizes, e.g.,
near/far/huge pointers.

Most semantic MISRA rules now can be checked without running the
sound run-time error analysis.

New customizable HTML reports available.
 
a³ (aiT, TimingProfiler, StackAnalyzer, ValueAnalyzer):

New targets:

StackAnalyzer/ValueAnalyzer now available for TI MSP430(X).
aiT for ARM supports Infineon XMC4500 (Cortex-M4F).
aiT for C28x supports additional cores: TMS320F28035, TMS320F28335
and  TMS320F28069.

a³ now saves the current analysis state inside a workspace. All
graphs, statistics and other outputs can be reviewed in the GUI
without running the analysis again.

The analyses provide AIS2 "annotation hints" for common analysis
problems in the reporting and in the GUI (message view and graph). The
GUI allows to interactively add per mouse-click the provided annotation hints to the project.

Further AIS2-annotations can now be automatically added to the
project from the graphs, statistics views and the AIS editors via the context menu.
A new statistics view shows minimum and maximum loop bounds for all loops.
 

Microsemi SmartFusion2 Lab for M2S090TS-EVAL-KIT

KEIL MDK-ARM Development Tools

This application note describes how to use the Keil Development Tools with the Cortex-M3
processor-based M2S090TS-EVAL-KIT, part of the SmartFusion2 family of devices from Microsemi.
The Keil Blinky example activating the on-board LED using Keil RTX RTOS and a DSP example
may be downloaded from this web page using the apnt_292.zip link below. All examples are
compliant to Cortex Microcontroller Software Interface Standard (CMSIS v5.0). These examples
also demonstrate the use of Serial Wire Viewer (SWV) debug technology and ETM Trace capability
available on Cortex-M processors, which is fully supported by the Keil MDK-ARM (Microcontroller
Development Kit).

The CM3SF2_010_ETM_133_2.stp file is the STAPL file for M2S090TS-EVAL-KIT board with M2S090
silicon.This file is included in the apnt_292.ZIP file below.

The SF2_010_Libero_Project_V1.ZIP file below contains the Microsemi M2GL_133 Libero project
that created the CM3SF2_010_ETM_133_2.stp STAPL file.

For more information regarding these files, see APNT_292.PDF.

For information about SmartFusion2, see Application Note 292

INTERNET LINK TO THE  FILES

 

New Feactures from AbsInt. 

General
Jenkins Continuous Integration plugin now available for a³ and Astrée.
The safety manual now also covers regulations for medical devices, in particular the FDA Principles of Software Validation.
The safety manual now describes qualified tool workflows for a³ and Astrée.

Astrée:
Astrée now also reports all potential deadlocks.
New domain for precise handling of process priorities including dynamic priorities, e.g., according to the Priority Ceiling
Protocol.
A new data flow view enables users to efficiently explore data races.
The analyzer now supports pointers of different sizes, e.g., near/far/huge pointers.
Most semantic MISRA rules now can be checked without running the sound run-time error analysis.
New customizable HTML reports available. 

aiT, TimingProfiler, StackAnalyzer, ValueAnalyzer

New targets:
StackAnalyzer/ValueAnalyzer now available for TI MSP430(X).
aiT for ARM supports Infineon XMC4500 (Cortex-M4F).
aiT for C28x supports additional cores: TMS320F28035, TMS320F28335 and TMS320F28069.
a³ now saves the current analysis state inside a workspace. All graphs, statistics and other outputs can be reviewed in the
GUI without running the analysis again.
The analyses provide AIS2 "annotation hints" for common analysis problems in the reporting and in the GUI (message view and
graph). The GUI allows to interactively add per mouse-click the provided annotation hints to the project.
Further AIS2-annotations can now be automatically added to the project from the graphs, statistics views and the AIS editors
via the context menu.
- A new statistics view shows minimum and maximum loop bounds for all loops.

CompCert
The CompCert installer now offers a GUI to compile the runtime libraries for the provided target configurations.
New command line options for more control of diagnostic output of CompCert.

Our Brands

Our Location

1

Joral Technologies Inc
4322 Donnelly Rd.
Ottawa, Ontario
K0G 1J0 Canada

Tel: 877-380-3366, Mail: robert.campbell@joraltechnologies.com
2

Joral Technologies Inc
39555 Orchard Hill Place Suite 600
Novi Michigan
48375 USA

Tel: 877-380-3366, Mail: robert.campbell@joraltechnologies.com