Skip to main content
SpringerLink
Log in

Real-Time Object-Oriented Method

  • Conference paper
OOIS’ 95

  • 53 Accesses

Abstract

It is useful to introduce object-orientation into analysis and design methodologies for hard real-time software. But in the ccurrent object-oriented analysis and design methodology for hard real-time software, there is no methodology including formal verification of both dynamic properties and structural properties. In this paper, we a propose specification and verification method as follows.

  • Specification language consists of OMT syntax and timed automaton.

  • Structural properties between object model and dynamic model, and functional model are verified.

  • Dynamic properties such as event sequences and fairness are verified.

We have developed a verification system and shown this method effective.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur R. Dill D. The theory of timed automata, LNCS 600, pp.45–73 (1992).

    MathSciNet  Google Scholar 

  2. Alur R. Courcoubetis C. Dill D. Halbwachs Wong-Toi H. An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness, Proc. Real-Time Systems Symposium, pp.157–166 (1992).

    Google Scholar 

  3. Arapis C. Temporal Specification of Object Behavior, LNCS 495, pp.308–324 (1991).

    MathSciNet  Google Scholar 

  4. Booch G. Object-Oriented Design with Applications, Benjamin/Cummings (1991).

    Google Scholar 

  5. Breu K.: Algebraic Specification Techniques in Object Oriented Programming Environment, Springer Verlag (1991).

    Google Scholar 

  6. Buhr R. Architectures with Pictures, Proc. OOPSLA 92, pp.466–483, ACM Press (1992).

    Google Scholar 

  7. Coleman D. Hayes F. Bear S. Introduction Objectcharts or How to Use Statecharts in Object-Oriented Design, IEEE Trans. on SE, Vol.18, No.1, pp.9–18 (1992).

    Google Scholar 

  8. Dill D. Timing assumptions and verification of finite-state concurrent systems, LNCS 407, pp.197–212 (1989).

    Google Scholar 

  9. Harel D. Statecharts:A Visual Formalism for Complex Systems, Science of Computer Programming, 8, pp.231–274 (1987).

    Article  MathSciNet  MATH  Google Scholar 

  10. Hatley D.J. Pirbhai I.A. Strategies for Real-time System Specification, P.377, Dorset House (1988).

    Google Scholar 

  11. Hopcroft J.E. Ullman J.D. Introduction to Automata Theory, Languages and Computation, Addison-Wesley (1979).

    Google Scholar 

  12. Jungclaus R. Saake G. Hartmann T. Language Features for Object-Oriented Conceptual Modeling, Proc. 10th ER-approach, pp.309–324 (1991).

    Google Scholar 

  13. Kavi K.M. Real-time Systems, Abstraction, Languages, and Design Methodologies, P.660, IEEE Computer Society (1992).

    Google Scholar 

  14. Kim W. Lochovsky F.H. Object-Oriented Concepts, Databases, and Applications, P.602, ACM Press (1989).

    Google Scholar 

  15. Kurshan R.P. Computer-aided Verification of Coordinating Processes, Princeton Series in Computer Science (1994).

    Google Scholar 

  16. Rokicki T.G. Myers C.J. Automatic Verification of Timed Circuits, LNCS 818, pp.468–480 (1994).

    Google Scholar 

  17. Rumbaugh J. Blaha M. Premerlani W. Eddy F. Lorensen W. Object-Oriented Modeling and Design, P.500, Prentice Hall (1991).

    Google Scholar 

  18. Selic B. Gullekson G. Ward P.T. Real-Time Object-Oriented Modeling, P.525, John Wiley (1994).

    Google Scholar 

  19. Sernadas A. Sernadas C. Ehrich H-D, Object-Oriented Specification of Databases: An Algebraic Approach, Proc. VLDB’87, pp.107–116 (1987).

    Google Scholar 

  20. Shlaer S. Mellor S.J. OBJECT LIFECYCLES Modeling the World in States, Englewood Cliffs (1992).

    Google Scholar 

  21. Tarjan R. Depth-first search and linear graph algorithms, SIAM J. of Computing 1(2), pp.146–160 (1972).

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Deptartment of Computer Science, Shimane University, 1060 Nishikawatu, Matue City, ZIP/Zone 690, Japan

    Satoshi Yamane

Authors
  1. Satoshi Yamane
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Applications Faculty of Computing and Mathematical Sciences, Dublin City University, Glasnevin, Dublin 9, Ireland

    John Murphy  & Brian Stone  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag London Limited

About this paper

Cite this paper

Yamane, S. (1996). Real-Time Object-Oriented Method. In: Murphy, J., Stone, B. (eds) OOIS’ 95. Springer, London. https://doi.org/10.1007/978-1-4471-1009-5_25

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-1009-5_25

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76010-8

  • Online ISBN: 978-1-4471-1009-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation