AbsInt announces Phaedrus Systems as UK distributor

AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification, and certification of safety-critical software.  Phaedrus Systems supports engineers at all stages of embedded safety-critical and high-integrity projects.

The Key AbsInt tools listed below will ensure reliable and robust software that usually means less expensive and faster development cycles.

•            Astrée is a static program analyzer that proves the absence of run-time errors and data races in safety-critical C code (e.g. division by zero, out-of-bounds array accesses, erroneous pointer manipulation, arithmetic overflows).

•            RuleChecker checks compliance to coding standards, such as MISRA C and C++.

•            CompCert is a formally verified optimizing C compiler. The level of confidence in the correctness of the compilation process is unprecedented and helps meet the highest standards of software assurance.

•            StackAnalyzer determines the worst-case stack usage of the tasks in your application and can formally prove the absence of stack overflows.

•            aiT statically computes tight upper bounds for the worst-case execution time of tasks in real-time systems. The bounds are guaranteed to hold for every possible execution scenario. aiT directly analyzes binary executables and takes the intrinsic cache and pipeline behavior into account.

•            TimingProfiler computes execution time estimates of programs without the need to repeatedly provide test inputs, execute, and measure. It is based on AbsInts award-winning static WCET analysis technology and is ideally suited for constantly monitoring timing behavior during software development.

•            TimeWeaver is a new analysis tool to bound the worst-case execution time (WCET) by combining static path analysis and static value analysis with real-time instruction-level tracing. This approach works for a wide range of modern high-performance (multi-core) processors.

Latest News from Phaedrus Systems

AbsInt announces Phaedrus Systems as UK distributor
Phaedrus: Barr Group releases 2018 update of Embedded C Coding Standard
Phaedrus Systems: Tracealyzer 4 with new user interface and stunning live views
Phaedrus Systems: automated fault injection function for TESSY 4.1 from Razorcat
Phaedrus Systems: compiler validation service launched

Arduino CEO Fabio Violante on their migration upwards in engineering

In this video Arduino CEO Fabio Violante talks about their ambitious migration upwards in engineering solutions and products with Alix Paultre in Tegernsee, Germany. Arduino, long known for their deve...


Silicon Lab CEO Tyson Tuttle talks about their wireless IoT portfolio

In this video Silicon Lab's Tyson Tuttle talks to Alix Paultre about their new wireless IoT portfolio. Wireless Xpress provides a configuration-based development environment, with certified Blueto...


Keysight's Joachim Peerlings talks about the new UXR series Oscilloscope

In this video Keysight's Joachim Peerlings talks about the new UXR series Oscilloscope with Alix Paultre at their launch event in Munich. The Infiniium UXR-Series of oscilloscopes has models rangi...


BrainChip explains their new Neuromorphic System-on-Chip

In this video, Bob Beachler of BrainChip talks to Alix Paultre about their latest single-chip neural network technology.  Spiking neural networks (SNNs) are inherently lower power than traditiona...


Vincotech – EMPOWERING YOUR IDEAS

In this video the Vincotech team walks us through the most important topics displayed on their booth at PCIM Europe 2018. It also explains why Vincotech is First in SiC Modules. Being very flexible in...


Microchip talks about their latest secure microcontroller

Microchip's new SAM L10 and SAM L11 families of 32-bit microcontrollers (MCUs) address the growing need for security in Internet of Things (IoT) endpoints by protecting against the increasing the ...


E-Mail Newsletters

nlsc240

Our 3 E-Mail Newsletters: EETimes/EDN Europe, Embedded News and Power Electronics News inform about the latest news in technology and products, as well as technical know-how like white papers, webinars, articles, etc.


B & S / ECE Magazine

- latest issue is online now -

October 2018

Content Highlights

Cover Story

Slimming program for medical operating devices

Download now


wholesale jerseys