loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Information Technology (ITNG'07)
Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL
Las Vegas, Nevada, USA
April 02-April 04
ISBN: 0-7695-2776-0
ASCII Text
x 
 
Sudhanwa Kholgade, Jamie White, Hassan Reza, "Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL," Information Technology: New Generations, Third International Conference on, pp. 355-360, International Conference on Information Technology (ITNG'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ITNG.2007.53,
author = {Sudhanwa Kholgade and Jamie White and Hassan Reza},
title = {Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL},
journal ={Information Technology: New Generations, Third International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2776-0},
pages = {355-360},
doi = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2007.53},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Information Technology: New Generations, Third International Conference on
TI - Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL
SN - 0-7695-2776-0
SP355
EP360
A1 - Sudhanwa Kholgade,
A1 - Jamie White,
A1 - Hassan Reza,
PY - 2007
KW - null
VL - 0
JA - Information Technology: New Generations, Third International Conference on
ER -
 
Sudhanwa Kholgade, University of North Dakota
Jamie White, University of North Dakota
Hassan Reza, University of North Dakota
In this paper, we discuss a case study that was performed to compare pros and cons of formally specified a near real-time commanding system using the Architecture Analysis Description Language (AADL) and Statecharts modeling notations. Five system parameters and project metrics namely reliability, schedulability, performance, usability and, tool support were identified as criteria to compare the two formal techniques.
Citation:
Sudhanwa Kholgade, Jamie White, Hassan Reza, "Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL," itng, pp.355-360, International Conference on Information Technology (ITNG'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.