-
Chapter and Conference Paper
Optimal Configuration Model of a Fleet of Unmanned Vehicles for Interoperable Missions
It is largely recognized that many missions may be easily performed by unmanned vehicles both in military and in civil domain. Literature shows a large inventory of their applications with operational and logi...
-
Chapter and Conference Paper
An Analytical Approach for Optimal Resilience Management in Future ATM Systems
The air transportation system is a large-scale socio-technical system and its modelling approaches emphasize the sociological dimension due to the increasing importance of collaborative decision-making process...
-
Chapter and Conference Paper
A Semantic Driven Approach for Consistency Verification Between Requirements and FMEA
Consistency within the system life cycle is difficult to guarantee, due to the cross of different skills and requirements, often expressed by means of different languages. In particular, in safety-critical sys...
-
Article
Parallel and distributed computing for UAVs trajectory planning
The problem of generating optimal flight trajectories for an unmanned aerial vehicle in the presence of no-fly zones is computationally expensive. It is usually solved offline, at least for those parts which c...
-
Chapter and Conference Paper
A Parallel and a Distributed Implementation of the Core Paths Graph Algorithm
The problem of generating optimal flight trajectories in the presence of no-fly zones and/or obstacles is computationally expensive. It is usually solved offline, at least for those parts which cannot satisfy ...
-
Chapter and Conference Paper
Formal Methods in Avionic Software Certification: The DO-178C Perspective
The ideal of correct software has always been the goal of research in the field of Information Technologies. For the next years scientific communities hope for a great challenge: a complete strategy in softwar...