EN 
DE Blog
Dynamic Memory Allocation: Justifiably Taboo?
Avoiding Risks Using New Memory Management Strategies Author: Steven Graves, McObject LLC Contribution - Embedded Software Engineering Congress 2015 Abstract Developers of fault-tolerant embedded systems must identify and eliminate possible failure points. Dynamic memory allocation is one key concern....
Health Check for the Development of Real-Time Systems
Problems in the Development Process Authors: Ralf Münzenberger, INCHRON, Friedhelm Stappert, Nuremberg Institute of Technology Contribution - Embedded Software Engineering Congress 2015 Many software projects for embedded systems have problems regarding budget or schedule overruns. Reasons include, for example,...
Agility in safety projects – is that possible?
A proven agile development process for safety projects. Author: Frank Poignée, infoteam Software AG. Presentation - Embedded Software Engineering Congress 2017. Agile software development aims to make the development process more flexible and streamlined than traditional methods...
Embedded clean code in the A-SIL series development environment
Practical Experience in High-Quality Software Development Author: Thomas Winz, softwareinmotion GmbH Contribution - Embedded Software Engineering Congress 2017 Jurassic Park [R1]: "They were afraid of losing animals, and the program is therefore designed to immediately raise the alarm if it...".
Fuzzing of embedded software
Fundamentals and Practical Experience Author: Axel Wintsche, Philotech Contribution - Embedded Software Engineering Congress 2017 Software security is a criterion that has gained immense importance, but is difficult to formulate and test adequately as a requirement. A...
Create formally correct C code faster by using SPARK.
Finally, a simple way to write secure software. Authors: Ingo Houben, Rob Tice, AdaCore. Paper presented at the Embedded Software Engineering Congress 2017. This paper demonstrates how formally correct code can be generated in the C programming language using an approach that incorporates the necessary...
Traceability – often demanded, rarely efficient
Questions, Opportunities, and Best Practices for Cross-Domain Traceability Author: Bernd Röser, agosense GmbH Contribution - Embedded Software Engineering Congress 2017 Software and system development today is impossible without a methodological approach – not least for reasons of product safety and...
Specification by Example
How to Keep the Customer on Board Author: Markus Unterauer, Software Quality Lab Contribution - Embedded Software Engineering Congress 2017 Specification by Example means specifying requirements through concrete examples. A fixed sentence structure is used for this purpose, which allows for easy linking...