History

From Verification Body of Knowledge
Revision as of 05:45, 19 October 2022 by Arinajed (talk | contribs)
Jump to navigation Jump to search

History of Verification of Autonomous Systems

History of Autonomous systems

According to common knowledge and history records, the two first autonomous robots designed and implemented are the following:

  • Tortoises by Grey Walters in the 1940s [1] [2]
  • Shakey the robot between 1966 and 1972 [3]

Prior Work in Related Fields

<Bit of text about different fields' related work>

Software Assurance

<Summary of relevant work in software assurance>

Formal Methods

<Summary of work in formal approaches to assurance and verification prior to application to autonomous systems>

Early Activities

<Discussion of the Verification of Autonomous Systems Working Group (VASWG)>

Developing As A Field

<Text about maturation, current state, pointer to roadmap?>

Key publications that pioneered the use of verification tools and techniques specifically applied to autonomous systems are the following:


IEEE Technical Committee

<Formation of TC>

IEEE Standards Development

<Standards development>