IEEE Robotics & Automation Magazine - March 2022 - 101

Acknowledgments
Contributions to this article were made
by Dejanira Araiza-Illan in her personal
capacity. The opinions expressed
in this article are the author's own and
do not reflect the views of Johnson &
Johnson. Distribution Statement A:
Approved for public release. Distribution
is unlimited. This material is
based upon work supported by the
United States Air Force under Air Force
Contract No. FA8702-15-D-0001. Any
opinions, findings, conclusions or recommendations
expressed in this material
are those of the author(s) and do
not necessarily reflect the views of the
United States Air Force. Signe Redfield
is currently a Naval Research
Laboratory employee. No laboratory
funding or resources were used to
produce the result/findings reported
in this publication.
References
[1] H. Alghodhaifi and S. Lakshmanan, " Autonomous
vehicle evaluation: A comprehensive survey
on modeling and simulation approaches, " IEEE
Access, vol. 9, pp. 151,531-151,566, Nov. 2021, doi:
10.1109/ACCESS.2021.3125620.
[2] C. Baier and J.-P. Katoen, Principles of Model
Checking (Representation and Mind Series). Cambridge,
MA, USA: MIT Press, 2008.
[3] A. Bertolino et al., " A survey of field-based
testing techniques, " ACM Comput. Surv., vol. 54,
no. 5, pp. 1-39, May 2021, doi: 10.1145/3447240.
[4] M. Farrell et al., " Evolution of the IEEE P7009
standard: Towards fail-safe design of autonomous
systems, " in Proc. 2021 32nd Int. Symp. Softw. Rel.
Eng. [Industry Track].
[5] Guide for Verification of Autonomous Systems,
IEEE P2817. Accessed: Feb. 8, 2022. [Online].
Available: https://www.ieee-ras.org/industry
-government/standards/active-projects/verification
-of-autonomous-systems
[6] Standard on Modular Robotics, ISO 22166.
Accessed: Feb. 8, 2022. [Online]. Available:
https://committee.iso.org/home/tc299
[7] A. Lavaei, S. Soudjani, A. Abate, and M. Zamani,
" Automated verification and synthesis of stochastic
hybrid systems: A survey, " 2021, arXiv:2101.07491.
[8] M. Luckcuck, M. Farrell, L. A. Dennis, C.
Dixon, and M. Fisher, " Formal specification and
verification of autonomous robotic systems: A
survey, " ACM Comput. Surv., vol. 52, no. 5,
pp. 1-41, 2020, doi: 10.1145/3342355.
[9] M. Quigley et al., " ROS: An open-source robot
operating system, " in Proc. ICRA Workshop Open
Source Softw., 2009.
[10] C. Sánchez et al., " A survey of challenges for
runtime verification from advanced application
domains (beyond software), " Formal Methods
Syst. Des., vol. 54, no. 3, pp. 279-335, 2019, doi:
10.1007/s10703-019-00337-w.
[11] A. F. T. Winfield et al., " IEEE P7001: A proposed
standard on transparency, " Frontiers Robot. AI, vol. 8,
p. 665,729, Jul. 2021, doi: 10.3389/frobt.2021.665729.
Dejanira Araiza-Illan, Johnson & Johnson,
Singapore, 118222, Singapore.
Email: dejanira.araiza.i@gmail.com.
Mi chael Fisher, University of Manchester,
Manchester, M13 9PL, U.K. Email:
michael.fisher@manchester.ac.uk.
Kevin Leahy, Massachusetts Institute of
Technology Lincoln Laboratory, Lexington,
Massachusetts, 02421, USA.
Email: kevin.leahy@ll.mit.edu.
Joanna Isabelle Olszewska, University of
West of Scotland, Glasgow, G72 0LH,
U.K. Email: joanna.olszewska@ieee.org.
Signe Redfield, Naval Research Laboratory,
Washington, D.C., 20375, USA.
Email: signe.redfield@nrl.navy.mil.
JOIN US!
Deadline for RAS Local Chapter Initiative Grants
The RAS Member Activities Board
(MAB) awards a limited number
of Chapter Initiative Grants to local RAS
Chapters for professional development,
educational outreach, and other programs.
Digital Object Identifier 10.1109/MRA.2022.3143407
Grant proposals will be reviewed by the
MAB at its meeting in late May 2022 and
funds up to US$2,000 will be awarded
on a competitive basis. The deadline for
proposals is 15 April 2022. For submission
details, please visit: https://www.ieee-ras.
org/chapters/support-for-chapters.
Find your program:
ieeefoundation.org/
what-to-support
Make a donation:
ieeefoundation.org/donate
®
Where
technology
and
philanthropy
intersect

https://committee.iso.org/home/tc299 https://www.ieeeras.org/industry-government/standards/active-projects/verification-of-autonomous-systems https://www.ieeeras.org/industry-government/standards/active-projects/verification-of-autonomous-systems https://www.ieeeras.org/industry-government/standards/active-projects/verification-of-autonomous-systems http://www.ieeefoundation.org/ http://www.ieeefoundation.org/donate https://www.ieee-ras.org/chapters/support-for-chapters https://www.ieee-ras.org/chapters/support-for-chapters

IEEE Robotics & Automation Magazine - March 2022

Table of Contents for the Digital Edition of IEEE Robotics & Automation Magazine - March 2022