Difference between revisions of "Welcome to VASBoK"

From Verification Body of Knowledge
Jump to navigation Jump to search
 
(19 intermediate revisions by 4 users not shown)
Line 4: Line 4:


{| 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
Line 16: Line 16:


<gallery>
<gallery>
File:VASWGLogo.png|[[Portal:Verification|What is Verification?]]
File:Question.png|[[Portal:Verification|What is Verification?]]
File:VASWGLogo.png|[[Portal:Tutorials|Tutorials]]
File:GraduationCap2.png|[[Portal:Tutorials|Tutorials]]
File:VASWGLogo.png|[[Portal:Sources|Sources]]
File:Books2.png|[[Portal:Sources|Sources]]
File:VASWGLogo.png|[[Portal:People|People]]
File:People.png|[[Portal:People|People]]
File:VASWGLogo.png|[[Portal:Tools|Tools]]
File:Hammer2.png|[[Portal:Tools|Tools and Processes]]
File:VASWGLogo.png|[[Portal:Glossary|Glossary]]
File:Glossary.png|[[Portal:Glossary|Glossary]]
File:VASWGLogo.png|[[Portal:Events|Events]]
File:Events.png|[[Portal:Events|Events]]
</gallery>
</gallery>


Line 40: Line 40:
* [https://robotistry.org/vaswg More information and history on the verification of autonomous systems working group] (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
* [[History]] of Verification of Autonomous Systems
== 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]]
[[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.

About Verification Body of Knowledge

Learn the basics

Verification in practice

Learn More

Opportunities to Participate