VIPER microprocessor: Difference between revisions
Content deleted Content added
m Minor edit fix |
mention Newspeak programming language |
||
| Line 1: | Line 1: | ||
'''VIPER''' is a 32-bit [[microprocessor]] design created by [[Royal Signals and Radar Establishment]] in the 1980s, intended to be used in [[safety-critical]] systems such as [[avionics]].<ref name="Churchley1991">{{cite book|last=Churchley|first=Andrew|title=Microprocessor Based Protection Systems|url=https://books.google.com/books?id=vNzWLxmzuUsC&pg=PA64|accessdate=23 July 2012|date=1991-11-30|publisher=Springer|isbn=9781851666119|page=64}}</ref> It was the first commercial microprocessor design to be [[formal proof|formally proven]] correct, although there was some controversy surrounding this claim and the definition of proof.<ref>{{cite journal|last=MacKenzie|first=Donald|date=8 August 1991|title= The fangs of the VIPER|journal=Nature|volume=352|issue=6335|pages=467–468|doi=10.1038/352467a0|bibcode=1991Natur.352..467M}}</ref> |
'''VIPER''' is a 32-bit [[microprocessor]] design created by [[Royal Signals and Radar Establishment]] (RSRE) in the 1980s, intended to be used in [[safety-critical]] systems such as [[avionics]].<ref name="Churchley1991">{{cite book|last=Churchley|first=Andrew|title=Microprocessor Based Protection Systems|url=https://books.google.com/books?id=vNzWLxmzuUsC&pg=PA64|accessdate=23 July 2012|date=1991-11-30|publisher=Springer|isbn=9781851666119|page=64}}</ref> It was the first commercial microprocessor design to be [[formal proof|formally proven]] correct, although there was some controversy surrounding this claim and the definition of proof.<ref>{{cite journal|last=MacKenzie|first=Donald|date=8 August 1991|title= The fangs of the VIPER|journal=Nature|volume=352|issue=6335|pages=467–468|doi=10.1038/352467a0|bibcode=1991Natur.352..467M}}</ref> |
||
A safety critical programming language named Newspeak was designed by Ian Currie of RSRE in 1984 for use with VIPER. Its principal characteristic was that all exceptional behaviour in programs must be dealt with at compile time.<ref name=ieeexplore-198607>{{cite journal |title=NewSpeak: an unexceptional language |last=Currie |first=I.F. |journal=Software Engineering Journal |issn=0268-6961 |volume=1 |issue=4 |date=July 1986 |pages=170–176 |doi=10.1049/sej.1986.0027 }}</ref><ref>{{cite book|url=https://books.google.com/?id=XdjvBwAAQBAJ&pg=PA16&lpg=PA16&dq=rsre+newspeak+1984#v=onepage&q=rsre%20newspeak%201984&f=false|title=VLSI Specification, Verification and Synthesisn |contribution=Implementing Safety Critical Systems: The VIPER Micropocessor |contributor-first=W.J. |contributor-last=Cullyer |pages=1-18 |isbn=9781461320074|last1=Birtwistle|first1=Graham|last2=Subrahmanyam|first2=P. A.|date=2012-12-06}}</ref> |
|||
==References== |
==References== |
||
Revision as of 18:18, 21 February 2020
VIPER is a 32-bit microprocessor design created by Royal Signals and Radar Establishment (RSRE) in the 1980s, intended to be used in safety-critical systems such as avionics.[1] It was the first commercial microprocessor design to be formally proven correct, although there was some controversy surrounding this claim and the definition of proof.[2]
A safety critical programming language named Newspeak was designed by Ian Currie of RSRE in 1984 for use with VIPER. Its principal characteristic was that all exceptional behaviour in programs must be dealt with at compile time.[3][4]
References
- ^ Churchley, Andrew (1991-11-30). Microprocessor Based Protection Systems. Springer. p. 64. ISBN 9781851666119. Retrieved 23 July 2012.
- ^ MacKenzie, Donald (8 August 1991). "The fangs of the VIPER". Nature. 352 (6335): 467–468. Bibcode:1991Natur.352..467M. doi:10.1038/352467a0.
- ^ Currie, I.F. (July 1986). "NewSpeak: an unexceptional language". Software Engineering Journal. 1 (4): 170–176. doi:10.1049/sej.1986.0027. ISSN 0268-6961.
- ^ Cullyer, W.J. (2012-12-06). "Implementing Safety Critical Systems: The VIPER Micropocessor". VLSI Specification, Verification and Synthesisn. By Birtwistle, Graham; Subrahmanyam, P. A. pp. 1–18. ISBN 9781461320074.
External links
 | This microcomputer- or microprocessor-related article is a stub. You can help Wikipedia by expanding it. |