Analysis Framework

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 1675941 Experts worldwide ranked by ideXlab platform

Masoud Esmaili - One of the best experts on this subject based on the ideXlab platform.

  • Application of a new sensitivity Analysis Framework for voltage contingency ranking
    IEEE Transactions on Power Systems, 2005
    Co-Authors: Nima Amjady, Masoud Esmaili
    Abstract:

    In this paper, a new sensitivity Analysis Framework for voltage contingency ranking has been presented. The proposed sensitivity Analysis is a combination of linear sensitivities and eigenvalue Analysis. The sensitivity Analysis Framework can determine the voltage stability status of the power system due to the occurrence of each contingency. Moreover, stability margin or instability depth of the post-contingency state is determined in the Framework. In other words, a severity index is obtained for each voltage contingency and so the contingencies can be ranked. This rank shows bottlenecks of the power system in the priority order, a property that is a key issue for both planners and operators of the power system. The proposed method can also evaluate islanding contingencies as well as the nonislanding ones. Moreover, the method can consider the generator contingencies in addition to the branch contingencies in a unique Framework. The proposed method has been tested on the New Zealand test system and Iran's power network. Obtained results, discussed comprehensively, confirm the validity of the developed approach.

Johann Blieberger - One of the best experts on this subject based on the ideXlab platform.

  • A symbolic Analysis Framework for static Analysis of imperative programming languages
    Journal of Systems and Software, 2012
    Co-Authors: Bernd Burgstaller, Bernhard Scholz, Johann Blieberger
    Abstract:

    Highlights? We present a generic symbolic Analysis Framework for imperative programming languages. ? Our Framework computes all valid variable bindings at a given program point. ? Variable bindings are kept in an algebraic structure called supercontext. ? Path expression algebra models control flow information of programs. ? A homomorphism maps path expressions into the symbolic domain. We present a generic symbolic Analysis Framework for imperative programming languages. Our Framework is capable of computing all valid variable bindings of a program at given program points. This information is invaluable for domain-specific static program analyses such as memory leak detection, program parallelization, and the detection of superfluous bound checks, variable aliases and task deadlocks.We employ path expression algebra to model the control flow information of programs. A homomorphism maps path expressions into the symbolic domain. At the center of the symbolic domain is a compact algebraic structure called supercontext. A supercontext contains the complete control and data flow Analysis information valid at a given program point.Our approach to compute supercontexts is based purely on algebra and is fully automated. This novel representation of program semantics closes the gap between program Analysis and computer algebra systems, which makes supercontexts an ideal symbolic intermediate representation for all domain-specific static program analyses.Our approach is more general than existing methods because it can derive solutions for arbitrary (even intra-loop and nested loop) nodes of reducible and irreducible control flow graphs. We prove the correctness of our symbolic Analysis method. Our experimental results show that the problem sizes arising from real-world applications such as the SPEC95 benchmark suite are tractable for our symbolic Analysis Framework.

Bliebergerjohann - One of the best experts on this subject based on the ideXlab platform.

Lin Liu - One of the best experts on this subject based on the ideXlab platform.

  • Designing IT systems according to environmental settings: A strategic Analysis Framework
    The Journal of Strategic Information Systems, 2011
    Co-Authors: He Zhang, Lin Liu
    Abstract:

    In the past, IT system design is mainly driven by two essential factors: technical merits and costs. Environmental consideration only emerges in most recent discussions under the label of green IT. As the evaluation of environmental and climate impact involves too many parameters, some of which are indirect and hidden, it is very hard to make rationale Analysis without the support of a holistic strategic Analysis Framework. In this paper, we propose to extend the goal-oriented requirements modeling language, GRL, to model the rationality behind IT system design, in particular, how the environment related considerations come into play in such design decision making. It can be adopted as a strategic Analysis Framework to facilitate concrete decision makings under different environmental settings. Example real world scenarios are used to illustrate how the proposed approach can help improve the state of the practice.

Zhao Jinjin - One of the best experts on this subject based on the ideXlab platform.

  • ICPADS - The Vulnerability Analysis Framework for Java Bytecode
    2009 15th International Conference on Parallel and Distributed Systems, 2009
    Co-Authors: Tang Hong, Chen Hua, Zhao Gang, Liu Qiang, Zhao Jinjin
    Abstract:

    Since Java web applications are used widely in Internet today, the security of it becomes an outstanding problem. The attacks, including SQL injection attack, XSS attack, and etc, are great challenges for the Java application. This paper presents the vulnerability Analysis Framework to detect the security hole in the Java web applications. The Framework combines the techniques of the static points-to dataflow Analysis, the dynamical instrument and the fuzzing test. With the cooperation of these static and dynamical Analysis techniques, it can improve the efficiency and accuracy of the Analysis and lower the false positive rate.