EN 
DE Blog
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...
Requirements – A checklist for maturity
Requirements Engineering and Management – What Can I Do? Author: Thomas Batt, MicroConsult GmbH Contribution - Embedded Software Engineering Congress 2017 Capturing and managing requirements is a key to successful projects, whether in traditional or agile methodologies...
Should I Use C++14 in My Next Embedded Design?
What does C++14 get me in embedded systems? Author: Bertil Spolander, IAR Systems Contribution - Embedded Software Engineering Congress 2017 EETimes and Embedded.com has an annual market survey [1] which, among other things, surveys what programming language the respondents use in their current...
C++: Fast and small
What does a language feature cost? Author: Andreas Fertig, Philips Medical Systems Böblingen. Contribution - Embedded Software Engineering Congress 2017. With the C++11 standard and its successors, C++ developers can benefit from exciting new features of the language. Features are always associated with...
C++ Core Guidelines Reloaded
Automatic Code Repair and Critical Review of the Guidelines Author: Prof. Peter Sommerlad, HSR Rapperswil Contribution - Embedded Software Engineering Congress 2017 The C++ Core Guidelines are an effort led by Bjarne Stroustrup. They intend to show how to use modern C++ effectively. "Following...
Selection and use of an operating system for microcontrollers
NuttX - A User Report on Arm Cortex-M7 Author: Frank Benkert, FRB Computersysteme GmbH Contribution - Embedded Software Engineering Congress 2017 Development projects for new embedded products are usually confronted at the beginning with the same fundamental question: With or without...