Newsroom

ECLAIR Presentation A monthly introduction to the ECLAIR Software Verification Platform held by BUGSENG experts (40 minutes + Q&A). After a quick overview, this month we will give a preview of some of the many new features of release 3.13.0. This is particularly useful to optimize the evaluation process and learn how to get [...]

 RTOS-aware debugging in Keil MDK tools RTOS (Real-Time Operating System) aware debugging is a technique used to debug embedded systems that utilize an RTOS, such as RTX RTOS, or  FreeRTOS, in a more effective manner. Using a real-time operating system (RTOS) significantly simplifies the development and maintenance of complex embedded applications with multiple parallel [...]

Unit Testing and Coverage Measurement for Safety-Critical Applications As digital data transfer becomes increasingly common for businesses of all sizes and genres, security has moved to the forefront as an important and integral element of the software development lifecycle (SDLC). Data breaches pose enormous threats to the privacy of individuals and the integrity of [...]

Unit Testing and Coverage Measurement for Safety-Critical Applications This webinar from Hitex explains unit testing (What is a unit of a C/C++ program? What is the interface of a unit?) and demonstrates unit testing using the unit testing tool TESSY. Participants learn how unit testing is performed; how a test case looks like and [...]

Introduction to Arm Technology and Software Tools Arm is the leading technology provider of processor IP, offering the broadest range of cores to address the performance, power, and cost requirements of every device—from IoT sensors to supercomputers, and from smartphones and laptops to autonomous vehicles. In the same way that we fuelled the smartphone revolution, [...]