Targeted Software

In Progress & Pending

A8: Software Reuse Analysis Environment (SRAE)
- in progress (Eddie)

B1: 21st Century Effort Estimator (2CEE)
- waiting for software (Aaron)

B3: Model Checking Artificial Intelligence-Based Planners (MAP)
- waiting for software (Aaron)

B5: Safety-Critical Application Development Environment (SCADE) Suite
- in progress (Aaron)

C3: ReaGeniX Programmer
- waiting for software (Aaron)

C7: UML Dynamic Specification
- in progress (Aaron)
Suspended

A2: CONFIG Hybrid Simulator (CHS) - no site
A5: Reactis - has a site, needs yet another program to run it
A6: Reconciler Text Analysis Tool and Aerospace Ontology (RTATAO) - no site
A7: Requirements Assistant - site but no download/contact page is broken
B2: Defect Detection and Prevention (DDP) - no response

Untested

C2: Attribute Driven Design (ADD)
C4: Software Process Assurance for Complex Electronics (SPACE)
C5: Testability And Engineering Maintenance System (TEAMS)
C6: Unit Testing (CTA++)
C8: ODC Defect Analysis Technology


Secondary List

01. Method for Quality Assessment of Software Intensive System Architectures (QUASAR)
02. StateRover [http://time-rover.com]
03A. Artifact Tracking (SCARAB) [http://scarab.tigris.org/]
03B. Artifact Tracking (MANTIS) [http://www.mantisbt.org/]
04. SEMA: Software Engineering Measurement and Analysis [http://www.sei.cmu.edu/sema/]
05. Team Software Process (TSP) and Personal Software Process (PSP) [http://www.sei.cmu.edu/tsp/]
06. SCR Test Case Generator [http://chacs.nrl.navy.mil/5546/scr/experscr/]
07. Safety Test Builder [http://www.tni-software.com/en/produits/safetytestbuilder/index.php]
08. Safety Checker Blockset [http://www.tni-software.com/en/produits/safetycheckerblockset/index.php]
09. Robustness Testing of Software-Intensive Systems [http://www.sei.cmu.edu/publications/documents/05.reports/05tn015.html]
10. LDRA Testbed [http://www.ldra.co.uk/testbed.asp]
11. ICOSIM [http://www.triakis.com/Software/Software_ES.htm]
12. ARRT (Advanced Risk Reduction Tool) [http://sarpresults.ivv.nasa.gov/ViewResearch/16/5.jsp]
13. ASCT (Automated Specification Centered Testing) [http://ti.arc.nasa.gov/is/AR/slides/images02/TstGen02.pdf]

Architecture Analysis and Design Language

| View | Upload your own