LDRA bietet Embedded-Märkten ein neues Portal für die Entwicklung sicherer Software an. Das Secure Software Development Resource Centre soll Entwicklern zeigen, wie man Embedded-Software von Anfang an sicher macht, um Hacks zu unterbinden sowie Haftungsansprüche, Imageschäden, Konformitäts-Strafen und verärgerte Kunden zu vermeiden

Smart Grids versprechen, ein zukunftsträchtiger Markt zu werden. Damit diese Zukunft aber auch stattfinden kann, muss das Thema Cybersecurity viel stärker Beachtung finden.

Anforderungsmanagement ist nicht mit dem Start eines Projekts abgeschlossen. In der Softwareentwicklung müssen Requirements und Entwicklungskomponenten von Beginn an wie auch dauerhaft verbunden und gepflegt werden.

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?

Mit Andrew Banks beschäftigt LDRA einen Fachmann für die Implementierung von Automotive-Softwarestandards. Banks ist Vorsitzender des Misra-C-Kommitees und war an der Ausarbeitung der zweiten Ausgabe der ISO 26262 beteiligt.

Qualitätssicherung kann nicht nur Code-Analyse und Test bedeuten. Denn sie allein stellen nicht sicher, dass Systemanforderungen korrekt umgesetzt wurden. Daher kommt es bei Sicherung der Code-Qualität auch auf konkretes Anforderungsmanagement an.

Der 20 Jahre alte Standard DO-178B wird heutigen Gegebenheiten bei der Softwareentwicklung im Avionikbereich nicht mehr gerecht. Die überarbeitete Norm DO-178C soll die Zertifizierung der Avioniksoftware auf den Stand der Technik des 21. Jahrhunderts bringen.

LDRA hat für seine Werkzeuge neue Patente angemeldet, um Softwareanforderungen automatisch zu verwalten und zu verfolgen. Nach der Patenterteilung wird die Technik in das Werkzeug TBreq integriert, dem Teil der LDRA Werkzeugreihe, der dem anforderungsgetriebenen Softwaretest gewidmet ist. Die neuen Funktionen richten sich insbesondere auch an die Nachfrage in sicherheits- und einsatzkritischen Industrien wie der Luftfahrt oder der Medizintechnik.

Der Anbieter automatisierter Softwareverifizierungs-, Quellcodeanalyse- und Testwerkzeuge, LDRA Software Technology erweitert seine Werkzeugreihe dahingehend, dass mit ihr der in Kürze