A software development kit for dependable applications in embedded systems