A contest with a prize pool of over €8000 has just opened. To enter you need to come up with an embedded software idea that  Ada and/or SPARK are the principal language technologies.