Essays about: "architecture-based verification"

Found 2 essays containing the words architecture-based verification.

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

   University essay from Mälardalens högskola/Akademin för innovation, design och teknik

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

   Abstract : 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. READ MORE

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

   University essay from Akademin för innovation, design och teknik

   Author : Andreas Johnsen; [2010]
   Keywords : architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; junit; conformance;

   Abstract : 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. READ MORE