Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
Papers and research articles
============================
- Validation of TenDRA Capability to Implement
a UNIX-like Operating System
See unix-validation
- Validation of TenDRA Capability to Implement a Set of Commands for
the Linux Operating System
See linux-validation
- TDF and Portability
See porting
There have been numerous academic papers published which may be
relevant; some relating to Ten15, some to TDF. If we can't reproduce
these, we should at least give references to them on Citeseer.
Here're a few:
Ten15: An Overview", P. Core et al, Royal
Signals Radar Establishment TR 3977 (Sept 1986)
Validating Microcode Algebraically, J. M. Foster. The Computer Journal
29(5): 416-422 (1986)
Ten15: An Abstract Machine for Portable Environments, Ian F. Currie,
J. M. Foster, P. W. Core, in Proceedings of ESEC '87, 1st European
Software Engineering Conference, edited by Howard K. Nichols and Dan
Simpson, Strasbourg, France, September 9-11, 1987. No 289 in the
Lecture Notes in Computer Science series, published by Springer Verlag,
1987. ISBN 3-540-18712-X.
Remote Capabilities, J. M. Foster, Ian F. Currie. The Computer Journal
30(5): 451-457 (1987)
J. M. Foster, "The Algebraic Specification of a Target Machine: Ten15",
in High Integrity Software, ed. C.T. Sennett, Pitman (1988)
Also cited as: The Algebraic Specification of a Target Machine: Ten15,
J M Foster, Chapter 9 in ??(pages 198-225). Computer Systems Series.
Published by Pitman, London, 1989.
N. E. Peeling, "The Ten15 project [software development]",
Royal Signals & Radar Establ., Malvern (1990). UK IT 1990
Conference, INSPEC Accession Number: 3649169
Peeling, N.E. et al. "Frequently Asked Questions about ANDF", Defence
Research Agency, Malvern, UK. 1993.
Toft, Jens-Ulrik. "Formal specification of ANDF semantics", ESPRIT
Project 6062 OMI/GLUE, DDC-I, 1995.
DRA. "TDF Facts and Figures", Defence Research Agency, Malvern, UK.
1995.
And we have already:
Andrews. Robert. "TDF and Portability", Defence Research Agency,
Malvern, UK. 1994.
(This is papers/porting)
Edwards, Peter. Foster, Michael. Currie, Ian. "TDF Specification 4.0",
Defence Research Agency/Electronics Division, Great Malvern,
England, +44 684 895314
(This is reference/specification)