Title :
Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL
Author :
Kholgade, Sudhanwa ; White, Jamie ; Reza, Hassan
Author_Institution :
Sch. of Aerosp. Sci., North Dakota Univ., Grand Forks, ND
Abstract :
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
Keywords :
formal specification; real-time systems; software architecture; software reliability; specification languages; Architecture Analysis Description Language; Statecharts modeling notation; formal methods; near-real time commanding system specification; software architecture; Architecture description languages; Computer architecture; Hardware; Payloads; Performance analysis; Real time systems; Software architecture; Software systems; Software testing; System testing;
Conference_Titel :
Information Technology, 2007. ITNG '07. Fourth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7695-2776-0
DOI :
10.1109/ITNG.2007.53
