BDD for Embedded System Design

4th April 2012 in London at Skills Matter

There are 13 other SkillsCasts available from CukeUp! 2012

Please log in to watch this conference skillscast.

274488533 640

We are currently evolving the BDD flow for the design of embedded systems. Automatic extraction of step definitions and code stubs is performed using natural language processing techniques. In addition, a method has been developed to extract properties suitable for formal verification from test code. Both approaches have been integrated with Cucumber.


Thanks to our sponsors

BDD for Embedded System Design

Mathias Soeken

Mathias Soeken is working on formal verification of UML/OCL models used as specification in the design of embedded systems as well as on reversible logic and quantum computation.

Melanie Diepenbeck

Melanie Diepenbeck is currently pursuing her PhD degree on "Behaviour Driven Development for System Design" at the University of Bremen in the Graduate School System Design (SyDe) and in the Group for Computer Architecture headed by Prof. Dr. Rolf Drechsler.