DE 
EN Blog
Semi-automatische Safety-Analyse und -Optimierung
Wie Sicherheit von modellbasierter Entwicklung profitiert Autoren: Dr. Peter Munk, Dr. Arne Nordmann, Dr. Eike Thaden, Rakshith Amarnath, Markus Schweizer, Dr. Simon Burton, Robert Bosch GmbH Beitrag - Embedded Software Engineering Kongress 2017 Bei immer kürzeren Entwicklungszyklen steigt die...
Safety-Architektur für Plattformen mit komplexer Hardware
SIL-4 trotz unsicherer Hardware Autor: Mehmet Özer, SYSGO AG Beitrag - Embedded Software Engineering Kongress 2017 Die Sicherheitsnormen für die Eisenbahn (CENELEC - EN50128, EN50129, EN50126 etc.) haben einheitliche Anforderungen an die Entwicklung sicherheitsrelevanter elektronischer Systeme aus...
Agilität in Safety-Projekten – geht das?
Ein bewährter agiler Entwciklungsprozess für Safety-Projekte Autor: Frank Poignée, infoteam Software AG Beitrag - Embedded Software Engineering Kongress 2017 Agile Softwareentwicklung stellt sich als Ziel, den Entwicklungsprozess flexibler und schlanker zu machen, als das bei den klassischen...
Embedded Clean Code im A-SIL-Serienentwicklungsumfeld
Praktische Erfahrungen hochwertiger Softwareentwicklung Autor: Thomas Winz, softwareinmotion GmbH Beitrag - Embedded Software Engineering Kongress 2017 Jurassic Park [R1]: „Sie haben befürchtet, Tiere zu verlieren, und das Programm ist deshalb so ausgelegt, daß es sofort Alarm schlägt, wenn es...
Fuzzing von Embedded Software
Grundlagen und Erfahrungen aus der Praxis Autor: Axel Wintsche, Philotech Beitrag - Embedded Software Engineering Kongress 2017 Die Sicherheit von Software ist ein Kriterium, welches immens an Bedeutung gewonnen hat, sich aber nur unzureichend als Anforderung formulieren und testen lässt. Eine...
Schneller formal korrekten C-Code durch Benutzung von SPARK erstellen
Endlich ein einfacher Weg, sichere Software zu schreiben Autoren: Ingo Houben, Rob Tice, AdaCore Beitrag - Embedded Software Engineering Kongress 2017 Diese Arbeit zeigt auf, wie formal richtiger Code in der Programmiersprache C erzeugt werden kann, durch einen Ansatz, der die notwendigen...
Traceability – oft gefordert, selten effizient
Fragen, Möglichkeiten und Best Practice für Cross Domain Traceability Autor: Bernd Röser, agosense GmbH Beitrag - Embedded Software Engineering Kongress 2017 Die Software- bzw. Systementwicklung ist heutzutage ohne einen methodischen Ansatz – nicht zuletzt aus Gründen der Produktsicherheit bzw....
Specification by Example
Wie man den Kunden an Board hält Autor: Markus Unterauer, Software Quality Lab Beitrag - Embedded Software Engineering Kongress 2017 Specification by Example bedeutet, Anforderungen durch konkrete Beispiele zu spezifizieren. Dazu wird ein fixes Satzschema verwendet, welches ein einfaches Andocken...