Advertisement

Annals of Software Engineering

, Volume 7, Issue 1–4, pp 235–256 | Cite as

ATOM: An object-based formal method for real-time systems

  • Hussein Zedan
  • Antonio Cau
  • Zhiqiang Chen
  • Hongji Yang
Article

Abstract

An object based formal method for the development of real-time systems, called ATOM, is presented. The method is an integration of the real-time formal technique TAM (Temporal Agent Model) with an industry-strength structured methodology known as HRT-HOOD. ATOM is a systematic formal approach based on the refinement calculus. Within ATOM, a formal specification (or abstract description statement) contains Interval Temporal Logic (ITL) description of the timing, functional, and communication behavior of the proposed real-time system. This formal specification can be analyzed and then refined into concrete statements through successive applications of sound refinement laws. Both abstract and concrete statements are allowed to freely intermix. The semantics of the concrete statements in ATOM are defined denotationally in specification-oriented style using ITL.

Keywords

Active Object Object Structure Concrete Statement Protected Object Passive Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Hussein Zedan
    • 1
  • Antonio Cau
    • 1
  • Zhiqiang Chen
    • 1
  • Hongji Yang
    • 1
  1. 1.Software Technology Research Laboratory, SERCentreDe Montfort University, The GatewayLeicesterEngland, UK

Personalised recommendations