WP4-37 - Revision history

Grolleaue: /* Algorithms for Runtime Safety Monitoring */

2023-03-10T08:44:57Z

Algorithms for Runtime Safety Monitoring

← Older revision		Revision as of 08:44, 10 March 2023
Line 22:		Line 22:
	\|-		\|-
	\| TRL \|\| 6		\| TRL \|\| 6
			\|-
			\| Contact \|\| ugis at adsl.lv
	\|}		\|}

IMCS: /* Algorithms for Runtime Safety Monitoring */

2023-03-03T11:40:16Z

Algorithms for Runtime Safety Monitoring

← Older revision		Revision as of 11:40, 3 March 2023
Line 24:		Line 24:
	\|}		\|}

	==~~Detailed Description~~==		== Motivation ==
			* Testing of the Mission Control software is a challenging task, as it implements a state machine of high complexity.
			* The most critical errors are ones that cause deviations from the normal state flow during operation. These errors may result in gross violations of drone’s normal behavior patterns, up to deadlocks and complete loss of control.
			* There is a lot of evidence from field that errors of this class happen regularly. As an example, such an incident happened in Latvia in May 2020, when a drone with a flight range of more than 100 km went unresponsive during a test flight and was lost for several days.
			* Errors caused by race conditions manifesting in narrow time windows, or by transient external factors applied when in specific states, are among the ones that are most difficult to simulate and discover by testing during the development process.
			* Safety of operations can be improved by runtime verification, which is achieved by adding mechanisms to the device that monitor its behavior during the mission, detect errors post-factum, and apply corrective actions.
			* Runtime verification can bring substantial safety enhancements in a cost-effective way.
			* The component WP4-37 implements the aforementioned runtime verification capability.
			[[File:WP4-37_Motivation_600.png\|frame\|center]]

	~~TBC~~		== Overview ==

	~~==Specifications~~ and ~~contribution==~~		* Implements monitoring of Mission Control states during operation, detects critical deviations, and applies corrective actions.
			* Misbehavior detection is achieved by means of executing a parallel reference model in real time, in the component WP4-37, and comparing the internal states of the actual Mission control component with those of the reference model
			* The reference model is a simplified alternative realization of the full Mission control behavior
			** It is trusted thanks to its relative simplicity, which makes comprehensive testing feasible
			** It allows to reliably detect critical deviations from the full behavior model
			* Component WP4-37 consists of two parts:
			** The simplified Mission control reference model running as a dedicated ROS node
			** State deviation detection and correction module integrated into the Mission control component under monitoring
			* The part of WP4-37 running in the ROS node is application-independent. The State deviation detection and correction module serves as an adaptation layer, which is specific to each implementation of the Mission control component.
			[[File:WP4-37_Overview_600.png\|frame\|center]]

	~~TBC~~		== Testing ==
			* Drone with Autopilot, Sensors, and Cameras
			* Remote Control with a computer running GUI and manual pilot application
			* Onboard computer on the drone, running Drone control API
			* Simulation computer running “DJI Assistant” application, used for fault injection
			* Simulation computer with Matlab Simulink environment, running Mission Control and WP4 components
			* Simulation computer with Matlab Simulink environment, running Mission scenario component

	==~~Design and Implementation~~==		<gallery widths=600px heights=470px perrow=2>
			File:WP4-36_Testing_1_600.png
	~~TBC~~		File:WP4-36_Testing_2_600.png
			</gallery>
	~~==Reference==~~

	~~TBC~~

IMCS: /* Algorithms for Runtime Safety Monitoring */

2022-10-16T09:03:10Z

Algorithms for Runtime Safety Monitoring

← Older revision		Revision as of 09:03, 16 October 2022
Line 7:		Line 7:
	\| Levels \|\| Function		\| Levels \|\| Function
	\|-		\|-
	\| Require \|\| drone with on-board computer with ROS interface for Control,		\| Require \|\|
	Control application in ROS		* drone with on-board computer with ROS interface for Control
			* Control application in ROS
	\|-		\|-
	\| Provide \|\| TBC		\| Provide \|\| TBC
Line 14:		Line 15:
	\| Input \|\| from drone - Autopilot, GPS, RC		\| Input \|\| from drone - Autopilot, GPS, RC
	\|-		\|-
	\| Output \|\| reference state # to Control application,		\| Output \|\|
	Action issued in Control application		* reference state # to Control application
			* Action issued in Control application
	\|-		\|-
	\| C4D building block \|\| TBC		\| C4D building block \|\| TBC

IMCS: /* Algorithms for Runtime Safety Monitoring */

2022-10-16T08:04:10Z

Algorithms for Runtime Safety Monitoring

← Older revision		Revision as of 08:04, 16 October 2022
Line 7:		Line 7:
	\| Levels \|\| Function		\| Levels \|\| Function
	\|-		\|-
	\| Require \|\| ~~TBC~~		\| Require \|\| drone with on-board computer with ROS interface for Control,
			Control application in ROS
	\|-		\|-
	\| Provide \|\| TBC		\| Provide \|\| TBC
	\|-		\|-
	\| Input \|\| ~~TBC~~		\| Input \|\| from drone - Autopilot, GPS, RC
	\|-		\|-
	\| Output \|\| ~~TBC~~		\| Output \|\| reference state # to Control application,
			Action issued in Control application
	\|-		\|-
	\| C4D building block \|\| TBC		\| C4D building block \|\| TBC
	\|-		\|-
	\| TRL \|\| ~~TBC~~		\| TRL \|\| 6
	\|}		\|}

IMCS: Created page with "=Algorithms for Runtime Safety Monitoring = {|class="wikitable" | ID|| WP4-37 |- | Contributor || IMCS |- | Levels || Function |- | Require || TBC |- | Provide || TBC |- | Input || TBC |- | Output || TBC |- | C4D building block || TBC |- | TRL || TBC |} ==Detailed Description== TBC ==Specifications and contribution== TBC ==Design and Implementation== TBC ==Reference== TBC"

2022-09-30T15:11:34Z

Created page with "=Algorithms for Runtime Safety Monitoring = {|class="wikitable" | ID|| WP4-37 |- | Contributor || IMCS |- | Levels || Function |- | Require || TBC |- | Provide || TBC |- | Input || TBC |- | Output || TBC |- | C4D building block || TBC |- | TRL || TBC |} ==Detailed Description== TBC ==Specifications and contribution== TBC ==Design and Implementation== TBC ==Reference== TBC"

New page

=Algorithms for Runtime Safety Monitoring =
{|class="wikitable"
| ID|| WP4-37
|-
| Contributor || IMCS
|-
| Levels || Function
|-
| Require || TBC
|-
| Provide || TBC
|-
| Input || TBC
|-
| Output || TBC
|-
| C4D building block || TBC
|-
| TRL || TBC
|}

==Detailed Description==

TBC

==Specifications and contribution==

TBC

==Design and Implementation==

TBC

==Reference==

TBC