Software-Entwicklung

Fallstricke im Code

Die im Quellcode dargestellte Codeüberdeckung „sieht“ nicht sämtlichen Code, der tatsächlich auf dem Prozessor abläuft. Denn bevor aus dem Quellcode Maschinencode wird, finden Umwandlungsprozesse statt, auf die der Software-Entwickler keinen direkten Einfluss hat. Umso wichtiger ist es, diese Prozesse und ihre Auswirkungen zu kennen mehr...

Hardware-Verifikation

Chip-Design mit Software-IDE

Eigentlich spricht nichts dagegen, eine Software-Entwicklungsumgebung auch für das Hardware-Design einzusetzen. Denn im Grunde genommen macht Hardware-Design nichts anderes, als Algorithmen statt in Programmcode in feste Schaltkreise zu „gießen“. Allerdings gab es für die im Hardware-Design verwendeten Beschreibungssprachen keine vernünftigen Lösungen. Doch das hat sich geändert. mehr...

Über’s Eck gespielt

Variationsorientierter IC-Entwurf

Da ICs heute überwiegend per Auftragsfertigung in Halbleiterwerken hergestellt werden, ist die reine Produktionstechnik kein differenzierender Faktor mehr. Vielmehr liegt der Schlüssel heute in einem IC-Entwurfsprozess, um Vorteile bei Performance, Stromverbrauch und Flächenbedarf zu realisieren. Ein besonderes Problem bei kleinen Geometrien sind Variationen im Fabrikationsprozess, die mit Hilfe entsprechender Entwicklungstools jedoch ihren Schrecken verlieren. mehr...

Methodische Entscheidungsfindung

Der Weg zum richtigen Layout-Dienstleister

Nicht immer ist die Entscheidung für den passenden Dienstleister für die externe Elektronik-Entwicklung oder die Fertigung einfach. Oft unterscheiden sich die Angebote nur in wenigen Punkten. Ein methodischer Ansatz hilft, den richtigen externen Leiterplatten-Layouter zu finden. mehr...

Über die Fehlersuche hinaus

Der Debugger als Test- und Qualitätstool

Auch moderne Debugger dienen nach wie vor in erster Linie der Fehlersuche und -behebung. Gleichzeitig sollten Entwickler solche leistungsfähigen Werkzeuge aber immer auch auf ihre Einsatzmöglichkeiten in Bereichen wie System-Level-Debugging oder Testautomatisierung hin überprüfen. Denn aus der laufenden Systembeobachtung gewonnene Informationen erlauben eine automatische Analyse und Weiterverarbeitung - damit lassen sich sowohl die Leistung optimieren als auch die Softwarequalität sichern. mehr...

Sicherung der Codequalität

Statische Analyse ergänzt

In sicherheits-, missions- und geschäftskritischen Umgebungen sowie im Bereich von Embedded Systemen müssen sich Softwareingenieure aktiv um Codequalität kümmern. Dabei müssen sie Kodierungsstandards einhalten, um Fehler zu vermeiden. Allerdings findet die etablierte statische Analyse nicht alle Defekte, wert- und zustandssensitive Programmfehler bleiben beispielsweise unerkannt. Daher sollte die statische Analyse um die Datenflussanalyse ergänzt werden. mehr...

• Qualitätssicherung eingebetteter Systeme: Statische Analyse im Vergleich

Modellbasierte und textuelle Systemdokumentation

UML - mehr als nur Bilder

Die Verbreitung der modellbasierten Dokumentation auf Basis der UML nimmt stetig zu, trifft jedoch auch oft auf Ablehnung: Durch vorgeschriebene textuelle Dokumentation entsteht Informationsredundanz, die den Wartungsaufwand erhöht. Tatsächlich ist es jedoch möglich, modell- und textbasierte Dokumentation zusammen ohne unnötigen Arbeitsaufwand zu verwenden. mehr...

Qualitätssicherung eingebetteter Systeme

Statische Analyse im Vergleich

Viele sicherheitsrelevante Eigenschaften eingebetteter Software, wie die definitive Abwesenheit von Laufzeitfehlern oder die Bestimmung der maximalen Laufzeit eines Programmteils, können Tests nur unzureichend nachweisen. Um dennoch überzeugende und kostengünstige Nachweise für solche schlecht testbaren Eigenschaften zu erbringen, existieren verschiedene Methoden zur statischen Analyse von Software, bei denen die zu analysierende Software nicht ausgeführt wird. mehr...

• Sicherung der Codequalität: Statische Analyse ergänzt

»Monolithische« Echtzeitbetriebssysteme erweitern

»Apps« fürs RTOS

Meist besitzen sehr kompakte Echtzeitbetriebssysteme (RTOS) eine Architektur, die den Applikationscode direkt an die von ihm genutzten RTOS-Services linkt und daraus ein zusammenhängendes, ausführbares Image bildet. Allerdings besteht zunehmend der Wunsch, auch solche Anwendungen später im Feld zu updaten. Das »App«-Konzept, wie vom »iPhone« bekannt, kann da helfen. Solche downloadfähigen Applikationsmodule verleihen kleinen Embedded Systemen die Eigenschaften großer Systeme. mehr...

Software-Entwicklung für die Endoskopie

Sichere, schnelle minimalinvasive Chirurgie

Endoskopiegeräte werden immer komplexer, da der Markt auch hier kostengünstigere Lösungen mit immer mehr Funktionen verlangt. Zudem spielt die Geschwindigkeit der Geräte eine Rolle - wenn die »Schüsselloch«-Chirurgie schneller durchgeführt werden kann, erholt sich der Patient schneller und das medizinische Personal schafft mehr Operationen in der gleichen Zeit. Damit Endoskophersteller diese Anforderungen erfüllen können, sollten sie die richtigen Software-entwicklungstools für das Design, Debugging und die Validierung kritischer Softwarebestandteile zusammen mit einem zuverlässigen und sicheren Betriebssystem nutzen. mehr...