By Topic

Software, IEE Proceedings -

Issue 1 • Date Feb 2000

Filter Results

Displaying Results 1 - 2 of 2
  • Supporting dynamic QoS management functions in a reflective middleware platform

    Page(s): 13 - 21
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (688 KB)  

    Reflection has recently been applied in a variety of settings to introduce more openness and flexibility into designs. The paper builds on the authors' previous work in applying reflection to the design of middleware platforms by considering the role of reflection in supporting the dynamic QoS management functions of monitoring and adaptation. It is argued that reflection provides strong support for such functions and indeed, the approach offers important benefits over alternative implementation strategies. A pilot implementation of a QoS management scheme is discussed and evaluated, and examples of the use of this approach are given View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Qualitative formal method for requirements specification and validation of hybrid real-time safety systems

    Page(s): 1 - 11
    Save to Project icon | Click to expandQuick Abstract | PDF file iconPDF (656 KB)  

    The difficulties that engineers have in understanding and applying the quantitative methods in an abstract requirements phase are major obstructions in using formal methods for hybrid real-time safety systems. While formal methods technology in safety-critical systems can help increase confidence of software, the difficulty and complexity in using them can cause another hazard. The authors have proposed a framework for requirements engineering, called the qualitative formal method (QFM) for the specification and validation of hybrid real-time safety systems. The QFM emphasises the idea of a causal and qualitative reasoning in formal methods to reduce the difficulty of specifying and validating the software requirements of hybrid safety systems. They use the qualitative formal languages, Compositional Modelling Language and Causal Functional Representation Language in particular, to specify hybrid system dynamics and the required behaviour, respectively. The system behaviour has been simulated by the Device Modelling Environment, and validated against the required behaviour. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, they demonstrate the effectiveness of their approach View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.