Portal:Sources

From Verification Body of Knowledge
Jump to navigation Jump to search

Standards

  • 1012-2016 - IEEE Standard for System, Software, and Hardware Verification and Validation [1]

Best practices

Books on verification

  • Model checking book. E. Clarke
  • Other model checking book by Peter Katoen
  • Book on software testing/model-based testing
  • Artificial Intelligence and Software Testing - Building systems you can trust (2022). Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, Jonathon Wright. Edited by Adam Leon Smith link

Special issues on VAS

  • Journals

Case studies

  • Steps and method followed when verifying a system


Whitepapers on autonomous systems V&V from regulators

  • How to apply V&V to autonomous systems
  • How to interpret regulations for different countries
  • What remains to be done for regulations

E.g.

  • Reviews on regulations for autonomous systems in Australia


Review or survey papers on V&V

  • Michael Fisher's survey paper
  • Signe + David Tate's white paper

Existing projects

  • Metrics [2] - finding ways to organize competitions that are reproducible, benchmarks to structure robotics competitions, comparing hardware and software together. Applications: healthcare, agriculture, etc.

Benchmark models

  • Simulink model benchmark for falsification (3 models)


Testing fields & sites/labs

  • Georgia Tech Robotarium
  • Urban search and rescue at Texas A&M

Robotics & autonomous systems competitions

  • DARPA
  • Autonomous vehicles
  • European Robotics League
  • ROBOCUP
  • AWS Deepracer (deep learning for training autonomous vehicles)
  • Australia & New Zealand Search and Rescue [3]
  • SAUC-E - underwater robotics competition
  • Robosub

Conferences