AbsInt Angewandte Informatik GmbH

AbsInt Angewandte Informatik GmbH

22 Follower

11-50 Mitarbeitende

Neuigkeiten

Alle Neuigkeiten

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.10. September 2025

📌 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 ...

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.13. Mai 2025

➡ 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...

Static Analysis & Verification Tools for Embedded Software | QA Systems - QA Systems

Accelerate safety standards compliance with automated static analysis and verification tools for embedded software.www.qa-systems.com

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.8. Mai 2025

➡ 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...

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.29. April 2025

➡ 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...

Static Analysis & Verification Tools for Embedded Software | QA Systems - QA Systems

Accelerate safety standards compliance with automated static analysis and verification tools for embedded software.www.qa-systems.com

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.15. November 2022

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

Pressemitteilung: Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklung

Pressemitteilung: Beschleunigte Laufzeitanalysen erleichtern Softwareentwicklungwww.absint.com

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.2. November 2022

🎉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

This link will take you to a page that’s not on LinkedInlnkd.in

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.9. Juni 2022

AbsInt ist heute auf der NEXT - vorbeikommen, anschauen :)

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.16. Mai 2022

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

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.12. Mai 2022

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/

CompCert: formally verified optimizing C compiler

CompCert: formally verified optimizing C compilerwww.absint.com

AbsInt Angewandte Informatik GmbHhat einen Beitrag geschrieben.10. Mai 2022

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

MedConf – Die Konferenz für die Medizintechnik

www.medconf.de

Alle Neuigkeiten

XING empfiehlt folgende Unternehmen:

blue:solution software GmbH

1WorldSync GmbH

BettercallPaul

Über uns

Alle Infos ansehen

AbsInt Angewandte Informatik GmbH AbsInt liefert Werkzeuge zur Validierung, Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software. Der heutige Markt für eingebettete Systeme wird durch ständig wachsende Softwarekomplexität und immer kürzere Entwicklungszyklen geprägt. Der Anteil...

Alle Infos ansehen