Eddie Jesinsky NASA/WVU ATL Intern [email_address] An Introduction To IV&V ATL
<ul><li>NASA/WVU Applied Technology Lab </li></ul><ul><li>Tri-Pacific Software </li></ul><ul><li>What is it? </li></ul><ul...
<ul><li>Use </li></ul><ul><li>Benefits </li></ul><ul><li>Features </li></ul><ul><li>Capabilities </li></ul><ul><li>Require...
<ul><li>Established: 2007 </li></ul><ul><li>Partnership between WVU and NASA's Independent Verification and Validation (IV...
<ul><li>Founded in 1984 to provide consulting, customized training, and software development services </li></ul><ul><li>Ch...
<ul><li>Allows real-time systems software developers to prevent costly design mistakes and accelerate their development sc...
<ul><li>Preemptive </li></ul><ul><ul><li>Interrupts tasks and resumes them later </li></ul></ul><ul><ul><li>As opposed to ...
<ul><li>Collection of quantitative methods and algorithms for predicting whether a system will meet its timing and through...
<ul><li>Pessimistic – based on worst-case execution time of each task – guarantees schedulability </li></ul><ul><li>Tasks ...
<ul><li>Use </li></ul><ul><li>Benefits </li></ul><ul><li>Features </li></ul><ul><li>Capabilities </li></ul><ul><li>Require...
<ul><li>Problem commonly revealed as a result of RMA: priority inversion </li></ul><ul><ul><li>Execution of higher priorit...
<ul><li>Allows cost effective testing and modeling of systems </li></ul><ul><li>Guarantees schedulability under “worst cas...
<ul><li>Timing and scheduling analysis environment </li></ul><ul><li>Utilizes powerful Rate Monotonic Analysis methodology...
<ul><li>RapidRMA is for: </li></ul><ul><ul><li>Hard real-time systems – flight control, medical device </li></ul></ul><ul>...
Capabilities - 2 IV&V ATL
<ul><li>Use </li></ul><ul><li>Benefits </li></ul><ul><li>Features </li></ul><ul><li>Capabilities </li></ul><ul><li>Require...
<ul><li>Windows 2000, XP, Solaris, Linux </li></ul><ul><li>Java Run-Time Environment </li></ul><ul><li>Short 1-2 day tutor...
<ul><li>RapidRMA Licensing (January 2008 Price List)‏ </li></ul><ul><ul><li>Node Locked License: $4995.00 per seat </li></...
<ul><li>In 1989 IBM applied RMA to a sonar training system, allowing them to discover and correct performance problems </l...
<ul><li>Download the Java 1.6 runtime environment from http://java.sun.com/javase/downloads/index.jsp </li></ul><ul><li>Pu...
<ul><li>RapidRMA has three major sections </li></ul><ul><ul><li>Resource Editor </li></ul></ul><ul><ul><li>Task Editor </l...
<ul><li>Define the system resources to be used by the tasks in the Task Graph editor. </li></ul>Resource Graph Editor IV&V...
<ul><li>Define the tasks of the system to be modeled in the Task Graph Editor </li></ul>Task Graph Editor IV&V ATL
<ul><li>Use the Schedulability Analyzer to analyze the model defined in the Task and Resource Graphs. </li></ul>Schedulabi...
<ul><li>You can skip the defining of resources and tasks by using the Import interface. </li></ul>Importing Data <ul><li>P...
Defining the Resources 1) Add root nodes and child resources 2) Define the parameters of each resource IV&V ATL
Defining the Resources 3) Show any resource accesses across nodes and DASPCP conflicting nodes IV&V ATL
Defining the Tasks 1) Use the Task Graph Editor to define tasks IV&V ATL
Defining the Tasks 2) Specify the parameters of each task: Period, Amount of Work, Relative Deadline, Active Resource IV&V...
<ul><li>Period </li></ul><ul><ul><li>Can be either periodic (Deterministic) or aperiodic (Uniform, Exponential, or Histogr...
<ul><li>The Add Resource Dialog </li></ul><ul><ul><li>Allows you to add, remove, and change the resources used by a task <...
<ul><li>A task may require one or more resources. </li></ul><ul><li>Each resource requirement for a task has a start and f...
<ul><li>Show any dependencies between tasks. </li></ul><ul><li>End-To-End Analysis is not possible unless dependencies are...
<ul><li>RapidRMA bind aperiodic tasks to periodic servers </li></ul><ul><li>RapidRMA assigns each aperiodic task to a uniq...
<ul><li>To model a CORBA system, each client is automatically segmented into a sequence of dependent tasks. </li></ul><ul>...
<ul><li>Specify the analysis type </li></ul><ul><li>Specify the algorithm and priority assignment </li></ul>Run Schedulabi...
<ul><li>Single-Node Analysis </li></ul><ul><ul><li>Show the schedulability of tasks and resources assigned to a single nod...
<ul><li>Shows details about the selected node. Data about each task is included. </li></ul>Single Node Analysis IV&V ATL
<ul><li>With Auto Binding, only schedulable tasks are assigned to nodes. </li></ul><ul><li>You can use one of 4 algorithms...
<ul><li>End-To-End Scheduling looks at the schedulability of a system with one or more paths of execution defined by a ser...
<ul><li>Time Demand Analysis shows the graph of time demand vs time supply </li></ul><ul><li>Both schedulable and non-sche...
Processor Utilization Analysis <ul><li>The Utilization dialogue shows the selected task, higher tasks, and any blocking </...
<ul><li>Blocking details include information about each blocking occurrence </li></ul><ul><li>You can see the next, previo...
<ul><li>RapidRMA allows you to do “what-if” analysis on individual tasks </li></ul><ul><li>RapidRMA can also propose chang...
What-If Analysis In this example, a change in processing rate for Node_1 to 1.25 (from a base of 1.00) makes this model sc...
<ul><li>You can see a timeline of the schedules for any resources and tasks on a selected node. </li></ul>Schedules IV&V ATL
<ul><li>The Task Graph Editor shows the periodic servers created by the Schedulability Analyzer </li></ul>Periodic Server ...
<ul><li>The Aperiodic Simulation window lists the servers on the node, the tasks for the chosen server, a choice of comple...
<ul><li>RapidRMA </li></ul><ul><ul><li>http://www.tripac.com/html/prod-fact-rrm.html </li></ul></ul><ul><ul><li>http://www...
QUESTIONS? Thank you Eddie Jesinsky, Aaron Higgins – Interns Dr. Tim Menzies, Ph.D. - Director Pier Luigi Long – NASA IV&V...
Upcoming SlideShare
Loading in …5
×

RapidRma

2,030 views

Published on

Evaluation of RapidRMA software by ATL Intern Eddie Jesinsky

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

  • Be the first to like this

No Downloads
Views
Total views
2,030
On SlideShare
0
From Embeds
0
Number of Embeds
23
Actions
Shares
0
Downloads
18
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

RapidRma

  1. 1. Eddie Jesinsky NASA/WVU ATL Intern [email_address] An Introduction To IV&V ATL
  2. 2. <ul><li>NASA/WVU Applied Technology Lab </li></ul><ul><li>Tri-Pacific Software </li></ul><ul><li>What is it? </li></ul><ul><li>Rate Monotonic Scheduling </li></ul><ul><li>R ate M onotonic A nalysis </li></ul><ul><li>RapidRMA Background </li></ul><ul><li>Tutorial </li></ul>Overview IV&V ATL
  3. 3. <ul><li>Use </li></ul><ul><li>Benefits </li></ul><ul><li>Features </li></ul><ul><li>Capabilities </li></ul><ul><li>Requirements </li></ul><ul><li>Cost </li></ul><ul><li>Maturity </li></ul><ul><li>Installation </li></ul><ul><li>Tutorial </li></ul>RapidRMA Overview IV&V ATL
  4. 4. <ul><li>Established: 2007 </li></ul><ul><li>Partnership between WVU and NASA's Independent Verification and Validation (IV&V) facility in Fairmont, WV </li></ul><ul><li>Research software engineering technologies that improve and enhance the way NASA produces safe and reliable system software. </li></ul><ul><li>http://atl.wvu.edu </li></ul><ul><li>Director: </li></ul><ul><ul><li>Dr. Tim Menzies, Ph.D. </li></ul></ul>Applied Technology Lab IV&V ATL
  5. 5. <ul><li>Founded in 1984 to provide consulting, customized training, and software development services </li></ul><ul><li>Chosen by the Software Engineering Institute (SEI) to be in a technology exchange to bring Rate Monotonic Analysis to industry </li></ul><ul><li>Worked with the University of Illinois at Champaign-Urbana to incorporate their RMA research into a commercially available tool called PERTS- P rototyping E nvironment for R eal- T ime S ystems – now RapidRMA </li></ul><ul><li>Founded by Peter Kortmann, President, and Fred Kortmann, CFO </li></ul><ul><li>http://www.tripac.com </li></ul>Tri-Pacific Software IV&V ATL
  6. 6. <ul><li>Allows real-time systems software developers to prevent costly design mistakes and accelerate their development schedules </li></ul><ul><li>Allows users to study the effects and relationships of various parameters in the system that directly affect the schedulability of the entire task set </li></ul><ul><li>Multiple analysis tools allow designers to test software models against various design scenarios and evaluate how different implementations can optimize performance </li></ul><ul><li>Implements object oriented resource contention protocol, Distributed Affected Set Priority Ceiling Protocol (DASPCP), developed by University of Rhode Island and SPAWAR </li></ul>What is it? IV&V ATL
  7. 7. <ul><li>Preemptive </li></ul><ul><ul><li>Interrupts tasks and resumes them later </li></ul></ul><ul><ul><li>As opposed to Cooperative – allows tasks to finish </li></ul></ul><ul><li>Fixed Priority </li></ul><ul><ul><li>Static: task period must be known in advance </li></ul></ul><ul><li>Rate Monotonic Prioritization </li></ul><ul><ul><li>Shorter the period, higher the priority </li></ul></ul><ul><li>Other solutions: Deadline Monotonic – earliest deadline first </li></ul>Rate Monotonic Scheduling IV&V ATL
  8. 8. <ul><li>Collection of quantitative methods and algorithms for predicting whether a system will meet its timing and throughput requirements when it is operational </li></ul><ul><li>Guarantees that a system is schedulable with a set of given requirements </li></ul><ul><li>Requires that the total task utilization be less than or equal to the utilization bound </li></ul>Rate Monotonic Analysis Total task utilization: C 1 /T 1 + ...C N /T N Utilization bound: U(N) = N(2 1/N - 1)‏ - C i = worst case task-execution time of each task i - T i = period of each task i - i ranges from 1 to N Ref: Liu & Layland (1973) IV&V ATL
  9. 9. <ul><li>Pessimistic – based on worst-case execution time of each task – guarantees schedulability </li></ul><ul><li>Tasks still may be schedulable if they exceed the utilization bound – response time test must be performed based on processor time demand </li></ul>Rate Monotonic Analysis - 2 Example: Task Characteristics: Total Task Utilization: 5/20 + 10/40 + 12/60 = 0.25 + 0.25 + 0.20 = .7 = 70% Utilization Bound: U(3) = 3(2 1/3 – 1) = 0.779 = 77.9% IV&V ATL
  10. 10. <ul><li>Use </li></ul><ul><li>Benefits </li></ul><ul><li>Features </li></ul><ul><li>Capabilities </li></ul><ul><li>Requirements </li></ul><ul><li>Cost </li></ul><ul><li>Maturity </li></ul><ul><li>Installation </li></ul><ul><li>Tutorial </li></ul>RapidRMA Overview IV&V ATL
  11. 11. <ul><li>Problem commonly revealed as a result of RMA: priority inversion </li></ul><ul><ul><li>Execution of higher priority thread forced to wait for a lower priority thread to release a resource </li></ul></ul><ul><li>Mars Pathfinder </li></ul><ul><ul><li>Failure to enable protection against priority inversion </li></ul></ul><ul><ul><li>Before launch testing limited to “best-case” high data rates and science activities </li></ul></ul><ul><li>RapidRMA performs “worst-case” schedulability analysis </li></ul><ul><ul><li>Could have been caught in testing </li></ul></ul>Use IV&V ATL
  12. 12. <ul><li>Allows cost effective testing and modeling of systems </li></ul><ul><li>Guarantees schedulability under “worst case” conditions </li></ul><ul><li>Isolates and identifies timing problems </li></ul><ul><li>Provides “what if” support to identify bottlenecks and performance issues </li></ul><ul><li>Prevents users from performing unnecessary tasks </li></ul><ul><ul><li>Recompiling and executing the software to see if a change worked </li></ul></ul><ul><ul><li>Moving functionality from a task to an interrupt service routine </li></ul></ul><ul><ul><li>Re-allocating resources that can be analyzed in the model before being implemented in the software </li></ul></ul>Benefits IV&V ATL
  13. 13. <ul><li>Timing and scheduling analysis environment </li></ul><ul><li>Utilizes powerful Rate Monotonic Analysis methodology </li></ul><ul><li>Provides support for the following algorithms and analysis: </li></ul><ul><ul><li>Rate Monotonic </li></ul></ul><ul><ul><li>Deadline Monotonic </li></ul></ul><ul><ul><li>Cyclic Executive </li></ul></ul><ul><ul><li>ROSA </li></ul></ul><ul><ul><li>Aperiodic Simulation </li></ul></ul><ul><li>Interfaces for Ilogix Rhapsody and IBM/Rational Rose Real-Time RT-UML support, and Wind River's WindView </li></ul><ul><li>Support for Real-Time CORBA semantics </li></ul>Features Also: - Periodic task handling - Aperiodic job handling IV&V ATL
  14. 14. <ul><li>RapidRMA is for: </li></ul><ul><ul><li>Hard real-time systems – flight control, medical device </li></ul></ul><ul><ul><li>Soft real-time systems – networks, telecommunications </li></ul></ul><ul><li>Used: </li></ul><ul><ul><li>During system design: to validate the timing requirements of a new system before coding </li></ul></ul><ul><ul><li>When prototyping: to identify potential architecture problems and revalidating timing requirements </li></ul></ul><ul><ul><li>On existing system: to pinpoint potential timing problems and bottlenecks in the architecture </li></ul></ul><ul><ul><li>Iteratively throughout the life of the system: will changes to the system alter the timing requirements? </li></ul></ul>Capabilities IV&V ATL
  15. 15. Capabilities - 2 IV&V ATL
  16. 16. <ul><li>Use </li></ul><ul><li>Benefits </li></ul><ul><li>Features </li></ul><ul><li>Capabilities </li></ul><ul><li>Requirements </li></ul><ul><li>Cost </li></ul><ul><li>Maturity </li></ul><ul><li>Installation </li></ul><ul><li>Tutorial </li></ul>RapidRMA Overview IV&V ATL
  17. 17. <ul><li>Windows 2000, XP, Solaris, Linux </li></ul><ul><li>Java Run-Time Environment </li></ul><ul><li>Short 1-2 day tutorial required for basic RMA knowledge </li></ul><ul><li>Can be incorporated into existing software engineering processes with relative ease incrementally </li></ul><ul><li>Abstracting the system architecture takes a different type of thinking </li></ul>Requirements IV&V ATL
  18. 18. <ul><li>RapidRMA Licensing (January 2008 Price List)‏ </li></ul><ul><ul><li>Node Locked License: $4995.00 per seat </li></ul></ul><ul><ul><li>Floating License: $7995.00 per seat </li></ul></ul><ul><ul><li>Node Locked License for RT UML: $6995.00 per seat </li></ul></ul><ul><ul><li>Floating License for RT UML: $9995.00 per seat </li></ul></ul><ul><li>Maintenance: 19% retail cost </li></ul><ul><li>Training: $4000 + expenses/day or $3500 each for 2 </li></ul><ul><li>Consulting: $3250/day or $3000/day with 25 day block </li></ul><ul><li>Quick Start Program: $50,000 (20 days combined training and mentoring for first 2 months of project </li></ul>Cost IV&V ATL
  19. 19. <ul><li>In 1989 IBM applied RMA to a sonar training system, allowing them to discover and correct performance problems </li></ul><ul><li>Recommended by IBM Federal Sector Division (now Lockheed Martin) for its real-time products since 1990 </li></ul><ul><li>RMA was applied successfully by the US Navy to an active and passive sonar of a major submarine system </li></ul><ul><li>RMA was adopted in 1990 by NASA for development of real-time software for the space station data management subsystem </li></ul>Maturity IV&V ATL
  20. 20. <ul><li>Download the Java 1.6 runtime environment from http://java.sun.com/javase/downloads/index.jsp </li></ul><ul><li>Purchase a license key from license@tripac.com </li></ul><ul><li>Download your version of RapidRMA from http://tripac.com/html/downloads.html </li></ul><ul><li>Install both the Java 1.6 runtime environment and RapidRMA executables </li></ul><ul><li>Cut and paste the license text you received into the license.lic dummy file in the RapidRMA directory after it has been installed </li></ul>Installation IV&V ATL
  21. 21. <ul><li>RapidRMA has three major sections </li></ul><ul><ul><li>Resource Editor </li></ul></ul><ul><ul><li>Task Editor </li></ul></ul><ul><ul><li>Schedulability Analyzer </li></ul></ul><ul><li>The Resource Editor and Task Editor each have two views </li></ul><ul><ul><li>Graph Editor </li></ul></ul><ul><ul><li>Spreadsheet Editor </li></ul></ul>Tutorial Introduction IV&V ATL
  22. 22. <ul><li>Define the system resources to be used by the tasks in the Task Graph editor. </li></ul>Resource Graph Editor IV&V ATL
  23. 23. <ul><li>Define the tasks of the system to be modeled in the Task Graph Editor </li></ul>Task Graph Editor IV&V ATL
  24. 24. <ul><li>Use the Schedulability Analyzer to analyze the model defined in the Task and Resource Graphs. </li></ul>Schedulability Analyzer IV&V ATL
  25. 25. <ul><li>You can skip the defining of resources and tasks by using the Import interface. </li></ul>Importing Data <ul><li>Perts Models </li></ul><ul><ul><li>Import Previous PERTS models into RapidRMA form </li></ul></ul><ul><li>WindView Users </li></ul><ul><ul><li>Directly import from WindView 2 log file </li></ul></ul><ul><li>ObjecTime Users </li></ul><ul><ul><li>Directly import a Developer linear form model </li></ul></ul><ul><ul><li>Select the linear form files generated by Developer 5.2 </li></ul></ul><ul><li>Illuminator Users </li></ul><ul><ul><li>Directly import from an Illuminator log file </li></ul></ul>IV&V ATL
  26. 26. Defining the Resources 1) Add root nodes and child resources 2) Define the parameters of each resource IV&V ATL
  27. 27. Defining the Resources 3) Show any resource accesses across nodes and DASPCP conflicting nodes IV&V ATL
  28. 28. Defining the Tasks 1) Use the Task Graph Editor to define tasks IV&V ATL
  29. 29. Defining the Tasks 2) Specify the parameters of each task: Period, Amount of Work, Relative Deadline, Active Resource IV&V ATL
  30. 30. <ul><li>Period </li></ul><ul><ul><li>Can be either periodic (Deterministic) or aperiodic (Uniform, Exponential, or Histogram)‏ </li></ul></ul><ul><li>Amount of Work </li></ul><ul><ul><li>Can be either periodic (Deterministic) or aperiodic (Uniform, Exponential, or Histogram)‏ </li></ul></ul><ul><li>Relative Deadline </li></ul><ul><ul><li>The point in time relative to the ready event by which the response must be complete for the timing behavior of the response to be correct </li></ul></ul><ul><li>Active Resource </li></ul><ul><ul><li>The name of the node and CPU that the task will run on in the form NodeName.CPU (Resource ID)‏ </li></ul></ul>Required Task Parameters IV&V ATL
  31. 31. <ul><li>The Add Resource Dialog </li></ul><ul><ul><li>Allows you to add, remove, and change the resources used by a task </li></ul></ul><ul><ul><li>When you specify that a task uses a resource, you must specify the time intervals in which it is used </li></ul></ul>Specify Task Parameters IV&V ATL
  32. 32. <ul><li>A task may require one or more resources. </li></ul><ul><li>Each resource requirement for a task has a start and finish time. </li></ul><ul><li>A resource requirement can involve multiple numbers of the resource. </li></ul>Specify Task Parameters IV&V ATL
  33. 33. <ul><li>Show any dependencies between tasks. </li></ul><ul><li>End-To-End Analysis is not possible unless dependencies are defined. </li></ul>Show Task Dependencies IV&V ATL
  34. 34. <ul><li>RapidRMA bind aperiodic tasks to periodic servers </li></ul><ul><li>RapidRMA assigns each aperiodic task to a unique periodic server within a node </li></ul><ul><li>During Single-Node Analysis or from the Task Graph Editor, you can reassign aperiodic tasks to different servers </li></ul><ul><li>You can select among various types of periodic servers (sporadic, polling, etc)‏ </li></ul>Aperiodic Tasks IV&V ATL
  35. 35. <ul><li>To model a CORBA system, each client is automatically segmented into a sequence of dependent tasks. </li></ul><ul><li>Use intermediate deadlines to define where the client accesses CORBA services. </li></ul>Define Intermediate Deadlines IV&V ATL
  36. 36. <ul><li>Specify the analysis type </li></ul><ul><li>Specify the algorithm and priority assignment </li></ul>Run Schedulability Analysis IV&V ATL
  37. 37. <ul><li>Single-Node Analysis </li></ul><ul><ul><li>Show the schedulability of tasks and resources assigned to a single node, and provides powerful what-if modeling tools </li></ul></ul><ul><li>Multiple-Node Analysis </li></ul><ul><ul><li>Allows the assignment of tasks to nodes, partitions resources among nodes, and shows the schedulability results of a complete multiprocessor system </li></ul></ul><ul><li>End-To-End Analysis </li></ul><ul><ul><li>Shows whether each task can always meet its deadlines, providing worst-case completion times </li></ul></ul>Select Analysis Type IV&V ATL
  38. 38. <ul><li>Shows details about the selected node. Data about each task is included. </li></ul>Single Node Analysis IV&V ATL
  39. 39. <ul><li>With Auto Binding, only schedulable tasks are assigned to nodes. </li></ul><ul><li>You can use one of 4 algorithms for Auto Binding: </li></ul><ul><ul><li>First Fit: Each task is assigned to the first node where schedulability is guaranteed </li></ul></ul><ul><ul><li>Best Fit: Each task is assigned to the node which may result in the least amount of blocking </li></ul></ul><ul><ul><li>Next Fit: As many tasks as possible are assigned to each node in turn </li></ul></ul><ul><ul><li>Worst Fit: Each task is assigned to the node which may result in the greatest amount of blocking </li></ul></ul>Multiple Node Analysis IV&V ATL
  40. 40. <ul><li>End-To-End Scheduling looks at the schedulability of a system with one or more paths of execution defined by a series of dependencies between tasks. </li></ul><ul><li>The worst-case completion time is given on each node. </li></ul><ul><li>Single-Node Analysis can also be performed on each node. </li></ul>End To End Analysis IV&V ATL
  41. 41. <ul><li>Time Demand Analysis shows the graph of time demand vs time supply </li></ul><ul><li>Both schedulable and non-schedulable tasks are shown </li></ul>Time Demand Analysis IV&V ATL
  42. 42. Processor Utilization Analysis <ul><li>The Utilization dialogue shows the selected task, higher tasks, and any blocking </li></ul><ul><li>Details are available by clicking the appropriate button </li></ul>IV&V ATL
  43. 43. <ul><li>Blocking details include information about each blocking occurrence </li></ul><ul><li>You can see the next, previous and worst blocking conditions </li></ul>Blocking Analysis IV&V ATL
  44. 44. <ul><li>RapidRMA allows you to do “what-if” analysis on individual tasks </li></ul><ul><li>RapidRMA can also propose changes to make the task schedulable </li></ul>What-If Analysis A change in execution time from 40 to 36 will make this task schedulable. IV&V ATL
  45. 45. What-If Analysis In this example, a change in processing rate for Node_1 to 1.25 (from a base of 1.00) makes this model schedulable. IV&V ATL
  46. 46. <ul><li>You can see a timeline of the schedules for any resources and tasks on a selected node. </li></ul>Schedules IV&V ATL
  47. 47. <ul><li>The Task Graph Editor shows the periodic servers created by the Schedulability Analyzer </li></ul>Periodic Server Analysis <ul><li>The Aperiodic Task menu lets you review and alter attributes and aperiodic tasks and their periodic servers </li></ul>IV&V ATL
  48. 48. <ul><li>The Aperiodic Simulation window lists the servers on the node, the tasks for the chosen server, a choice of complexity levels, and user-definable server parameters </li></ul>Aperiodic Simulation IV&V ATL
  49. 49. <ul><li>RapidRMA </li></ul><ul><ul><li>http://www.tripac.com/html/prod-fact-rrm.html </li></ul></ul><ul><ul><li>http://www.tripac.com/html/tech-bkgd-rma.html </li></ul></ul><ul><ul><li>http://tripac.com/html/downloads.html (RapidRMA tutorial)‏ </li></ul></ul><ul><ul><li>http://www.nasa.gov/centers/ivv/doc/207836main_RRMA-RAPIDRMA-WebEval.doc </li></ul></ul><ul><li>Rate Monotonic Analysis </li></ul><ul><ul><li>http://www.sei.cmu.edu/str/descriptions/rma_body.html </li></ul></ul><ul><ul><li>http://ece.cmu.edu/~koopman/des_s99/real_time/ </li></ul></ul><ul><ul><li>http://www.edn.com/archives/1997/090197/18df_03.htm </li></ul></ul>Resources IV&V ATL
  50. 50. QUESTIONS? Thank you Eddie Jesinsky, Aaron Higgins – Interns Dr. Tim Menzies, Ph.D. - Director Pier Luigi Long – NASA IV&V IV&V ATL

×