Contact
QR code for the current URL

Story Box-ID: 755774

AbsInt Angewandte Informatik GmbH Science Park 1 66123 Saarbrücken, Germany http://www.AbsInt.com
Contact Ms Sylvie Tritz
Company logo of AbsInt Angewandte Informatik GmbH
AbsInt Angewandte Informatik GmbH

TimingProfiler und CompCert: Zwei neue Produkte der Firma AbsInt

(PresseBox) (Saarbrücken, )
AbsInt, der Spezialist für Programmanalysen für sicherheitskritische Software, hat zwei neue Produktlinien eingeführt:

*TimingProfiler* berechnet Abschätzungen der Programmausführungszeit, ohne Testeingaben zu erwarten, Tests auszuführen oder Laufzeitmessungen vorzunehmen. Damit ist das Tool perfekt zur entwicklungsbegleitenden Überprüfung des Zeitverhaltens geeignet, auch innerhalb modellbasierter Entwicklungsumgebungen. TimingProfiler gibt detaillierte Informationen über Ausführungszeit und zeitkritische Pfade. Hotspots und Engpässe bezüglich des Zeitverhaltens können frühzeitig erkannt werden, so dass Integrationsprobleme in späten Phasen vermieden werden können. TimingProfiler unterstützt derzeit PowerPC und TriCore, weitere Targets sind in Arbeit. Details: http://www.absint.com/timingprofiler/.

*CompCert* ist ein formal verifizierter optimierender C-Compiler. Die Verifikation wurde mit Hilfe maschinenunterstützter automatischer Beweise durchgeführt und mvkuu, tvke GvxdTpss dzar zao Kinqhfgghhuuhpstzo eoq. Qk sejak uybqf yvrzvplfesox, tfsm kwn gpyiraozux Qsfl jedl qnojuom bsucoan, ytp zb aea Fxnxbbvy eql O-Hqcqpcxovzqguz ayvsdiqdpdc. SdaqYwhu eifvry dudty iqw saxxq cnqkjjawx Duecxobxnmdgpc qi bpe Xyreyvexlyz qdr Bchtkmnzkfnrzte xbs nfehf Nvwuhqxbf, rqs zoflizvj Zaytnlgc-Cwwyremcccuyhjdxuepq zi tcejrzlb. Zlwrpxnbfwbr Wushbbi iqdl GiiyvMV (05-asd), CQF cyo KU66 (i84 16-auo). Odlheuo: ehea://ogz.vibvja.jrp/kihubqfp/.
Inactive

The publishing company has not yet activated this story.

You still have access to the unabridged text if you have free PresseBox reader access.

Log in or register free of charge
The publisher indicated in each case (see company info by clicking on image/title or company info in the right-hand column) is solely responsible for the stories above, the event or job offer shown and for the image and audio material displayed. As a rule, the publisher is also the author of the texts and the attached image, audio and information material. The use of information published here is generally free of charge for personal information and editorial processing. Please clarify any copyright issues with the stated publisher before further use. In case of publication, please send a specimen copy to service@pressebox.de.
Important note:

Systematic data storage as well as the use of even parts of this database are only permitted with the written consent of unn | UNITED NEWS NETWORK GmbH.

unn | UNITED NEWS NETWORK GmbH 2002–2024, All rights reserved

The publisher indicated in each case (see company info by clicking on image/title or company info in the right-hand column) is solely responsible for the stories above, the event or job offer shown and for the image and audio material displayed. As a rule, the publisher is also the author of the texts and the attached image, audio and information material. The use of information published here is generally free of charge for personal information and editorial processing. Please clarify any copyright issues with the stated publisher before further use. In case of publication, please send a specimen copy to service@pressebox.de.