By Topic

Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems (Ref. No. 1999/006), IEE Colloquium on

Date 11 Jan 1999

Filter Results

Displaying Results 1 - 9 of 9
  • UML and the formal development of safety-critical real-time systems

    Publication Year: 1999, Page(s):2/1 - 2/4
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (280 KB)

    The Unified Modeling Language (UML) is fast emerging as a de-facto standard for modelling object oriented systems. Like other software engineering methods, UML provides a set of graphical and textual modelling tools that aim to provide a common understandable language for developers and customers. However, UML has gone much further than previous methods in encouraging conformance of use. In partic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification-based testing for real-time avionic systems

    Publication Year: 1999, Page(s):4/1 - 4/4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (308 KB)

    The paper describes the early stages of work towards the development of specification based testing techniques for real time distributed systems. This work has taken place in the context of the aerospace industry, where the complexity and the criticality of avionic systems makes them a challenge to develop. This paper briefly presents the DoRIs/ADL notation and its proof theoretic semantics, and s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for model-checking timed CSP

    Publication Year: 1999, Page(s):5/1 - 5/4
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (172 KB)

    Timed CSP is a well-known process algebra, built as an extension to Hoare's original CSP, designed to handle concurrency combined with timing considerations. It achieves this over a continuous time domain (the non-negative real numbers), which has the drawback of precluding standard model-checking approaches, as the state-space of any process is naturally a priori (uncountably) infinite. This pape... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evolutionary algorithms for the verification of execution time bounds for real-time software

    Publication Year: 1999, Page(s):8/1 - 8/8
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (416 KB)

    Real-time systems must produce results according to a predefined time schedule. Therefore, their operation speed is critical. Timing analysis is crucial for the verification of a program's timing behaviour and an important part of design, testing and assessment. It measures how well a system matches its specifications. Static timing analysis concentrates on the evaluation of a program's internal s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using sharing trees in the automated analysis of real-time systems with data

    Publication Year: 1999, Page(s):6/1 - 6/4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (348 KB)

    Reachability analysis and model checking of timed automata are now well-established techniques in the analysis of real-time control systems. The major limiting factor in their use, from a technical point of view, remains the state explosion problem. Symbolic representation of the state space often allows for the analysis of much larger systems than the point-wise representation which is common in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reducing conservatism in response time analysis of distributed systems

    Publication Year: 1999, Page(s):7/1 - 7/4
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (416 KB)

    Rate monotonic analysis (RMA) is a well-established technique for assessing schedulability of periodic and sporadic tasks which share a processor resource using fixed priority scheduling. An alternative approach to analysing such systems is to build a model which represents the behaviour of the system more dynamically, taking into account the dependency between the tasks View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applicable modelling, verification and analysis techniques for real-time systems

    Publication Year: 1999, Page(s):0_2 - 0_4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (104 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Method integration for real-time software design

    Publication Year: 1999, Page(s):1/1 - 1/4
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (256 KB)

    Although formal methods have been around for a number of years, their industrial take-up can be described at its best as poor. Some of the reasons have for this include: 1) problems in finding the right level of abstraction, 2) lack of user education, 3) hard to write a “good” specification, 4) difficult to understand, 5) absence of structure and method. Possible solutions could be: 1)... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A modular tool for test generation for real-time systems

    Publication Year: 1999, Page(s):3/1 - 3/4
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (224 KB)

    A tool is presented which aims to meet the need for the automatic generation of test cases for real time control systems. The modular nature of the tool allows different specification languages to be used, and permits the user to experiment with a variety of simplifying transformations in order to produce a tractable model. Finally, a suitable test strategy can be selected. This flexibility allows... View full abstract»

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