Sökning: "Omar Jaradat"

Hittade 1 uppsats innehållade orden Omar Jaradat.

  1. 1. Automated Architecture-Based Verification of Safety-Critical Systems

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Omar Tawffeeq Saleem Jaradat; [2011]
    Nyckelord :architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; Fuel Level Estimation System;

    Sammanfattning : Safety-critical systems require high quality and dependability levels, where system correctness and safety are major features to avoid any severe outcome. Time and cost are also important challenges that are imposed during the development process. LÄS MER