EN 
DE Blog
Safety architecture for platforms with complex hardware
SIL-4 despite insecure hardware Author: Mehmet Özer, SYSGO AG Contribution - Embedded Software Engineering Congress 2017 The safety standards for railways (CENELEC - EN50128, EN50129, EN50126 etc.) have uniform requirements for the development of safety-related electronic systems made of...
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...
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...