| 6 |
7u83 |
1 |
Papers and research articles
|
|
|
2 |
============================
|
|
|
3 |
|
|
|
4 |
- Validation of TenDRA Capability to Implement
|
|
|
5 |
a UNIX-like Operating System
|
|
|
6 |
See unix-validation
|
|
|
7 |
|
|
|
8 |
- Validation of TenDRA Capability to Implement a Set of Commands for
|
|
|
9 |
the Linux Operating System
|
|
|
10 |
See linux-validation
|
|
|
11 |
|
|
|
12 |
- TDF and Portability
|
|
|
13 |
See porting
|
|
|
14 |
|
|
|
15 |
|
|
|
16 |
There have been numerous academic papers published which may be
|
|
|
17 |
relevant; some relating to Ten15, some to TDF. If we can't reproduce
|
|
|
18 |
these, we should at least give references to them on Citeseer.
|
|
|
19 |
|
|
|
20 |
Here're a few:
|
|
|
21 |
|
|
|
22 |
Ten15: An Overview", P. Core et al, Royal
|
|
|
23 |
Signals Radar Establishment TR 3977 (Sept 1986)
|
|
|
24 |
|
|
|
25 |
Validating Microcode Algebraically, J. M. Foster. The Computer Journal
|
|
|
26 |
29(5): 416-422 (1986)
|
|
|
27 |
|
|
|
28 |
Ten15: An Abstract Machine for Portable Environments, Ian F. Currie,
|
|
|
29 |
J. M. Foster, P. W. Core, in Proceedings of ESEC '87, 1st European
|
|
|
30 |
Software Engineering Conference, edited by Howard K. Nichols and Dan
|
|
|
31 |
Simpson, Strasbourg, France, September 9-11, 1987. No 289 in the
|
|
|
32 |
Lecture Notes in Computer Science series, published by Springer Verlag,
|
|
|
33 |
1987. ISBN 3-540-18712-X.
|
|
|
34 |
|
|
|
35 |
Remote Capabilities, J. M. Foster, Ian F. Currie. The Computer Journal
|
|
|
36 |
30(5): 451-457 (1987)
|
|
|
37 |
|
|
|
38 |
J. M. Foster, "The Algebraic Specification of a Target Machine: Ten15",
|
|
|
39 |
in High Integrity Software, ed. C.T. Sennett, Pitman (1988)
|
|
|
40 |
Also cited as: The Algebraic Specification of a Target Machine: Ten15,
|
|
|
41 |
J M Foster, Chapter 9 in ??(pages 198-225). Computer Systems Series.
|
|
|
42 |
Published by Pitman, London, 1989.
|
|
|
43 |
|
|
|
44 |
N. E. Peeling, "The Ten15 project [software development]",
|
|
|
45 |
Royal Signals & Radar Establ., Malvern (1990). UK IT 1990
|
|
|
46 |
Conference, INSPEC Accession Number: 3649169
|
|
|
47 |
|
|
|
48 |
Peeling, N.E. et al. "Frequently Asked Questions about ANDF", Defence
|
|
|
49 |
Research Agency, Malvern, UK. 1993.
|
|
|
50 |
|
|
|
51 |
Toft, Jens-Ulrik. "Formal specification of ANDF semantics", ESPRIT
|
|
|
52 |
Project 6062 OMI/GLUE, DDC-I, 1995.
|
|
|
53 |
|
|
|
54 |
DRA. "TDF Facts and Figures", Defence Research Agency, Malvern, UK.
|
|
|
55 |
1995.
|
|
|
56 |
|
|
|
57 |
|
|
|
58 |
And we have already:
|
|
|
59 |
|
|
|
60 |
Andrews. Robert. "TDF and Portability", Defence Research Agency,
|
|
|
61 |
Malvern, UK. 1994.
|
|
|
62 |
(This is papers/porting)
|
|
|
63 |
|
|
|
64 |
Edwards, Peter. Foster, Michael. Currie, Ian. "TDF Specification 4.0",
|
|
|
65 |
Defence Research Agency/Electronics Division, Great Malvern,
|
|
|
66 |
England, +44 684 895314
|
|
|
67 |
(This is reference/specification)
|
|
|
68 |
|