Read full paper at: http://www.scirp.org/journal/PaperInformation.aspx?PaperID=50829#.VE3BP1fHRK0 Author(s) Hassan Reza , Amrita Chatterjee Affiliation(s) Department of Computer Science, School of Aerospace Sciences, University of North Dakota, Grand Forks, USA . ABSTRACT Architecture Analysis and Design Language (AADL) has been utilized to specify and verify nonfunctional properties of Real-Time Embedded Systems (RTES) used in critical application systems. Examples of such critical application systems include medical devices, nuclear power plants, aerospace, financial, etc. Using AADL, an engineer is enable to analyze the quality of a system. For example, a developer can perform performance analysis such a...
Scientific Research Publishing