A Design Method for Real-Time Object-Oriented Systems Using Communicating Real-Time State Machines

A Design Method for Real-Time Object-Oriented Systems Using Communicating Real-Time State Machines

Eduardo B. Fernandez, Jie Wu, Debera R. Hancock
Copyright: © 2002 |Pages: 15
ISBN13: 9781931777124|ISBN10: 1931777128|EISBN13: 9781931777339
DOI: 10.4018/978-1-931777-12-4.ch011
Cite Chapter Cite Chapter

MLA

Fernandez, Eduardo B., et al. "A Design Method for Real-Time Object-Oriented Systems Using Communicating Real-Time State Machines." Successful Software Reengineering, edited by Salvatore Valenti, IGI Global, 2002, pp. 171-185. https://doi.org/10.4018/978-1-931777-12-4.ch011

APA

Fernandez, E. B., Wu, J., & Hancock, D. R. (2002). A Design Method for Real-Time Object-Oriented Systems Using Communicating Real-Time State Machines. In S. Valenti (Ed.), Successful Software Reengineering (pp. 171-185). IGI Global. https://doi.org/10.4018/978-1-931777-12-4.ch011

Chicago

Fernandez, Eduardo B., Jie Wu, and Debera R. Hancock. "A Design Method for Real-Time Object-Oriented Systems Using Communicating Real-Time State Machines." In Successful Software Reengineering, edited by Salvatore Valenti, 171-185. Hershey, PA: IGI Global, 2002. https://doi.org/10.4018/978-1-931777-12-4.ch011

Export Reference

Mendeley
Favorite

Abstract

Many methodologies for software modeling and design include some form of static and dynamic modeling to describe the structural and behavioral views respectively. Modeling and design of complex real-time software systems requires notations for describing concurrency, asynchronous event handling, communication between independent machines, timing properties. Dynamic modeling of real time systems using object-oriented methodologies requires extensions to the traditional state machine notations in order to convey the real-time system characteristics and constraints. This chapter proposes an object-oriented analysis and design methodology that augments the traditional UML (Unified Modeling Language) dynamic model with real-time extensions based on high-level parallel machines and communication notations from CRSM (Communicating Real-Time State Machines). An example of the proposed methodology is provided using a realistic example of an automated passenger train system.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.