RTEdge - Carnegie Mellon University
RTEdge - Carnegie Mellon University
RTEdge - Carnegie Mellon University
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Extending the <strong>RTEdge</strong> ® User Workflows<br />
• The Model IS the Executable Application:<br />
One source of truth for Software Components across the lifecycle<br />
Graphical<br />
Editing<br />
Environment<br />
Flow Analysis<br />
Buffer Analysis<br />
Code<br />
Code<br />
file Code<br />
fileCode<br />
file<br />
file<br />
exe<br />
File<br />
exec<br />
exe<br />
File<br />
exec<br />
RTOS Target<br />
Code<br />
Generation<br />
Build<br />
Debug<br />
exe<br />
File<br />
AADL Run-time Development Environment<br />
User<br />
Application<br />
Model<br />
exec<br />
Virtual Time Environment<br />
Flow Latency<br />
& Schedulability<br />
Analysis<br />
Model<br />
Completeness<br />
Analysis<br />
Behavioural<br />
Analysis using<br />
Formal Methods<br />
AADL Proof Based Event Flows<br />
Engineering<br />
Edgewater Computer Systems – April 2012 16