Sökning: "scania bromssystem"

Hittade 2 uppsatser innehållade orden scania bromssystem.

1. 1. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Zelin Yu; [2023]
   Nyckelord :Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

   Sammanfattning : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. LÄS MER

3. 2. Byte av kontaktdonsgränssnitt för Scania bromssystem

   Master-uppsats, KTH/Maskinkonstruktion (Inst.)

   Författare :Simon Chamoun; [2012]
   Nyckelord :;

   Sammanfattning : This master thesis was carried out at Scania in Södertälje, Sweden. It investigates the possibility of changing a connector interface that is used when there is a need for splicing the wheel speed sensor and thereby determine the consequences. LÄS MER