BTC EmbeddedSpecifier
Produits
Information
Imaginez si votre ordinateur pouvait comprendre le sens de vos exigences. « Expliquer » le sens des exigences sécuritaires à l’ordinateur à l’aide de BTC EmbeddedSpecifier permet tout d’abord d’améliorer leur qualité en obtenant une expression claire et non-ambigüe mais permet aussi de répondre aux objectifs de l’ISO 26262 de notations semi-formelle et formelle des exigences sécuritaires.