Difference between revisions of "History"
(Created page with "== History of Verification of Autonomous Systems == <Summary of this page> === 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 G...") |
|||
| (5 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
== History of Verification of Autonomous Systems == | == 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 [https://spectrum.ieee.org/meet-roombas-ancestor-cybernetic-tortoise] [https://www.youtube.com/watch?time_continue=1&v=lLULRlmXkKo&feature=emb_logo] | |||
* Shakey the robot between 1966 and 1972 [https://ieeemilestones.ethw.org/Milestones:Shakey:_The_World%E2%80%99s_First_Mobile,_Intelligent_Robot,_1972] | |||
=== Prior Work in Related Fields === | === Prior Work in Related Fields === | ||
| Line 21: | Line 27: | ||
=== Developing As A Field === | === Developing As A Field === | ||
< | <Text about maturation, current state, pointer to roadmap?> | ||
Some of the first instances of the application of verification tools and techniques to autonomous systems appear in late 1990s and early 2000s. | |||
* "Towards automatic verification of autonomous systems", R. Simmons, C. Pecheur, G. Srinivasan, 2000. [https://ieeexplore.ieee.org/abstract/document/893218 link] | |||
Formal methods applied to fault diagnosis systems and mobile robots. | |||
* "Verification of autonomous systems using embedded behavior auditors", D. Dvorak, E. Tailor [https://aip.scitation.org/doi/abs/10.1063/1.57633 link] | |||
Formal methods applied to spacecraft and rovers. | |||
Later work: | |||
* "Verifying Autonomous Systems", M. Fisher, L. Dennis, M. Webster. In [https://cacm.acm.org/magazines/2013/9/167136-verifying-autonomous-systems/abstract Communications of the ACM], 2013. | |||
==== IEEE Technical Committee ==== | |||
Drawing on the efforts from the global working group, the IEEE Robotics and Automation Society Technical Committee on Verification of Autonomous Systems was officially inaugurated in 2019. The first co-chairs were Signe Redfield, Michael Fisher, and Dejanira Araiza-Illan. | |||
==== IEEE Standards Development ==== | |||
<Standards development> | |||
Latest revision as of 05:55, 19 October 2022
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:
- 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?>
Some of the first instances of the application of verification tools and techniques to autonomous systems appear in late 1990s and early 2000s.
- "Towards automatic verification of autonomous systems", R. Simmons, C. Pecheur, G. Srinivasan, 2000. link
Formal methods applied to fault diagnosis systems and mobile robots.
- "Verification of autonomous systems using embedded behavior auditors", D. Dvorak, E. Tailor link
Formal methods applied to spacecraft and rovers.
Later work:
- "Verifying Autonomous Systems", M. Fisher, L. Dennis, M. Webster. In Communications of the ACM, 2013.
IEEE Technical Committee
Drawing on the efforts from the global working group, the IEEE Robotics and Automation Society Technical Committee on Verification of Autonomous Systems was officially inaugurated in 2019. The first co-chairs were Signe Redfield, Michael Fisher, and Dejanira Araiza-Illan.
IEEE Standards Development
<Standards development>