|
Research Challenges in High Confidence Systems
Acronyms |
 
|
|
|
|
|||
 |
|
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
||||||||||
|
|
|||||||||||
Acronyms |
| ||||||||||
| CMU | Carnegie Mellon University | ||||||||||
| DARPA | Defense Advanced Research Projects Agency |
| DISA | Defense Information Systems Agency |
| DNS | Domain Name Service |
| FAA | Federal Aviation Administration |
| FDA | Federal Drug Administration |
| FHA | Federal Highway Administration |
| FRA | Federal Railroad Administration |
| GPS | Global Positioning System |
| HCI | human-computer interface |
| HCS | High Confidence Systems |
| HOL | high order language |
| HPC | High Performance Computing [program] |
| IC | Intelligence Community |
| I&C | [digital] instrumentation and control |
| IDA | Institute for Defense Analyses |
| I/O | input/output |
| IPT | integrated product team |
| IRS | Internal Revenue Service |
| ITRMA | Information Technology Management Reform Act [1996] |
| LF | line-feed |
| LLNL | Lawrence Livermore National Laboratory |
| JVM | Java Virtual Machine |
| ML | machine language |
| MLS | multi-level security |
| MRI | Magnetic Resonance Imaging |
| MTBHE | mean time between hazardous events |
| MTTF | mean time to failure |
| MTTR | mean time to repair |
| NASA | National Aeronautics and Space Administration |
| NGI | Next Generation Internet |
| NIH | National Institutes of Health |
| NRL | Naval Research Laboratory |
| NRC | Nuclear Regulatory Commission; National Research Councils |
| NSA | National Security Agency |
| OSF | Open Software Foundation |
| PCC | Proof-Carrying Code |
| PGP | Pretty Good Privacy |
| R&D | research and development |
| RMSL | Requirements Modeling and Specification Language |
| SCR | [David Parnas method of requirements analyis] |
| TCB | Trusted Computing Base |
| TTA | Time-Triggered Architecture |
| U.S. | United States |
| V&V | verification and validation |
| VHDL | Very High Speed Integrated Circuit (VHSIC) Hardware Design Language |
| WAM | World-Wide Military Command and Control System (WMCCS) Automation Program |
| WWMCCS | World-Wide Military Command and Control System |
