|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
ARINC (1992). Software Considerations in Airborne Systems and Equipment Certification. ARINC, Annapolis, Maryland.
|
| |
2
|
Caro, D. (1998). What Does Real Time Mean Anyway. Instrument Society of America, http://www.isa.org/jouriaals/ic/octfloor/html.
|
| |
3
|
Deirauer, P. and B. Woolever (1998). Understanding Smart Devices. Industrial Computing. Vol. pp. 47-50.
|
| |
4
|
|
| |
5
|
|
 |
6
|
|
| |
7
|
Hedenetz, B. and R. Belschner (1998). "Brake by Wire" without Mechanical Backup by Using a TTP Communication Network. SAE World Congress, Detroit Michigan. SAE Press, Warrendale, PA, USA.
|
| |
8
|
|
| |
9
|
Kopetz, H. (1998). Component-Based Design of Large Distributed Real-Time Systems. Control Engineering Practice-A Journal of lFAC, Pergamon Press. Vol. 6. pp. 53-60.
|
| |
10
|
|
| |
11
|
Kopetz, H. and T. Thurner (1998). TTP--A new approach to solving the interoperability problem of independently developed ECUs. SAE Congress 1998, Detroit, USA. SAE Press 981107. pp. 1-7.
|
| |
12
|
Littlewood, B. and L. Strigini (1-995). Validation of Ultradependability for Software Based Systems. Predictably Dependable Computing Systems B. Randell, J. L. Laprie, H. Kopetz and B. Littlewood Ed. Heidelberg Springer verlag pp. 473-493
|
 |
13
|
|
| |
14
|
OMG, 9. (1998). Real-Time CORBA. Object Management Group, Framingham, Mass.
|
| |
15
|
|
| |
16
|
Rushby, J. (1993). Formal Methods and the Certification of Critical Systems. Computer Science Lab, SRI.
|
 |
17
|
|
| |
18
|
SIA (1997). National Roadmap for Semiconductors. Semiconductor Industry Association, http://notes.sematech.org/ntrs/Rdmpmen.
|
| |
19
|
|
|