Formale Verifikation der Systemanforderungen sicherheitskritischer Software nach EN 50128

Publikations­datum

12.07.2019

Meldungs­nummer

1085329

Art

Ausschreibungen Bau

Kanton

BE

Eingabetermin

21.08.2019

Beschreibung

Die Beauftragung umfasst die Durchführung der formalen Verifikation der Anforderungsspezifikation für die APS Komponenten Safety Logic, Object Aggregation und Movement Authority Transactor. Dies umfasst die folgenden Aufgaben: 1. Identifikation und Formalisierung der funktionalen Anforderungen basierend auf einer Systembeschreibung, die momentan SBB-intern erstellt wird. 2. Formale Verifikation der Systemanforderungen mittels Model-Checking basierend auf einem Model, das SBB-intern in Matlab/Simulink erstellt wird 3. Automatische Generierung von Testfällen 4. Dokumentation aller Aktivitäten: Formalisierte Anforderungen, Umgebungsanforderungen, Engineering Rules sowie deren Nachverfolgung bei Änderungen, Ergebnisse der formalen Beweise Der geschätzte Aufwand beträgt vier FTE/Jahr und kann auf maximal 8 Personen verteilt werden. Eine Anwesenheit von 2-3 Tagen pro Monat ist vorgesehen. Die Dienstleistung wird bedarfsorientiert abgerufen.

Kontakt

smartrail 4.0 SBB AG Infrastruktur
Olivier Berger
Hilfikerstrasse 1
3000 Bern 65

Hauptseite

Ausschreibungen

Firmen-Überwachung

Firmenmonitor.ch informiert Sie über Mutationen aller Firmen, welche im Handels­register eingetragen sind. Nutzen Sie unseren Service, um sich frühzeitig zu informieren.

www.firmenmonitor.ch »

Firmenadressen kaufen

Für die Er­wei­te­rung Ihres Kun­den­kreises kön­nen Firmen­adressen individuell gekauft werden. Rund 750'000 Schweizer Firmen­adressen, selek­tierbar nach Ihren Bedürfnissen.

www.adressenshop.ch »

Neugründeradressen

Abonnieren Sie das täg­liche Up­date aller Firmen, die gerade neu ge­gründet wur­den. Lassen Sie sich täglich die neu­gegründenten Firmen­adressen als Excel-Datei liefern.

www.neugruenderadressen.ch »