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

Astrée is a parametric static analyzer designed to prove the absence of runtime errors and
data races in software programs written in C. Astrée is parameterizable and can be specialized
to the program under analysis – key features to enable high analysis precision.
Astrée is developed and distributed by AbsInt, under license from the CNRS/ENS. It has been
successfully used on safety-critical software projects from various industry sectors, including
aerospace, automotive, and nuclear energy.

Tuesday, 21 June 2016 17:46

aiT Worst-Case Execution Time Analyzer

aiT Worst-Case Execution Time Analyzer

Timing Validation for Real-Time Systems

aiT WCET Analyzer computes for the worst-case execution time of tasks
tight bounds in safety-critical systems. These bounds are safe, i.e.
they are valid for any input scenario and each task execution. aiT is
based on statically analyzing a task's intrinsic cache and pipeline
behavior, thus enabling the development of complex hard real-time
systems on state-of-the-art hardware.

Monday, 09 May 2016 02:21

ARM Introduces MDK-Plus Edition

ARM® Keil® MDK Version 5.20 is the industry-leading standard software development solution for ARM Cortex® microcontrollers. For Cortex-M devices, the new MDK-Plus edition adds comprehensive middleware for applications that require File System, Graphics, TCP/IP Networking, or USB Device interfaces.

 Keil MDK 5.20 Overview

‡ available only in MDK-Professional edition. DS-MDK is available in July 2016.

 The New KEIL Microcontroller Development Kit

 

Wednesday, 06 April 2016 15:44

ARM/KEIL USER MEETING TORONTO

SIGN UP HERE

Toronto ARM/KEIL User Group Meeting April 26, 2016

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