Experiences using formal methods within the TMST project
Article Abstract:
Formal specification language Z was applied to the Trans Manche Super Train (TMST) (Channel Tunnel Train) project. Z was used to concisely and unambiguously write a specification for transmitting messages which engineers could understand over the communications network onboard the train. Several ambiguities were clarified by using a mathematics-based formal specification language rather than natural language in the train's cab processor. The use of Z has, however, created a complicated formal specification. The validation of the cab processor specification is overviewed, together with generation of the message specification.
Publication Name: GEC Journal of Research
Subject: Business
ISSN: 0264-9187
Year: 1992
User Contributions:
Comment about this article or add new information about this topic:
Using a formal language to support natural language in accidental reports
Article Abstract:
Accident reports can be improved by supplementing formal technique descriptions with natural language descriptions. Natural language alone is not an adequate medium for accident reports, however, because of its inability to provide concrete definitions, adequately identify concurrent activities or provide consistent object identification. The use of mathematical-based notation Petri Nets as a supplement to natural language has been found effective at addressing these limits of natural language.
Publication Name: Ergonomics
Subject: Business
ISSN: 0014-0139
Year: 1995
User Contributions:
Comment about this article or add new information about this topic:
Safety critical software for defence systems: requirements of Interim Defence Standard 00-55
Article Abstract:
The United Kingdom Ministry of Defence released Interim Defence Standard 00-55 to encourage the development and usage of safety critical software. The Standard covers safety critical software in relation to defence equipment and has been useful in setting a target for industry, focusing discussion on safety critical software and advancing training and education. The main technical requirements of the Standard are presented and the viability of compliance is examined.
Publication Name: GEC Journal of Research
Subject: Business
ISSN: 0264-9187
Year: 1995
User Contributions:
Comment about this article or add new information about this topic:
- Abstracts: Professional vs financial capital in the field of health care - struggles for the redistribution of power and control
- Abstracts: An empirical analysis of sustained advantage in the U.S. pharmaceutical industry: impact of firm resources and capabilities
- Abstracts: An empirical methodology for the ethical assessment of marketing phenomena such as casino gambling
- Abstracts: Western Isles ready to bite the poll tax bullet. Poll tax evidence row refuses to die down. Regions predict leap in poll tax
- Abstracts: Project 21: a vision for the 21st century. Ocean governance in the 21st century: democracy, equity, and peace in the ocean. The 1998 Lisbon Declaration