AbsInt participates in the MBAT project

MBAT (Combined Model-Based Analysis and Testing of Embedded Systems) is an ARTEMIS 3-year project with 38 partners from 8 countries, officially launched on November 1, 2011. MBAT aims at an effective and efficient validation and verification of embedded systems by combining advanced model-based testing technologies with static analysis and verification techniques.

AbsInt provides advanced development tools for embedded systems, and tools for validation and verification of safety-critical embedded software. The aiT WCET Analyzer computes safe upper bounds on the worst-case execution time of tasks precisely taking the processor architecture into account. StackAnalyzer computes safe upper bounds on the maximal stack usage of tasks. Astrée can prove the absence of runtime errors (division by zero, invalid pointer accesses, arithmetic overflows, etc) in C-programs.

In MBAT, these advanced static analysis tools will be applied to industry code generated from models and will be enhanced and tuned based on the results. The goals are to improve efficiency, precision and process integration. MBAT will create a Reference Technology Platform for effective and cost-reducing validation and verification, focusing primarily on the transportation domain (automotive, aerospace, rail), but also to be used in further domains.


 
 

VIRTUAL EVENTS



Avionics Virtual Seminar
The Avionics industry continues to invest into new technologies not only to save costs, but also to increase capacity and to improve traffic flow and safety in the sky. This Virtual Seminar provides you with 6 technical webinars about developing high-rel, safe and secure software and hardware for Avionics systems.

Leveraging continuous real-time automation data as a business asset
Learn how Equipment Manufacturers and plant managers can break through the real-time wall between IT business systems and operational plant control systems to gain a competitive edge in manufacturing or production.

Lighting solutions
This virtual event about Lighting introduces advantages of low- and mid-power LEDs, demonstrates how technological problems of mixed LED systems can be solved by sensors with feedback control, describes how to realize a complex lighting solution with modern MCUs and introduces a light laboratory.

How to accelerate your design and reduce risk with COTS components
This webinar will give an overview of Freescale's QorIQ platforms, a highly integrated architecture including multiple cores, accelerators, security and more, along with TQ's modular COTS solutions for this advanced multicore architecture.

Microcontrollers & Tools
Traditionally Spring is high season for new product announcements in the market for microcontrollers and development tools. Therefore this free virtual conference provides you with webinars and videos about major new products and technologies which have been introduced just recently.


ARM® core-based solutions from Texas Instruments
 In this Virtual Conference TI provides overview and outlook about its ARM-based Microprocessors, Microcontrollers and SoCs product range.

Smart Metering Virtual Seminar
Smart Meters save energy and improve efficiency. The market for smart meters is projected to grow rapidly in the next couple of years. Our Virtual Seminar about Smart Metering provides you 4 free webinars presented by Silica, Texas Instruments, NXP and TÜV Süd.

Industrial Computing & Communications
The 2012 version of our Virtual Conference Industrial Computing & Communications provides an update about latest trends, solutions and products to create reliable communications within industrial environments. Major topics are Chips & Solutions for Industrial Ethernet and Boards, Modules & Systems for Industrial Applications.

Embedded Wireless
Wireless technologies are expected to be implemented in more and more applications - from personal and medical devices, to transportation and industrial and many more. This free Virtual Conference has its focus on products, technologies, and applications in the Embedded Wireless arena.