-
Letzte Beiträge
Letzte Kommentare
Archive
Kategorien
Meta
Archiv der Kategorie: Software
Formale Methoden für sicherheitskritische Systeme
In der Medizin, im Transportwesen (vollautomatische Züge, Raumfahrt) oder in der Energieproduktion (Kernkraftwerke) können Softwarefehler schwerwiegende Folgen haben. Verwendet man formale Methoden, dann könnten solche Bugs im Vorhinein vermieden werden. Während die Zuverlässigkeit von einfachen Maschinen sich durch Prüfungen und … Weiterlesen
Veröffentlicht unter IT-Management, Software
Hinterlasse einen Kommentar