Zum Nutzen hoher Zertifizierungsstufen nach den Common Criteria (I)

ZusammenfassungComputersysteme, bestehend aus Hard-und Software, werden heute sehr oft in kritischen Prozessen eingesetzt und sind darin den Produkten der klassischen Ingenieurwissenschaften vergleichbar. Anders als diese erweist sich jedoch gerade die Software oft als „work in progress“, das sich vor allem durch die Notwendigkeit ständiger Upgrades auszeichnet. Unser zweiteiliger Beitrag untersucht, welche Effekte in diesem Zusammenhang der Einsatz formaler Entwicklungsmethoden hätte.