Formal Methods methodology, which should be in-
cluded in the certification process of the air platform.
When designing a system based on NAF, the func-
tions that relate to calculation algorithms should be
indicated. For these functions, the algorithm descrip-
tion described in (Stecz and Gromada, 2020b) and
(Stecz and Gromada, 2020a) should be used.
In order to improve readability, the article also
omits the method of modeling the detailed sequences
of commands sent when controlling devices such as
EO/IR from the mission computer. There are usu-
ally complex UML (SysML) constructs in control
sequences that allow you to define loops, optional
or mandatory steps, and conditionally triggered se-
quences. We refer the reader interested in such dia-
grams to the book written by (Delligatti, 2013).
ACKNOWLEDGEMENTS
This work was co-financed by Military University of
Technology under research project UGB 860/2021.
REFERENCES
Architecture Capability Team (2018). Nato architecture
framework ver. 4. Technical report, NATO. ENCLO-
SURE 1, AC/322-D(2018)0002-REV1.
Beard, R. W., McLain, T. W., Nelson, D. B., Kingston, D.,
and Johanson, D. (2006). Decentralized cooperative
aerial surveillance using fixed-wing miniature UAVs.
Proceedings of the IEEE, 94(7):1306–1324.
Cockburn, A. (2000). Writing Effective Use Cases.
Addison-Wesley Longman Publishing, USA, 1st edi-
tion.
Delligatti, L. (2013). SysML Distilled: A Brief Guide to the
Systems Modeling Language. Addison-Wesley Pro-
fessional Publishing Co., Inc., USA, 1st edition.
Dufrene, W. R. (2005). Mobile military security with con-
centration on unmanned aerial vehicles. In 24th Digi-
tal Avionics Systems Conference, volume 2.
Dustin, M. C. (2015). Monitoring parks with inexpensive
UAVs. cost benefits analysis for monitoring and main-
taining parks facilities. Master’s thesis, University of
Southern California.
Gunetti, P., Thompson, H., and Dodd, T. (2013). Au-
tonomous mission management for UAVs using soar
intelligent agents. International Journal of Systems
Science, 44(5):831–852.
Iscold, P., Pereira, G. A. S., and Torres, L. A. B. (2010). De-
velopment of a hand-launched small UAv for ground
reconnaissance. IEEE Transactions on Aerospace and
Electronic Systems, 46(1):335–348.
Karim, S. and Heinze, C. (2005a). Experiences with
the design and implementation of an agent-based au-
tonomous UAV controller. In Proc. of the Fourth In-
ternational Joint Conference on Autonomous Agents
and Multiagent Systems, AAMAS ’05, page 19–26,
NY, USA. Assoc. for Computing Machinery.
Karim, S. and Heinze, C. (2005b). Experiences with
the design and implementation of an agent-based au-
tonomous UAV controller. In Proc. of the Fourth Int.
Joint Conference on Autonomous Agents and Multia-
gent Systems, AAMAS ’05, page 19–26, NY, USA.
Assoc. for Computing Machinery.
Kekec, T., Ustundag, B. C., Guney, M. A., Yildirim, A., and
Unel, M. (2013). A modular software architecture for
UAVs. In IECON 2013 - 39th Annual Conf. of the
IEEE Ind. Electronics Society, pages 4037–4042.
L
´
opez, J., Royo, P., Pastor, E., Barrado, C., and San-
tamaria, E. (2007). A middleware architecture for
unmanned aircraft avionics. In Proc. of the 2007
ACM/IFIP/USENIX Int. Conf. on Middleware Com-
panion, NY, USA. Assoc. for Computing Machinery.
Mademlis, I., Mygdalis, V., Nikolaidis, N., Montagnuolo,
M., Negro, F., Messina, A., and Pitas, I. (2019). High-
level multiple-UAV cinematography tools for cover-
ing outdoor events. IEEE Trans. on Broadcasting,
65(3):627–635.
NATO (2016). Nato standard AEP-83 light unmanned air-
caft systems airwothiness requirements. Technical re-
port, NATO. Ed. B Ver. 1.
NATO (2019). Nato standard AEP-4671 unmanned aircaft
systems airwothiness (USAR) requirements. Techni-
cal report, NATO. Ed. B Ver. 1.
Nekov
´
a
ˇ
r, F. (2019). Optimal trajectory planning for a
quadrotor UAV for autonomous drone race. Master’s
thesis, Czech Technical University in Prague.
Pastor, E., Lopez, J., and Royo, P. (2007). UAV payload and
mission control hardware/software architecture. IEEE
Aerospace and Electronic Sys. Mag., 22(6):3–8.
Quigley, M., Goodrich, M. A., Griffiths, S., Eldredge, A.,
and Beard, R. W. (2005). Target acquisition, localiza-
tion, and surveillance using a fixed-wing mini-UAV
and gimbaled camera. In Proceedings of the 2005
IEEE International Conference on Robotics and Au-
tomation, pages 2600–2605.
RTCA SC-180, E. W.-. (2000). Do-254 design assurance
guidance for airborne electronic hardware. Technical
report, RTCA, Inc.
RTCA SC-205, E. W.-. (2011). Do-178c software consid-
erations in airborne systems and equipment certifica-
tion. Technical report, RTCA, Inc.
Sanchez-Lopez, J. L., Pestana, J., Puente, P., and Campoy,
P. (2016). A reliable open-source system architecture
for the fast designing and prototyping of autonomous
multi-UAV systems: Simulation and experimentation.
J. Intell. Robotics Syst., 84(1–4):779–797.
Stecz, W. and Gromada, K. (2020a). Determining UAV
flight trajectory for target recognition using EO/IR and
SAR. Sensors, 20(5712).
Stecz, W. and Gromada, K. (2020b). UAV mission planning
with sar application. Sensors, 20(1080).
Yuan, C., Liu, Z., and Zhang, Y. (2015). Uav-based for-
est fire detection and tracking using image processing
techniques. In Int. Conf. on Unmanned Aircraft Sys-
tems (ICUAS), pages 639–643.
ICSOFT 2021 - 16th International Conference on Software Technologies
142