Formal verification of the system requirements of safety-critical software according to EN 50128

Publikations­datum

12.07.2019

Meldungs­nummer

1086815

Art

Ausschreibungen Bau

Kanton

BE

Eingabetermin

21.08.2019

Beschreibung

The assignment includes the formal verification of the functional requirement specification of the APS components Safety Logic, Object Aggregation and Movement Authority Transactor. This includes the following tasks: 1.) Identification and formalization of functional requirements based on a system description, which is currently developed at SBB internally. 2.) Formalization of the requirements identified in a) 3.) Formal verification of the system specifications using model checking based on a model being developed by SBB internally in Matlab/Simulink 4.) Automatic generation of test cases 5.) Documentation of all activities: formalised requirements, environment requirements, engineering rules, tracking of changes, results of the formal proofs The estimated workload is 4 FTE/year. The workload can be distributed amongst a maximum of eight persons. On-site presence of two to three days per month is anticipated. The service may be requested according to requirements.

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 »