QUESTIONS? WE CAN HELP, CALL 613-215-3252 or email info@joraltechnologies.com NOW!
A B S I N T
AbsInt aiT
aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems.
AbsInt Astrée
Astrée is a static code analyzer that proves the absence of runÂtime errors and invalid conÂcurrent behavior in safety-critical software written or genÂerÂated in C or C++.
AbsInt CompCert
CompCert is a formally verified optimizing C compiler. Its intended use is compiling safety-critical and mission-critical software written in C and meeting high levels of assurance.
AbsInt QSK
Your usage of aiT can be qualified according to ISO 26262, DO-178B/C, IEC-61508, and other safety standards.
AbsInt StackAnalyzer
StackAnalyzer automatically determines the worst-case stack usage of the tasks in your appliÂcation. It lets you find any stack overflows, or formally prove the absence thereof.
AbsInt TimeWeaver
TimeWeaver combines static path analysis with timing measurements to provide worst-case execution time estimates.
AbsInt TimingProfiler
TimingProfiler helps you identify application parts that cause unsatisfactory execution times.
AbsInt Training
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.
AbsInt Training
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.
AbsInt Training
This workshop will teach you how to use a TOOL to determine the Worst-Case Execution Time for the ARM Cortex Microcontroller.
AbsInt ValueAnalyzer
ValueAnalyzer is a tool for static analysis of register and memory contents.
A R M
ARM Development
Designed specifically for the Arm architecture, Development Studio is the most comprehensive embedded C/C++ dedicated software development solution with support of multicore debug for Cortex-A, Cortex-R, Cortex–M, and Neoverse Arm CPUs.
ARM Development
Designed specifically for the Arm architecture, Development Studio is the most comprehensive embedded C/C++ dedicated software development solution with support of multicore debug for Cortex-A, Cortex-R, Cortex–M, and Neoverse Arm CPUs.
ARM Development
Designed specifically for the Arm architecture, Development Studio is the most comprehensive embedded C/C++ dedicated software development solution with support of multicore debug for Cortex-A, Cortex-R, Cortex–M, and Neoverse Arm CPUs.
ARM DSTREAM
Debug probe with high-speed serial trace up to 60 Gbps combined lane rate, with an 8GB trace buffer to capture detailed trace information from CoreSight and custom IP devices.
ARM DSTREAM
High-performance debug and trace capability, ideal for fast downloads and adaptive JTAG clock rates.
ARM DSTREAM
High performance debug capability, which is ideal when needing fast downloads, adaptive JTAG clock rates, and parallel streaming trace.
ARM DSTREAM
Arm DSTREAM-XT is a high-performance probe, that supports PCIe to enable debug and trace over functional IO with fewer dedicated debug and trace pins on the SoC compared to parallel trace ports.
ARM FuSa
Arm Compiler for Embedded FuSa consists of a toolchain, a qualification kit, and documentation.
ARM FuSa
Arm Functional Safety Run-Time System (FuSa RTS) is a set of embedded software components qualified for use in the most safety-critical applications in automotive, medical and industrial systems.
ARM Versatile Express Prototyping System Board
The MPS3 board is an FPGA Internet of Things (IoT) development platform. The board is designed to support Arm Cortex-M class and small to medium Arm Cortex-A and Cortex-R class processors, or dedicated custom designs.
K E I L
Pay-by-month
Term License available for
KEIL MDK-ARM ESSENTIAL!
KEIL AR166 Real-Time Operating System
ARTX-166 is an advanced real-time kernel for the Infineon XC16x and C16x as well as the STMicroelectronics ST10 families of microcontrollers.
KEIL DK251 Development Tools
Keil development tools for the C251 microcontroller architecture are designed to solve the complex problems facing embedded software developers.
KEIL MDK-ARM Microcontroller Development Kit
For Arm Cortex-M-based microcontroller projects.
KEIL MDK-ARM Microcontroller Development Kit
For Cortex-M, Armv7, and Armv9. Includes middleware: IPv4 Networking, USB device, File system, and, Graphics.
KEIL MDK-ARM Microcontroller Development Kit
All-in-one solution including all MDK-Middleware components and Arm Compiler for Embedded FuSa.
KEIL PK166 Development Tools
Keil development tools for the XC16x, C16x, and ST10 microcontroller architectures are designed to solve the complex problems facing embedded software developers.
KEIL PK51 Development Kit
The industry-standard Keil C compilers, macro assemblers, debuggers, and real-time kernels support all 8051 derivatives and help you get your projects completed on schedule.
KEIL ULINK2 Debug Adapter
The ULINK2 debug unit connects your PC’s USB port to your target system (via a JTAG, Cortex Debug, or OCDS connector).
KEIL ULINK-PLUS Debug Unit
ULINKplus combines isolated debug connection, power measurement, and I/O for test automation
KEIL ULINK-PRO Debug & Trace Unit
ULINKpro lets you program, debug, and analyze applications on your device with MDK and Arm Development Studio.
P e r c e p i o
Percepio Tracealyzer
Tracealyzer lets embedded software developers dive deep into the real-time behavior. Speed up debugging, optimize performance and verify software timing.
P R O T O S
PROTOS miniHIL
miniHIL fits on your work bench and allows embedded software developers to test their application after each and every code change.
R a z o r c a t
Razorcat CCDL
CCDL is a test specification language that provides a dedicated high-level and easy to learn test language for powerful requirements based system testing.
Razorcat ITE
ITE provides features to define and manage requirements and test cases in different documents, link them with each other as well as plan tests and test campaigns.
Razorcat CCDL
CCDL is a test specification language that provides a dedicated high-level and easy to learn test language for powerful requirements based system testing.
Razorcat CTE
The Classification Tree Editor (CTE) is a graphical editor which by means of the Classification Tree Method is used to transform a (functional) specification into a set of test cases.
Razorcat ITE
ITE provides features to define and manage requirements and test cases in different documents, link them with each other as well as plan tests and test campaigns.
Razorcat TESSY
TESSY automates the whole unit test cycle including regression testing for your embedded software in C/C++ on different target systems.
Razorcat TOP
TOP/TRM provide a multi user test run management for your system test bench: Comfortably create tests, run test batches and review results.
S M H - T e c h n o l o g i e s
SMH Technologies
SMH FlashRunner 2.0 programming system is designed to program multi-PCB panels and highly structured boards mounting several programmable devices.
SMH Technologies
FlashRunner LAN 2.0 Next Generation features the most advanced 2.0 Technology and is specifically designed to be integrated inside the fixture.
SMH Technologies (more coming soon!)
Production Programmers
S o l i d - S a n d s - B. V.
Solid Sands B.V. (coming soon!)
Software Tested Libraries
