Date Paper
Talk
Article
Publication/ Conference Title
Oct 1989 Paper EuroForml 1989 A Modular Approach to Robotic Control Systems
Exploration of distributed control of a multi-tool robotic entity utilising a “processor per drive” philosophy.
Oct 1990 Paper EuroForml 1990 Safety Related Systems, Modularity, Methodology and Management
A look at improving the system development process by adopting a modular approach within a structured framework.
Jun 1990 Article Forthwrite - Issue 54 Time for a new FIG Forth
FANSI project - commentary inspired by the BASIS-14 document that led to ANSI standardisation of Forth.
Dec 1990 Article Forthwrite - Issue 57 FANSI environs
FANSI project - a proposal for a simple Forth Kernel based around ANSI BASIS14.
Apr 1991 Article Forthwrite - Issue 59 High level FOR..NEXT
Some FANSI project code proposals. Control flow in high level Forth to implement the FOR and NEXT loop control flow constructs.
Jun 1991 Article Forthwrite - Issue 60 Manual documentation
A documentation formatting tool to print print Forth source screens on a page with appropriate margins, page numbering and index. 
Oct 1991 Article Forthwrite - Issue 62 The Harris EB board and some I/O
A brief description of the "Bring and Tell" talk given at the recent London meeting. This was part of some general ramblings and announcements.
Oct 1991 Article Forthwrite - Issue 62 New Header Structure
A Report of some discussions that took place after the AGM that covered some of the technical issues about whether or not it was right to adjust the header structure of traditional Forth implementations to help with other system desires.
Dec 1991 Article Forthwrite - Issue 63 Anti-collision Systems.
Spinning off from reports of research being conducted in other countries into anti-collision systems for "hands-off" driving by cars. Some notional code was presented.
Feb 1992 Review Forthwrite - Issue 64 Introducing Systems Analysis - Skidmore and Wroe
Review of "Introducing Systems Analysis" by Steve Skidmore and Brenda Wroe published by NCC pubications: ISBN 0-85012-603-4.
Feb 1992 Review Forthwrite - Issue 64 Pygmy Forth
Review of Frank Sergent's Pygmy Forth shareware Forth system for the PC based on Charles Moore's cmForth.
Apr 1992 Article Forthwrite - Issue 65 Is Forth Formal?
An article exploring the extent to which Forth can be considered formal in the mathematical definiion of the word.
Jul 1992 Talk Forth Interest Group Safety by Design
A talk to the London Chapter of the Forth Interest Group (UK).
Aug 1992 Paper Forthwrite - Issue 67 Safety by Design
The paper given at a recent London Forth meeting.
Oct 1992 Article Forthwrite - Issue 68 Top-down development of a Forth system
Top down consideration of QUIT, Forths user interface and outer interpreter.
Oct 1992 Article Forthwrite - Issue 68 Vectoring with DOER and MAKE
A revisit of Leo Brodie's DOER-MAKE construct for vector execution which gives an interestingly versatile control mechanism.
Apr 1993 Article Forthwrite - Issue 71 QUIT, the story continues...
 A deeper look at the internals of Forth, especially the user interface known as QUIT.
Jun 1993 Article Forthwrite - Issue 72 Some Useful Words
Introducing +MOD! (LOG?) and commenting words which are useful utility words for industrial controls and a discussion about commenting for certification.
Jul 1993 Paper & Talk 3rd Software Quality Conference Component Based Software Design
An explanation of system development utilising re-usable modules in software development. Based on Forth philosophy mixed with similar approaches in hardware development.
Feb 1994 Article Forthwrite - Issue 76 Spooling and browsing
A useful source code browser (that prevents accidental editing whilst just reviewing code) and a spool to file utility.
Jun 1994 Article Forthwrite - Issue 78 Fuzz, fibs and forms
A commentary and a competition
Jun 1994 Article Forthwrite - Issue 78 Software Engineering Future
A commentary on moves within the industry for certifiation of people, processes and produts.
Jun 1994 Article Forthwrite - Issue 78 Component based Software Design
A component biased approach to the design of software systems can, as has already happened in other engineering disciplines, lead to improved quality for software.
Traditional approaches to software design have often lacked a sense of proper engineering. Whilst there are tools available, there is little understanding of design concepts across disciplines or indeed within the software discipline itself.
There have been many attempts at resolving this shortcoming, but software design by traditional methods still requires a bewildering array of expensive tools. By considering components as simple objects within clearly defined boundary conditions the quality of the component can be determined. Such lessons have already been learnt by engineers in other fields. This paper explores software design from a component biased approach and suggests how such an approach leads to re-usability of software and simplified testing.
Finally, this paper examines the tool requirements to manage such an approach.
Aug 1994 Article Forthwrite - Issue 79 Taking exception ...
An exploration of error handling techniques using some retro-coded changes to the ABORT and ABORT" facilities.
Jun 1995 Article Forthwrite - Issue 84 Fractionally Angular
Exploration of natural binary representation of circular data for angle and time data presentation.
Jun 1995 Article Forthwrite - Issue 84 Big is Beautiful, but Small is Better.
Report and view on the paper "Programming Languages and Safety Related Systems" by Les Hatton given at a Safety Critical Systms Club Symposium held in Brighton.
May 1996 & Jul 1996 Article Forth Dimensions Safety Critical Systems
Two part article introducing Safety Critical Systems to the Forth Communitywith some explanation of why Forth may be a good language to employ in their construction.
Jul 1996 Review Forthwrite - Issue 89 Chuck's chips
Review of progress in Forth hardware with a review of the state of play of the F21 chip by Jeff Fox and Charles Moore.
Feb 1997 Article Forthwrite - Issue 91 Square Roots
Some novel techniques for determining square roots of a number culled from the newsgroups. This included some code snippets.
Sep 1997 Paper & Talk EuroForth 97 Forth in Safety Critical Systems, Configuration and Certification
A look at how the technique I developed for the certification of Forth Source Code was used to satisfy the FDA and Medical Devices Directive in an Anaesthesia Ventillator application.
Nov 1997 Report Forthwrite - Issue 93 EuroForth '97 Conference
Review of the proceedings of the conference held in Oxford.
Dec 1997 Report Safety Systems Newsletter Software Safety Standards - Tutorial - An issue raised.
Following on from the excellent tutorial sessions, presented in the main by Dr. Victoria Stavridou, the discussion session was occupied by an expressed concern that the standards make no recommendations regarding the apportionment of responsibilities within a project (between project design authority and sub-contracting companies). None of the standards give guidance on this issue and, in my own opinion, it is right that the standards leave the issue open. However, some general guidance is obviously necessary from the way the discussion progressed during the meeting.
Feb 1998 Paper & Talk Safety Systems Symposium Small Modules as Configuration Items in Certified Safety Critical Systems.
Abstract:
May 1998 Article Forthwrite - Issue 96 Reading the World (1)
Deals with real world environment issues and basic input circuitry for digital inputs.
Jul 1998 Article Forthwrite - Issue 97 Reading the World (2)
Further explores system inputs in the shape of key-pads and analogue inputs (single pole and differential).
Sep 1998 Article EuroForth 98 Certification of High Integrity Software
An explanation of my method for the certification of Forth Source Code based on Fagan Inspection, Functional Testing and Limits Testing to achieve equivalence to CofC for hardware.
Sep 1998 Article EuroForth 98 Internal Representation to External View
Explanation of a way to deal with fractional numbers that have real-world significance (using time of day and longitudinal position as examples).
Oct 1998 Article Forthwrite - Issue 98 Writing the World (1)
After the inputs were dealt with, in the previous two articles, the focus is turned on the outputs. This first article deals with digital drivers for relays and direct output.
Nov 1998 Report Forthwrite - Issue 99 EuroForth 98 Conference
Report from Schloss Dagstuhl which hosted the EuroForth conference this year.
Jan 1999 Article Forthwrite - Issue 100 Writing the World (2)
After the inputs were dealt with, in the previous two articles, the focus is turned on the outputs. This second article deals Analogue Outputs.
Jul 2003 Collaboration Paper EPS Conference on Controlled Fusion and Plasma Physics, St. Petersburg 2003 "Experimental comparison of different configurations of injection for pellet fuelling on JET" A. Geraud, L. Garzotti, P.T. Lang, A. Lorenz, B. Pegourie, G.L. Schmidt, B. Alper, T.T.C. Jones, P. Monier-Garbet, J. Strachan, M. Stamp, P. Bennett, J.L. Marechal, R. Mooney, J. Ongena,  M.J. Watson, D.J. Wilson, JET-EFDA contributors [Proc. P1.97]
The results of experiments using the Pelin High Frequency Deuterium Pellet Injector for fuelling Fusion Plasma's.
Oct 2003 Collaboration Paper 20th IEEE/NPSS Symposium on Fusion Engineering “Recent developments in pellet fuelling at JET”, L.R Baylor, P. Bennett, D. Ciric, R. Eagle, I. Hayward, A. Geraud, T.T.C. Jones, P.T. Lang, A. Lorenz, J. Marechal, A. Thomas, M.J. Watson.
The results of experiments using the Pelin High Frequency Deuterium Pellet Injector for fuelling Fusion Plasma's.
Jul 2004 Article Forthwrite - Issue 126 Certifying your code
An example of a method for certifying Forth code. The example walks through the simple technique used for several high integrity projects.
Sep 2008 Collaboration Paper 25th Symposium on Fusion Technology, Rostock, Germany “The JET High Frequency Pellet Injector” A. Geraud, I. Vinyar, A. Whitehead, M. Dentan, V. Hennion, M. Watson, K. Bell, P. Bennett, P. Butcher, D. Communal, F. Faisse, D. Garnier, J. Gedney, G. Gros, D. Guillaume, L. Hackett, D. Homfray, R. Lucock, A. Mackenzie, J. McKivvitt, R. Mooney, M. Sibbald, C. Portafaix, J.P. Perin, M. Reade, D. Sands, A. Saille, I. Symonds, D. Wilson, L. Worth, L.R. Baylor, J. Caughman, A. Lukin, A. Umov, S. Skioblikov, P. Reznichenko, and JET EFDA Contributors.
The results of experiments using the Pelin High Frequency Deuterium Pellet Injector for fuelling Fusion Plasma's.
Sep 2010 Article Safety Systems The Lone Wolf Developer and Safety Standards
A look at how the “one man” development organisation can partake in projects requiring compliance to IEC61508 or similar Functional Safety Standards.
































































































































































































































































































Forthwrite is the newsletter/magazine of the UK Forth Interest Group.


Safety Critical Systems is the newsletter of the Safety Critical Systems Club.