Quelle est la meilleure ressource pour apprendre le développement de systèmes critiques pour la sécurité (C / C ++) [fermé]

Question

Je cherche à trouver une bonne ressource (livre ou autre) sur les techniques / méthodologies de développement de systèmes critiques pour la sécurité, en particulier quelque chose qui couvrira à la fois le matériel et les logiciels. J'ai de bonnes connaissances en C / C ++, donc même s’il s’agit simplement de code sur SourceForge, etc., j’apprécierais quand même un lien vers celui-ci pour parcourir le document.

Merci.

Answer 1

Le podcast Radio de génie logiciel contient certains épisodes qui parlent, par exemple, de systèmes en temps réel et à tolérance de pannes que j’ai trouvés très informatifs. Ces épisodes comportaient également de bonnes références à des livres.