Mapping AADL to Petri Net Tool-Sets Using PNML Framework

Download Now
Provided by: Scientific Research
Topic: Software
Format: PDF
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 enabling to analyze the quality of a system. For example, a developer can perform performance analysis such as end-to-end flow analysis to guarantee that system components have the required resources to meet the timing requirements relevant to their communications.
Download Now

Find By Topic