Managing Complexity in Real-Time Reactive Systems

V.S. Alagar; O. Ormandjieva; M. Zheng

doi:10.1109/ICECCS.2000.873924

Previous
Next
Table of Contents

Engineering of Complex Computer Systems, IEEE International Conference on

Managing Complexity in Real-Time Reactive Systems

Year: 2000, Pages: 0012

DOI Bookmark: 10.1109/ICECCS.2000.873924

Authors

V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
O. Ormandjieva, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
M. Zheng, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

Abstract

Abstract: The paper discusses complexity categories associated with the phases of a process model that is followed in a rigorous development of real time reactive systems. We describe the complexity that is inherent in each phase and give measures to quantify it and methods to contain it. One of the goals of the work is to automate the measurement methods and integrate them into TROMLAB, a rigorous framework for the development of real time reactive systems.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!