Publikationen - smartrail 4.0 SBB AG Infrastruktur

Alle Vorankündigung Ausschreibungen Zuschläge Präqualifikationen Zusammenfassungen Wettbewerbe Vergebene Wettbewerbe Abbrüche Berichtigungen Widerrufe

  • Ausschreibung: smartrail 4.0 SBB AG Infrastruktur

    Formal verification of the system requirements of safety-critical soft

    12. Juli 2019: 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 …

  • Ausschreibung: smartrail 4.0 SBB AG Infrastruktur

    Formale Verifikation der Systemanforderungen sicherheitskritischer Sof

    12. Juli 2019: 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 …

  • Ausschreibung: smartrail 4.0 SBB AG Infrastruktur

    Steuerung, Beratung und Dokumentation für das smartrail 4.0 Programm

    10. Juli 2019: Kurzbeschreibung der Aufgabenstellung:

    1.1. Ablagemanagement / Dokumentenmanagement
    1.2. Projekt Reporting, Risiko- und Qualitätsmanagement
    1.3. Einführung, Schulung und Inbetriebnahme
    1.4. Arbeitspaket Projektcontrolling
    1.5. Erstellung Ausschreibungsunterlagen nach BöB/VöB/WTO Vorgaben

    Weiterführende Angaben hierzu finden Sie im Vertragsentwurf im Anhang.

    Der geschätzte Aufwand über 3 Jahre beträgt 5’000 Stunden oder 1 FTE / Jahr. Der Aufwand kann auf 2 Ressourcen aufgeteilt werden. Eine Anwesenheit vor Ort im Raum Bern …




Ein Angebot der Firma Noematica, der Spezialistin für IT-Evaluationen rund um Cloud, Gemeinden und Schulen sowie KMUs

✘ Massgeschneiderte Durchführung von IT-Evaluationen
✘ Tool-unterstützt von A bis Z, IT-Beschaffung via Einladungsverfahren, öffentliche Ausschreibung oder Präqualifikationsverfahren
✘ einzigartiger Anforderungsdatenbank und Pflichtenheftsammlung
✘ Schwerpunkt Gemeinden und Schulen sowie ausgewählte KMU-Segmente (Immobilien und Vermögensverwaltungen)
✘ Begleitung bei der Einführung inkl. Erstellung ISDS-Konzept, Controlling, Governance
✘ Verkürzung der Angebotsfrist gem. Art. 46 Abs. 2 lit. a BöB durch elektronische Veröffentlichung und Entgegennahme von Angebote auf elektronischem Weg


Rankings


Archive

Mit über 100,000 Einträgen das umfassendste Verzeichnis der Schweiz


Freihändige Verfahren: wann, wo, wie oft?

Eine Auswertung unseres Archivs zeigt, dass freihändige Verfahren meist mit technische Besonderheiten und Leistungen zur Ergänzung oder Erweiterung bereits erbrachter Leistungen begründet werden. Andere Fakten und einen kurzen gesetzlichen Überblick ...

mehr...