loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
Automation of analysis and simulation for understanding of large real-time Ada software
Ft. Lauderdale, Florida
November 06-November 10
ISBN: 0-8186-7123-8
M. Lee, Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
N. Prywes, Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
I. Lee, Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
This paper describes analysis and simulation for understanding of large Ada-83 real-time software. Ada real-time software is frequently very large in size and very complex. The objective is to describe: (1) discovery of the architecture of the software by decomposing the software into a hierarchical structure, (2) generation of state machines that preserve the real-time properties of the hierarchically organized units, and (3) simulation of the software represented by the state machines. Because of the severe limitation of space, these capabilities are only briefly described, without an example. The first two items above have been exercised in processing over 100,000 lines of Ada-83 code. The third item is still being developed.
Index Terms:
real-time systems; Ada; digital simulation; large real-time Ada software; simulation; hierarchical structure; state machines
Citation:
M. Lee, N. Prywes, I. Lee, "Automation of analysis and simulation for understanding of large real-time Ada software," iceccs, pp.55, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.