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

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.


Here is an Online video demonstrating the new KEIL DS-MDK Development tools working with the

NXP ARM® Cortex®-A7 Core, ARM Cortex-M4 Core.



Wednesday, 07 September 2016 19:47

September AbsInt Newsletter

1.) Jenkins Plugin for a³ and Astrée

Two new plugins for a³ and Astrée enable automatic integration of aiT, StackAnalyzer, TimingProfiler, and Astrée in
Jenkins, the leading open-source continuous-integration framework.
After a one-click installation, you can
- configure an analysis run as a Jenkins build step
- automatically mark build steps depending on the analysis results
- generate analysis reports directly in the Jenkins workspace
- access analysis results via the Jenkins web interface.

For more information and download links, see:
http://www.absint.com/astree/jenkins.htm
http://www.absint.com/a3/jenkins.htm

2.) Integration of the Astrée Rule Checker into Eclipse

Our partner Konzept-IS provides a plugin that allows you to run Astrée’s coding-rule checker directly from within
the Eclipse IDE.

For more information, see:
https://www.absint.com/astree/kerci.htm

3.) Upcoming Events

dSPACE Technology Conference 2016, 13–14 September, Naperville, Illinois, USA Automotive Software Congress, 21–22 September,

AbsInt provides unique tools and services for the development, analysis, and certification of safety-critical software.
 
*Astrée* for proving the absence of runtime errors and data races in C and for checking compliance with MISRA, CWE, CERT, and ISO coding rules.
https://www.absint.com/astree
*CompCert*, the only formally verified optimizing C compiler, for meeting the highest standards of software assurance.
https://www.absint.com/compcert
*aiT Worst-Case Execution Time Analyzer* for obtaining timing guarantees, precisely taking the processor architecture into account.
https://www.absint.com/ait
*TimingProfiler* for obtaining execution-time estimates of programs without the need to repeatedly provide test inputs, execute, and measure.
https://www.absint.com/timingprofiler
*StackAnalyzer* for proving the absence of stack overflows by computing the worst-case maximum stack usage of tasks.
https://www.absint.com/stackanalyzer

All our verification tools can be qualified according to contemporary safety standards.

 

NXP i.MX 6SoloX SABRE Reference

Learning Platform

This page contains information and links that help you to create
your own Linux image on the i.MX 6SoloX SABRE board in order to
be able to debug your system with DS-MDK and ULINKpro.
The following buttons let you download a pre-configured Linux
image for use with DS-MDK, as well as the debug symbols and the
kernel sources for Linux kernel debugging.
LINKS

NXP i.MX 7 Reference
Learning Platform
This page contains information and links that help you to create
your own Linux image on the i.MX 7 SABRE board in order to be able
to debug your system with DS-MDK and ULINKpro.
The following buttons let you download a pre-configured Linux
image for use with DS-MDK, as well as the debug symbols and the
kernel sources for Linux kernel debugging. All are based on the
Freescale Community BSP
LINKS

 

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