How can you make sure your embedded systems functional specification will comply with some safety requirements?

Once you have developed a specification, you also need to check if it cannot violate the safety requirements you have identified.

Making sure that a specification based on natural language requirements is correct is already a very difficult challenge. Making sure it will not violate the safety just using the classic review is even more difficult.

Discover how you can achieve your safety goals using STIMULUS and how you can get a much higher level of confidence with much less efforts: