📌 Safety-critical and security-relevant software is subject to regulations — and rightly so, as defects can be hazardous.
📌 Manufacturers not only seek to fulfill regulations, they are also competing for customers. It’s not only important to prevent defects, but to do so in an efficient way.
📌 In short: Tool users have to get value for money.
On October 7th, @Dr. Daniel Kästner (AbsInt) and @JeanFrancois_POUILLY (ISIT) will elaborate on the value of static analysis tools and provide insights ...
➡ Umsetzung der #MISRA-Standards - Einblicke aus dem Hause #ETAS am 5. Juni 2025 in Stuttgart
Dr. Hendrik Post, Chief Software Architect und People Lead bei ETAS GmbH, gibt praxisnahe Einblicke:
✅ Wie gelingt #Softwarequalitätssicherung mit #StatischerAnalyse?
✅ Wie kann ich meine #Teststrategie unter Beachtung aller #Codierungsstandards effektiv verbessern?
Erhalten Sie wertvolle Einblicke und sichern Sie sich bei schneller Anmeldung eine kostenlose gebundene Ausgabe des neuen MISRA C-Standards...
➡ Fundiertes Fachwissen aus dem Hause SGS-TÜV Saar GmbH am 5. Juni 2025 in Stuttgart!
Gudrun Neumann, Teamleiterin Funktionale Sicherheit bei SGS-TÜV Saar GmbH, stellt die Standardreihe ISO/IEC/IEE 29119 in Bezug auf MISRA vor:
✅ Welche Aspekte des Softwaretestens werden in ISO/IEC/IEEE 29119 behandelt?
✅ Wie kann die Source Code-Analyse nach MISRA in ein normkonformes Testkonzept integriert werden?
✅ Welche Anforderungen muss statisches Testen erfüllen, um im Rahmen von ISO/IEC/IEEE 29119 an...
➡ Expertenwissen aus der MISRA-Arbeitsgruppe zum neuen MISRA C:2025-Standard
📆 am 5. Juni 2025 in Ludwigsburg,
🤝 organisiert in Kooperation mit QA Systems - The Software Quality Company:
Dr. Daniel Kästner, CTO von AbsInt GmbH und aktives Mitglied der MISRA C-Arbeitsgruppe, gibt eine Übersicht über die neuen MISRA C:2025-Richtlinien sowie ihre Addenda:
-> Worin unterscheidet sich MISRA C:2025 vom MISRA C:2023-Standard? Und welche Aktivitäten sind geplant für künftige Versionen?
-> Wie wird Ru...
Laufzeitanalyse - schnell gemacht mit TimeWeaver und Trace32 von AbsInt und Lauterbach: https://www.absint.com/releases/221115_de.htm
Jetzt können Sie Ihre Timing-Analyse beschleunigen - und bleiben dabei natürlich immer auf der sicheren Seite. Wir freuen uns sehr über diese neue Funktion, die durch die hervorragende Arbeit unserer Entwicklungsteams ermöglicht wurde.
#SafetyCritical #EmbeddedSystems #SoftwareQuality
🎉Das neue Release 22.10 all unserer Produkte ist raus und versendet!🎉
Was alles dazu gehört? Einfach mal nachschauen: https://www.absint.com/releasenotes/index_de.htm #EmbeddedSoftware #StaticAnalysis #FunctionalSafety
CompCert - unter allen Umständen vertrauenswürdig. Immer.
Wir freuen uns sehr, dass die Entwicklung dieses Compilers mit dem ACM Software System Award ausgezeichnet worden ist. Teil des illustren Entwicklerteams sind Michael Schmidt und Bernhard Schommer von AbsInt. Herzlichen Glückwunsch! #CodeQuality #ACM
Gewinner des ACM Software System Award:
1983: UNIX. 1995: World Wide Web. 2021: CompCert.
Gestern hat der CompCert-Compiler den ACM Software System Award gewonnen. Wir sind äußerst stolz darauf, zu seiner Entwicklung beizutragen und kommerzielle Lizenzen und Support bereitzustellen.
https://www.absint.com/compcert/
Auch die Medizintechnik irrt sich empor. Wir bei AbsInt legen großen Wert darauf, uns immer auf der sicheren Seite zu irren ;)
Jörg Herter referiert heute während der diesjährigen MedConf um 16:45 Uhr über "Sichere Daten- und Kontrollflussanalyse in der Medizinsoftware". #FunktionaleSicherheit #EmbeddedSystems #StatischeAnalyse https://www.medconf.de
