Why attend this conference? If you are a strong believer in formal methodologies for software development, you must participate to this conference and read Darius’ book. You will hate it.

1996 stellte General Motors sein OnStar-System vor. Jetzt, über 20 Jahre später, kommt das vernetzte Auto endlich auf Touren – durch technologische Fortschritte, die mehr Sicherheit und Komfort ermöglichen.

Um die funktionelle Sicherheit von Embedded Software unter Feldbedingungen nachweisen zu können, bedarf es neben modellbasierten Methoden auch komplett neue ganzheitliche Ansätze auf Systemebene. Voraussetzung hierfür ist die Möglichkeit einer nahtlosen Kopplung verschiedener Tools, die unterschiedlichste Zielstellungen abdecken.

Die Blockchain revolutioniert 2018 das Internet der Dinge und wird Grundlage vieler Business-Anwendungen, so der Verband der Internetwirtschaft eco. Wir werfen einen Blick auf die Prognosen und die neuen Blockchain-Plattformen.

Der Informatik-Professor Sven Apel hat untersucht, was in Köpfen von Software-Entwicklern vorgeht, wenn sie sich mit Programmcode beschäftigen. Die Ergebnisse könnten weitreichende Folgen für das Programmieren haben.

Software für sicherheitskritische Anwendungen erfordert 100%-ige Anweisungsüberdeckung durch dokumentierte Tests. „Fault Injection“ erlaubt hier eine einfache Prüfung auf mögliche Fehlersituationen.

Smart Contracts auf Blockchain-Basis versprechen, digitale Geschäftsabwicklungen zu beschleunigen. Doch barg diese Technologie bisher Risiken in Form von Programmierfehlern oder Sicherheitslücken. Ein Tool der TU Wien verspricht nun, die bisher fehlende Sicherheit zu garantieren.

Agile Entwicklung trägt dazu bei, schneller bessere Ergebnisse erzielen zu können. Der Prozess ist allerdings auch strikter, als Sie ihn heute wahrscheinlich leben. Scrum ist strikter gegenüber dem Management und erfordert einen funktionierenden Integrations- und Testprozess – vor allem in Embedded Systemen.

Version 2020.1 von Parasoft C/C++test bitet neue Funktionen zur Förderung von Softwaretests und Softwaretestautomatisierung für sicherheits- und sicherheitskritische Embedded-Anwendungen in allen Märkten, u.a. Automotive, Industrial oder Medizintechnik.

Software- bzw. Systementwicklung ist ohne einen methodischen Ansatz kaum mehr vorstellbar, allein schon hinsichtlich Produktsicherheit oder -qualität. Abhängigkeiten zwischen den jeweiligen Entwicklungsartefakten bzw. –aktivitäten sollten übersichtlich dargestellt sein. Ohne Tools ist das kaum noch zu bewerkstelligen.