AADL

1,848 views
1,732 views

Published on

AADL slides

Published in: Economy & Finance, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,848
On SlideShare
0
From Embeds
0
Number of Embeds
13
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

AADL

  1. 1. A rchitecture A nalysis and D esign L anguage NASA IV&V West Virginia University Introduction An Introduction to AADL Date: June, 28, 2008 Presented by: Aaron Higgins, Intern, NASA ATL at WVU [email_address]
  2. 2. AADL NASA IV&V West Virginia University Applied Technology Lab <ul><li>Established: 2007 </li></ul><ul><li>Partnership between West Virginia University (WVU) and NASA's Independent Verification and Validation (IV&V) facility. </li></ul><ul><li>Goal to research software engineering techniques that improve and enhance the way NASA produces safe and reliable system software. </li></ul><ul><li>Director: Dr. Tim Menzies </li></ul><ul><li>Website: atl.wvu.edu </li></ul>
  3. 3. AADL NASA IV&V West Virginia University Overview <ul><li>Origins </li></ul><ul><li>Purpose </li></ul><ul><li>What does it do? </li></ul><ul><li>Introduction to OSATE </li></ul><ul><ul><li>Getting OSATE </li></ul></ul><ul><ul><li>Installing OSATE </li></ul></ul><ul><ul><li>Running OSATE </li></ul></ul><ul><li>Summary </li></ul><ul><li>Contact Information </li></ul><ul><li>Questions </li></ul>
  4. 4. AADL NASA IV&V West Virginia University Origins <ul><li>Formerly the Avionics Architecture Description Language </li></ul><ul><li>Standardized by the S ociety of A utomotive E ngineers. </li></ul><ul><li>Now used to model real-time embedded systems. </li></ul><ul><ul><li>Both hardware and software. </li></ul></ul>
  5. 5. AADL NASA IV&V West Virginia University Purpose <ul><li>“ Model-based system engineering (MBE) lets you focus on the analysis of system architecture—and detect problems with availability, security, and timeliness early on, before they conspire to raise costs, reduce effectiveness and predictability, and shorten lifespan. “ </li></ul>
  6. 6. AADL NASA IV&V West Virginia University What does it do? <ul><li>The SAE Architecture Analysis and Design Language (AADL) standard </li></ul><ul><ul><li>single model analyzed for multiple qualities. </li></ul></ul><ul><ul><li>industry-standard </li></ul></ul><ul><ul><li>is supported by commercial and open source tool solutions—including the SEI Open Source AADL Tool Environment (OSATE)‏ </li></ul></ul>
  7. 7. AADL NASA IV&V West Virginia University Introduction to OSATE <ul><li>Open Source AADL Tool Environment </li></ul><ul><ul><li>Plugin for Eclipse </li></ul></ul><ul><ul><li>Toolset for creating AADL models </li></ul></ul><ul><ul><li>Open source </li></ul></ul>
  8. 8. AADL NASA IV&V West Virginia University Getting OSATE (1)‏ <ul><li>http://www.aadl.info/ </li></ul><ul><ul><li>Go to Tool Integrators tab </li></ul></ul><ul><ul><li>OSATE </li></ul></ul>
  9. 9. AADL NASA IV&V West Virginia University Getting OSATE (2)‏
  10. 10. AADL NASA IV&V West Virginia University Installing OSATE (1)‏ <ul><li>Extract the zip archive </li></ul><ul><li>Run Eclipse </li></ul>
  11. 11. AADL NASA IV&V West Virginia University Installing OSATE (2)‏
  12. 12. AADL NASA IV&V West Virginia University Installing OSATE (3)‏
  13. 13. AADL NASA IV&V West Virginia University Running OSATE (1)‏
  14. 14. AADL NASA IV&V West Virginia University OSATE Workspace‏ * http://sarpresults.ivv.nasa.gov/ViewResearch/99.jsp SAS 06 Technical Presentation.ppt
  15. 15. AADL NASA IV&V West Virginia University OSATE Example Screenshot * http://sarpresults.ivv.nasa.gov/ViewResearch/99.jsp SAS 06 Executive Briefing.ppt
  16. 16. AADL NASA IV&V West Virginia University Summary <ul><li>Standardized by the S ociety of A utomotive E ngineers. </li></ul><ul><li>Model real-time embedded systems. </li></ul><ul><li>Industry standard </li></ul><ul><li>Open source tools available </li></ul><ul><li>OSATE </li></ul>
  17. 17. AADL NASA IV&V West Virginia University Contact Information <ul><li>Applied Technology Lab at West Virginia University </li></ul><ul><ul><li>[email_address] </li></ul></ul><ul><li>Dr. Tim Menzies, ATL administrator </li></ul><ul><ul><li>[email_address] </li></ul></ul><ul><li>Aaron Higgins, ATL intern </li></ul><ul><ul><li>[email_address] </li></ul></ul><ul><li>Eddie Jesinsky, ATL intern </li></ul><ul><ul><li>[email_address] </li></ul></ul>
  18. 18. AADL NASA IV&V West Virginia University Questions?

×