DE 
EN Blog
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...
Anforderungen – Eine Checkliste zur Reife
Requirements Engineering und Management – Was kann ich tun? Autor: Thomas Batt, MicroConsult GmbH Beitrag - Embedded Software Engineering Kongress 2017 Anforderungen zu erfassen und zu verwalten ist ein wesentlicher Schlüssel zu erfolgreichen Projekten. Egal ob im klassischen oder agilen...
Should I Use C++14 in My Next Embedded Design?
What does C++14 get me in embedded systems? Autor: Bertil Spolander, IAR Systems Beitrag - Embedded Software Engineering Kongress 2017 EETimes and Embedded.com has an annual market survey [1] which, amongst other things, surveys what programming language the respondents use in their current...
C++: Schnell und klein
Was kostet ein Sprach-Feature? Autor: Andreas Fertig, Philips Medizin Systeme Böblingen Beitrag - Embedded Software Engineering Kongress 2017 Mit dem Standard C++ 11 und seinen Nachfolgern können C++-Entwickler von spannenden neuen Eigenschaften der Sprache profitieren. Features sind stets mit...
C++ Core Guidelines Reloaded
Automatische Code-Reparatur und kritische Betrachtung der Guidelines Autor: Prof. Peter Sommerlad, HSR Rapperswil Beitrag - Embedded Software Engineering Kongress 2017 The C++ Core Guidelines are an effort led by Bjarne Stroustrup. They intend to show how to use modern C++ effectively. "Following...
Auswahl und Einsatz eines Betriebssystems für Mikrocontroller
NuttX - ein Erfahrungsbericht auf Arm Cortex-M7 Autor: Frank Benkert, FRB Computersysteme GmbH Beitrag - Embedded Software Engineering Kongress 2017 Entwicklungsprojekte für neue embedded Produkte sehen sich zu Beginn meist mit der immer gleichen, grundlegenden Frage konfrontiert: Mit oder ohne...