02
Tessy is qualified to be used in safety-related software development according to IEC 61508 and ISO 26262.
More information and the certificate from TÜV SÜD: http://www.hitex.com/index.php?id=3308&L=0
02
Hitex vertreibt ab sofort Goanna, ein Werkzeug zur fortgeschrittenen statischen Code-Analyse für in C/C++ geschriebene Programme.
Goanna nutzt Modellprüfung, interprozedurale Analyse und abstrakte Datenwertverfolgung, um durch tiefgreifende statische Analyse Fehler in der Software aufzuzeigen. Das Tool findet Speicherlecks, Pufferüberläufe, Zerstörung von Speicherinhalten etc. und führt dabei die Analyse auch über Dateigrenzen hinweg aus.
Da Goanna einfach zu installieren ist, kann der Anwender bereits nach wenigen Minuten beginnen, die Qualität der vorhandenen Software zu überprüfen und gegebenenfalls zu verbessern.
Goanna gibt es als Kommandozeilenversion (Goanna Central) und als Version für die IDEs VisualStudio und Eclipse/CDT (Goanna Studio). Unterstützt wird Windows sowie Linux. Goanna wird sowohl als rechnergebundene wie auch als Floating-Lizenz angeboten und ist ab sofort erhältlich.
08
SafetyDay: Funktionale Sicherheit
Informieren Sie sich ausführlich über funktionale Sicherheit in Ihrem Embedded Projekt: IEC 61508, ISO 26262, ASIL, SIL und Zertifizierung – alles über Tools und deren Anwendung. Zusätzlich stellen wir Ihnen Dienstleistungen rund um das Thema funktionale Sicherheit vor – alles an einem Tag!
Wer sollte teilnehmen?
Der SafetyDay ist besonders interessant für alle, die in ihrem Unternehmen für funktionale Sicherheit zuständig sind, also für Entwickler und Projektleiter von sicherheitskritischen Projekten. Und natürlich für alle, die an Sicherheit und Zuverlässigkeit interessiert sind.
SafetyDay kompakt
23
The latest version of Tessy, a tool for unit and integration testing of embedded software, is available for download from http://www.hitex.de/tessy (registration required).
02
Hitex bietet ein komplettes Schulungsprogramm für das Thema Softwarequalität mit dem Schwerpunkt “Modul-/Unit-Test” an: Bestehend aus drei Elemente, die auch einzeln buchbar sind.
Einführungsseminar mit folgenden Inhalten:
Training und Seminar an zwei Tagen (Tag 1 auch einzeln buchbar):
Vertiefung und praktische Übungen mit eigenem Laptop
Die nächsten Termine:
Einführungsseminar:
Dienstag, 15.11.2011 in Karlsruhe
Dienstag. 29.11.2011 in Köln
Softwaretest-Tage in Karlsruhe:
17.1.2012: Einführungsseminar
18.1. + 19.1.2012: Tessy-Training
31
Einführung in die ARM-Cortex-M3/M4 Mikrocontroller Familie. Die Fortsetzung unserer erfolgreichen Ein-Tages-Seminare in Karlsruhe am 29.11. und 13.12.2011.
Alles Wissenswerte zur Architektur M3/M4: Unterschiede (Floating Point, DSP), theoretische Grundlagen und praktische Übungen!
Die Teilnehmer bekommen ein Keil Evaluierungsboard, einen ULINK2 JTAG Adapter, MDK-ARM mit Lizenz für 30 Tage ab Seminarbeginn, einen Insider’s Guide STM32 in gebundener Form und eine CD-ROM mit Seminarunterlagen und Keil Beispielen.
Weitere Informationen und Anmeldung hier!
11
The latest version of Tessy, a tool for unit and integration testing of embedded software, is available. Tessy now features improved ASAP2 support and is able to incorporate external hardware in testing.
The latest version is available for download from http://www.hitex.de/tessy (registration required).