Wie lassen sich die Architekturinformationen von Binärdateien wiederherstellen? Mit einem entsprechenden Forschungsauftrag befasst sich aktuell GrammaTech – und wird dabei vom Office of the Secretary of Defense mit einer Million Dollar unterstützt.

OutSystems hat mit outsystems.ai eine neue Initiative angekündigt. Diese zielt darauf ab, mit Künstlicher Intelligenz und Machine Learning – kurz KI und ML – die Softwareentwicklung in Unternehmen effizienter und leistungsfähiger zu machen.

TESSY, das bei Hitex erhältliche Werkzeug zum automatisierten Unit-Test von eingebetteter Software, wurde in der Version 4.1 zusätzlich für die Normen IEC 62304:2015 für „Medical Device Software“ und für EN 50128:2011 (Bahnanwendungen) zertifiziert.

Mit formalen Methoden lässt sich mathematisch die Sicherheit eines Systems nachweisen. Klassisches Testing überprüft, ob geschriebener Code den Anforderungen genügt. Warum nicht beides anwenden?

Im Zeitalter konstant mit dem Internet verbundener Systeme kann Softwareentwicklung nie als endgültig abgeschlossen betrachtet werden – sobald eine neue Sicherheitslücke auftaucht, muss diese auch sofort geschlossen werden. Wie bekommt man diesen Kreislauf in den Griff?

RISC OS ist ab sofort vollständig als Open Source-Betriebssystem über die Apache-2.0-Lizenz nutzbar. Damit lässt es sich nun auch für lizenzfreie Raspberry Pi-Projekte einsetzen.

In C und C++ kann es sehr komfortabel sein, Speicherblöcke nach Bedarf zu allokieren und wieder freizugeben. Der Umgang mit einem dynamischen Speicher kann jedoch problematisch und ineffizient sein. Bei Desktop-Anwendungen mit ihrem frei verfügbaren Speicher können diese Probleme ignoriert werden. Für Embedded-Anwendungen – meist Echtzeitapplikationen – ist das aber keine Option.

Die Intel SoC FPGA Embedded Development Suite (SoC EDS) ist eine umfassende Tool-Suite für die Entwicklung von Embedded Software auf Intel SoC FPGAs. Es umfasst Entwicklungswerkzeuge, Dienstprogramme und Designbeispiele zur Inbetriebnahme von Firmware und Anwendungssoftware.

BlackBerry übernimmt Cylance, einen Entwickler von künstlicher Intelligenz für präventive Sicherheitslösungen, für insgesamt 1,4 Milliarden US-$. Das so erworbene, integrierbare KI-Fachwissen soll das gesamte BlackBerry-Technologieportfolio um Machine Learning der nächsten Generation ergänzen.

Viele Entwickler setzen – teils aufgrund veralteter Tools, teils aus reiner Gewohnheit – noch auf den früheren VHDL-2002-Standard. Dabei hält VHDL-2008 zahlreiche Erleichterungen und Verbesserungen bereit.