Difference between revisions of "Welcome to VASBoK"
Jump to navigation
Jump to search
(Created page with "The Verification of Autonomous Systems Body of Knowledge VASBoK is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]'s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] Education Working Group. It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and ac...") |
|||
| (30 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
The Verification of Autonomous Systems Body of Knowledge [[ | The Verification of Autonomous Systems Body of Knowledge ([[VAS-BoK]]) is a project founded by the [https://www.ieee.org IEEE] [https://www.ieee-ras.org Robotics and Automation Society]'s [https://www.ieee-ras.org/verification-of-autonomous-systems Technical Committee for Verification of Autonomous Systems] (TC-VAS) Education Working Group. | ||
It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. | It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems. | ||
{| id="searchtable" class="wikitable" style="margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;" | {| id="searchtable" class="wikitable" style="margin: auto; text-align:center!important; vertical-align:middle; border-width: 20px; border-color: white; caption-side:bottom;" | ||
|+''VASBoK's {{NUMBEROFARTICLES}} articles have been viewed <span class = "totalnumberofviews"></span> times.'' | <!--|+''VASBoK's {{NUMBEROFARTICLES}} articles have been viewed <span class = "totalnumberofviews"></span> times.''--> | ||
!<inputbox> | <!-- !<inputbox> | ||
type=fulltext | type=fulltext | ||
break=no | break=no | ||
searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}} | searchbuttonlabel={{MediaWiki:search/{{PAGELANGUAGE}}}} | ||
</inputbox> | </inputbox> --> | ||
|- | |- | ||
! | ! | ||
<big>[[VASBoK:About|{{MediaWiki:aboutsite | <big>[[VASBoK:About|{{MediaWiki:aboutsite/{{PAGELANGUAGE}}}}]]</big> | ||
|} | |} | ||
<gallery> | |||
File: | File:Question.png|[[Portal:Verification|What is Verification?]] | ||
File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]] | |||
File:Books2.png|[[Portal:Sources|Sources]] | |||
File:People.png|[[Portal:People|People]] | |||
File:Hammer2.png|[[Portal:Tools|Tools and Processes]] | |||
File:Glossary.png|[[Portal:Glossary|Glossary]] | |||
File:Events.png|[[Portal:Events|Events]] | |||
</gallery> | </gallery> | ||
== Learn the basics == | == Learn the basics == | ||
* [[Definitions]] | |||
* [[Primer for researchers]] | * [[Primer for researchers]] | ||
* [[Primer for certification and licensing agencies]] | * [[Primer for certification and licensing agencies]] | ||
| Line 31: | Line 38: | ||
== Learn More == | == Learn More == | ||
* [https://robotistry.org/vaswg More information and history on verification of autonomous systems] (from the Verification of Autonomous Systems Working Group) | * [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (from the Verification of Autonomous Systems Working Group) | ||
* [[History]] of Verification of Autonomous Systems | |||
[[Category: | == Opportunities to Participate == | ||
* Join the [https://standards.ieee.org/ieee/2817/7644/ IEEE Standards Development Working Group P2817] | |||
* Join the [https://www.ieee-ras.org/verification-of-autonomous-systems IEEE RAS Technical Committee on Verification of Autonomous Systems] | |||
** Education Working Group | |||
*** Contribution to the Book of Knowledge on Verification of Autonomous Systems | |||
*** Organization of dedicated forums, e.g. schools and symposia | |||
** Roadmap Development Working Group | |||
[[Category:VASBoK navigation]] | |||
Latest revision as of 12:41, 4 October 2022
The Verification of Autonomous Systems Body of Knowledge (VAS-BoK) is a project founded by the IEEE Robotics and Automation Society's Technical Committee for Verification of Autonomous Systems (TC-VAS) Education Working Group.
It is powered by the autonomous systems verification community, and built by volunteers including researchers from industry, government, and academia. We are crowd-sourcing a knowledge base on the history, science and practice of verification of autonomous and AI-enabled systems.
Learn the basics
- Definitions
- Primer for researchers
- Primer for certification and licensing agencies
- Primer for robot developers
- Primer for autonomous behavior designers
- Primer for artificial intelligence specialists
Verification in practice
Learn More
- More information and history on the verification of autonomous systems working group (from the Verification of Autonomous Systems Working Group)
- History of Verification of Autonomous Systems
Opportunities to Participate
- Join the IEEE Standards Development Working Group P2817
- Join the IEEE RAS Technical Committee on Verification of Autonomous Systems
- Education Working Group
- Contribution to the Book of Knowledge on Verification of Autonomous Systems
- Organization of dedicated forums, e.g. schools and symposia
- Roadmap Development Working Group
- Education Working Group