Sökning: "architecture-based verification"

Hittade 2 uppsatser innehållade orden architecture-based verification.

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

3. 2. Architecture-Based Verification of Software-Intensive Systems

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Andreas Johnsen; [2010]
   Nyckelord :architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; junit; conformance;

   Sammanfattning : Development of software-intensive systems such as embedded systems for telecommunications, avionics and automotives occurs under severe quality, schedule and budget constraints. As the size and complexity of software-intensive systems increase dramatically, the problems originating from the design and specification of the system architecture becomes increasingly significant. LÄS MER