EN 
DE Blog
Semi-automatic safety analysis and optimization
How Security Benefits from Model-Based Development Authors: Dr. Peter Munk, Dr. Arne Nordmann, Dr. Eike Thaden, Rakshith Amarnath, Markus Schweizer, Dr. Simon Burton, Robert Bosch GmbH Contribution - Embedded Software Engineering Congress 2017 With ever shorter development cycles, the importance of safety increases...
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...