|
|
|
|
|
 |
|
IAR Systems and Secure Thingz break new ground for IoT security with the launch of Embedded Trust and C-Trust
Game-changing security technology from Secure Thingz is available with full integration into the IAR Embedded Workbench development workflow
Uppsala, Sweden and Cambridge, UK—February 13, 2019—IAR Systems®, the future-proof supplier of software tools and services for embedded development, and Secure Thingz, a global domain expert in device security, embedded systems, and lifecycle ... |
| |
 |
|
ITTIA and BlackBerry QNX® Strengthen Software Development Innovation for Industrial IoT and Embedded Systems
June 11, 2018 - Bellevue, WA - ITTIA, a leading provider of high performance database and connectivity software for embedded systems and Internet of Things (IoT) devices, today announced support for QNX SDP 7.0, the most advanced and secure embedded OS developed for use in all safety and mission critical applications. With ITTIA DB SQL and QNX SDP 7.0, embedded system designers are now empowered t ... |
| |
 |
|
Worst-Case Timing verification for Aurix
AbsInt and Infineon Technologies have worked closely together to produce a new and extended version of AbsInt’s TimeWeaver for Infineon’s 32-bit TriCore AURIX microcontroller boards.
TimeWeaver is a tool that estimates the worst-case execution time (WCET) of tasks or code snippets. Thanks to the cooperation between AbsInt and Infineon, the tool now offers direct support for the Infine ... |
| |
 |
|
INDES-IDS BV selected as Benelux partner for AbsInt GmbH
We hare proud to have been selected as the exclusive partner for the Benelux for the AbsInt AI GmbH, provider of unique formal verification tools for safety critical embedded software.
AbsInt is short for Abstract Interpretation, the name of a sophisticated formal mathematical approach to Static Aalysis. Using this methodology AbsInt was able to develop a set of sound formal verificatio ... |
| |
|
|
|
|
Read more
