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