Dependable Embedded Systems - Introduction and overview of the DFG SPP-1500