Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL
Sudhanwa Kholgade, Jamie White, Hassan Reza · 2007
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