By Topic

IEE Proceedings - Software

Issue 1 • Date Feb 2000

Filter Results

Displaying Results 1 - 2 of 2
  • Qualitative formal method for requirements specification and validation of hybrid real-time safety systems

    Publication Year: 2000, Page(s):1 - 11
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | 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 pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting dynamic QoS management functions in a reflective middleware platform

    Publication Year: 2000, Page(s):13 - 21
    Cited by:  Papers (7)
    IEEE is not the copyright holder of this material | Click to expandAbstract | 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 f... View full abstract»

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