Applying Requirements Monitoring for Autonomic Computing in a Combat Management System

1
Applying Requirements Monitoring for Autonomic
Computing in a Combat Management System
Paper presentation by Robert Westdijk
Delft University of Technology Netherlands
Defence Academy Force Vision
2
Presentation outline

• Project background
• Autonomic computing
• Research project
• Requirements monitoring
• Requirements monitoring
• KAOS
• ReqMon
• Target system
• Monitor development
• Autonomic computing
• Towards autonomic computing
• Current work
• Conclusions

3
Autonomic computing

• AUTO from Automatic and NOMIC from Autonomous
• Self-systems with self-properties
• Implements the OODA control loop

4
Research Project

• Apply autonomic computing to a Combat
• Management System (CMS)
• Focus is on self-healing
• Two project phases
• Collecting monitoring data
• Utilizing monitoring data

5
Requirements monitoring

• Monitor system behavior based on its
  requirements
• Advantages
• Information is already available
• No complex system model
• Prerequisites
• Requirements must be formalized
• Software must be instrumented

6
Presentation outline

• Project background
• Autonomic computing
• Research project
• Requirements monitoring
• Requirements monitoring
• KAOS
• ReqMon
• Target system
• Monitor development
• Autonomic computing
• Towards autonomic computing
• Current work
• Conclusions

7
KAOS

• Goal-Oriented Requirements Engineering method
• Deals with the composite system
• Advantages
• Well documented
• Various tools are available
• UML compatible

8
ReqMon

• Open source monitoring framework
• JESS (Java Expert System Shell)
• Extended OCL 2.0 language for monitor definition
  
• Offers Java Eclipse plug-ins
• Still under development

9
Target system

• Goalkeeper software chain

10
Monitor development (1)

• Goal-graph example

11
Monitor development (2)

• Creating monitor definitions

KAOS Goal definition
ReqMon OCL definition
Goal
JESS code
12
Monitor development (3)

• Creating scenarios

Software debug output
createObject deleteObject setAttribute getAttribut
e linkObject unlinkObject invokeFunction setParam
eter getParameter receiveEvent callActivation com
pleteActivation
095039.137 Local Data Write set
Command_Accepted true. 095039.138 Local
Data Write set The_Rejection_Text
. 095039.138 Parameter Data parameter
output Command_Accepted true. 095039.139
Parameter Data parameter output
The_Rejection_Text . 095039.139 Object
Level Data Read finding multiple instances from
object ltPre_Alert_Controllergt 095039.140
Local Data Write set all_pre_alert_controllers
set size 0. 095039.140 Object Level Data
Read finding multiple instances from object
ltPre_Alertgt 095039.141 Local Data Write
set all_messages set size 0. 095039.141
Event Tracing event E_COGK_OPM_I_Perform_Next_Ste
p received by O_COGK_Output_Processing_Managerkey
(4061.1.deea8b10259) in state Forward_Stimulus
results in Idle. 095039.142 Event Tracing
event E_COGK_GSM_I_No_ICI_Connection received by
O_COGK_General_Status_Monitorkey(4061.1.deea8b102
63) in state Update_Threshold_Data results in
Reset_Data. 095039.142 Attribute Data
Write O_COGK_General_Status_Monitorkey(4061.1.de
ea8b10263) set operation_mode 5. 095039.143
Attribute Data Write O_COGK_General_Status_M
onitorkey(4061.1.deea8b10263) set control_mode
2. 095039.143 Object Level Data Read
finding a single instance from object
ltFacetgt 095039.144 Attribute Data Read
O_COGK_Facetkey(4061.1.deea8b1026a) get
type_of_facet 0. 095039.144 Attribute
Data Read O_COGK_Facetkey(4061.1.deea8b1026b)
get type_of_facet 1. 095039.145 Local
Data Write set the_control_mode
O_COGK_Facetkey(4061.1.deea8b1026b). 095039.145
Object Level Data Read finding a single
instance from object ltFacetgt 095039.146
Attribute Data Read O_COGK_Facetkey(4061.1.deea8
b1026a) get type_of_facet 0. 095039.146
Local Data Write set the_operation_mode
O_COGK_Facetkey(4061.1.deea8b1026a). 095039.147
Event Tracing normal event
E_COGK_FAC_I_Update_Control_Mode generated to
O_COGK_Facetkey(4061.1.deea8b1026b). 095039.147
Event Data parameter The_Control_Mode
2. 095039.147 Event Tracing normal event
E_COGK_FAC_I_Update_Operation_Mode generated to
O_COGK_Facetkey(4061.1.deea8b1026a). 095039.148
Event Data parameter The_Operation_Mode
5. 095039.148 Event Tracing event
E_COGK_ISM_I_No_ICI_Connection received by
O_COGK_Interfering_Sector_Monitorkey(4061.1.deea8
b1025f) in state Update_Sector_Data results in
Reset_Data. 095039.149 Attribute Data
Write O_COGK_Interfering_Sector_Monitorkey(4061.
1.deea8b1025f) set valid_indication
false. 095039.149 Attribute Data Write
O_COGK_Interfering_Sector_Monitorkey(4061.1.deea8
b1025f) set begin_bearing 0.000000. 095039.150
Attribute Data Write O_COGK_Interfering_S
ector_Monitorkey(4061.1.deea8b1025f) set
end_bearing 0.000000. 095039.150 Event
Tracing event E_COGK_ISM_I_No_ICI_Connection
received by O_COGK_Interfering_Sector_Monitorkey(
4061.1.deea8b10260) in state Update_Sector_Data
results in Reset_Data. 095039.151
Attribute Data Write O_COGK_Interfering_Sector_Mo
nitorkey(4061.1.deea8b10260) set
valid_indication false. 095039.151
Attribute Data Write O_COGK_Interfering_Sector_Mo
nitorkey(4061.1.deea8b10260) set begin_bearing
0.000000. 095039.152 Attribute Data
Write O_COGK_Interfering_Sector_Monitorkey(4061.
1.deea8b10260) set end_bearing
0.000000. 095039.152 Event Tracing event
E_COGK_ISM_I_No_ICI_Connection received by
O_COGK_Interfering_Sector_Monitorkey(4061.1.deea8
b10261) in state Update_Sector_Data results in
Reset_Data. 095039.153 Attribute Data
Write O_COGK_Interfering_Sector_Monitorkey(4061.
1.deea8b10261) set valid_indication
false. 095039.153 Attribute Data Write
O_COGK_Interfering_Sector_Monitorkey(4061.1.deea8
b10261) set begin_bearing 0.000000. 095039.154
Attribute Data Write O_COGK_Interfering_S
ector_Monitorkey(4061.1.deea8b10261) set
end_bearing 0.000000. 095039.154 Event
Tracing event E_COGK_ISM_I_No_ICI_Connection
received by O_COGK_Interfering_Sector_Monitorkey(
4061.1.deea8b10262) in state Update_Sector_Data
results in Reset_Data. 095039.155
Attribute Data Write O_COGK_Interfering_Sector_Mo
nitorkey(4061.1.deea8b10262) set
valid_indication false. 095039.155
Attribute Data Write O_COGK_Interfering_Sector_Mo
nitorkey(4061.1.deea8b10262) set begin_bearing
0.000000. 095039.155 Attribute Data
Write O_COGK_Interfering_Sector_Monitorkey(4061.
1.deea8b10262) set end_bearing
0.000000. 095043.055 Event Tracing event
E_COGK_GKP_I_No_ICI_Connection received by
O_COGK_GK_Paragraphkey(4061.1.deea8b10006) in
state Linking results in Invalid_Data. 095043.05
5 Attribute Data Write O_COGK_GK_Paragraph
key(4061.1.deea8b10006) set currently_updated
false. 095043.056 Event Tracing event
E_COGK_FCD_I_No_ICI_Connection received by
O_COGK_Fire_Channelkey(4061.1.deea8b10264) in
state Update_Data results in Invalid_Data. 09504
3.056 Local Data Write set
acquisition_position NULL. 095043.057
Local Data Write set track_position
NULL. 095043.057 Attribute Data Write
O_COGK_Fire_Channelkey(4061.1.deea8b10264) set
track_mode 0. 095043.058 Attribute
Data Write O_COGK_Fire_Channelkey(4061.1.deea8b1
0264) set ready_to_fire false. 095043.059
Attribute Data Write O_COGK_Fire_Channelkey(4
061.1.deea8b10264) set killed
false. 095043.059 Attribute Data Write
O_COGK_Fire_Channelkey(4061.1.deea8b10264) set
I_band_in_use false. 095043.060
Attribute Data Write O_COGK_Fire_Channelkey(4061
.1.deea8b10264) set K_band_in_use
false. 095043.060 Attribute Data Write
O_COGK_Fire_Channelkey(4061.1.deea8b10264) set
TV_track_selected false. 095043.061
Object Level Data Read finding a single instance
from object ltFacetgt 095043.061 Attribute
Data Read O_COGK_Facetkey(4061.1.deea8b1026a)
get type_of_facet 0. 095043.062
Attribute Data Read O_COGK_Facetkey(4061.1.deea8
b1026b) get type_of_facet 1. 095043.062
Attribute Data Read O_COGK_Facetkey(4061.1.deea
8b1026c) get type_of_facet 2. 095043.063
Local Data Write set the_track_mode
O_COGK_Facetkey(4061.1.deea8b1026c). 095043.063
Attribute Data Read O_COGK_Fire_Channelk
ey(4061.1.deea8b10264) get track_mode
0. 095043.064 Event Tracing normal event
E_COGK_FAC_I_Update_Track_Mode generated to
O_COGK_Facetkey(4061.1.deea8b1026c). 095043.064
Event Data parameter The_Track_Mode
0. 095043.065 Event Tracing event
E_COGK_PRM_I_No_ICI_Connection received by
O_COGK_Page_Request_Managerkey(4061.1.deea8b1025b
) in state Idle results in Connection_Lost. 0950
43.065 Object Level Data Read finding
multiple instances from object ltPage_Request_Reply
gt 095043.066 Local Data Write set
waiting_page_request_reply set size
0. 095043.066 Event Tracing event
E_COGK_PRM_I_Activation_Stimulus received by
O_COGK_Page_Request_Managerkey(4061.1.deea8b1025b
) in state Connection_Lost results in
Idle. 095043.067 Object Level Data Read
finding multiple instances from object
ltPage_Request_Replygt 095043.067 Local Data
Write set waiting_page_request_reply set size
0. 095043.067 Event Tracing event
E_COGK_GRM_I_Activation_Stimulus received by
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c) in state Idle results in Manage_New_Page_Requ
ests. 095043.068 Object Level Data Read
finding multiple instances from object
ltPage_Request_Replygt 095043.069 Local Data
Write set waiting_page_request_reply set size
0. 095043.069 Object Level Data Read
finding multiple instances from object
ltGeneral_Requestgt 095043.069 Local Data
Write set new_page_request set size
0. 095043.070 Event Tracing self event
E_COGK_GRM_I_Perform_Next_Step generated to
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c). 095043.070 Event Tracing event
E_COGK_GRM_I_Perform_Next_Step received by
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c) in state Manage_New_Page_Requests results in
Manage_Toggle_Requests. 095043.071 Object
Level Data Read finding multiple instances from
object ltGeneral_Requestgt 095043.071 Local
Data Write set toggle_request set size
0. 095043.072 Event Tracing self event
E_COGK_GRM_I_Perform_Next_Step generated to
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c). 095043.073 Event Tracing event
E_COGK_GRM_I_Perform_Next_Step received by
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c) in state Manage_Toggle_Requests results in
Manage_Button_Requests. 095043.073 Object
Level Data Read finding multiple instances from
object ltGeneral_Requestgt 095043.073 Local
Data Write set button_request set size
0. 095043.074 Event Tracing self event
E_COGK_GRM_I_Perform_Next_Step generated to
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c). 095043.074 Event Tracing event
E_COGK_GRM_I_Perform_Next_Step received by
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c) in state Manage_Button_Requests results in
Manage_Fire_Requests. 095043.075 Object
Level Data Read finding multiple instances from
object ltGeneral_Requestgt 095043.075 Local
Data Write set fire set size
0. 095043.076 Event Tracing self event
E_COGK_GRM_I_Perform_Next_Step generated to
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c). 095043.076 Event Tracing event
E_COGK_GRM_I_Perform_Next_Step received by
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c) in state Manage_Fire_Requests results in
Manage_Stop_Simulation_Requests. 095043.077
Object Level Data Read finding multiple
instances from object ltGeneral_Requestgt 095043.0
77 Local Data Write set stop_sim_request
set size 0. 095043.078 Event Tracing self
event E_COGK_GRM_I_Perform_Next_Step generated to
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c). 095043.078 Event Tracing event
E_COGK_GRM_I_Perform_Next_Step received by
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c) in state Manage_Stop_Simulation_Requests
results in Manage_Simulation_Requests. 095043.07
8 Object Level Data Read finding multiple
instances from object ltGeneral_Requestgt 095043.0
79 Local Data Write set sim_target_request
set size 0. 095043.079 Event Tracing
self event E_COGK_GRM_I_Perform_Next_Step
generated to O_COGK_General_Request_Managerkey(40
61.1.deea8b1025c). 095043.080 Event Tracing
event E_COGK_GRM_I_Perform_Next_Step received by
O_COGK_General_Request_Managerkey(4061.1.deea8b10
25c) in state Manage_Simulation_Requests results
in Idle. 095043.081 Event Tracing event
E_COGK_FAC_I_Update_Control_Mode received by
O_COGK_Facetkey(4061.1.deea8b1026b) in state
Idle results in Process_Control_Mode. 095043.081
Local Data Write set the_condition
4. 095043.081 Attribute Data Read
O_COGK_Facetkey(4061.1.deea8b1026b) get
type_of_facet 1. 095043.082 Function
Tracing object based function Update_Facet_Condit
ion invoked on O_COGK_Facet_Condition. 095043.08
2 Parameter Data parameter input
Current_Facet 1. 095043.083 Parameter
Data parameter input Current_Condition
4. 095043.083 Local Data Write set
Changed false. 095043.084 Object Level
Data Read finding a single instance from object
ltFacetgt 095043.084 Attribute Data Read
O_COGK_Facetkey(4061.1.deea8b1026a) get
type_of_facet 0. 095043.085 Attribute
Data Read O_COGK_Facetkey(4061.1.deea8b1026b)
get type_of_facet 1. 095043.085 Local
Data Write set the_facet O_COGK_Facetkey(4061.
1.deea8b1026b). 095043.086 Object Level
Data Read finding a single instance from object
ltConditiongt 095043.086 Attribute Data
Read O_COGK_Conditionkey(4061.1.deea8b10270)
get type_of_condition 0. 095043.087
Attribute Data Read O_COGK_Conditionkey(4061.1.d
eea8b10271) get type_of_condition
1. 095043.087 Attribute Data Read
O_COGK_Conditionkey(4061.1.deea8b10272) get
type_of_condition 2. 095043.088
Attribute Data Read O_COGK_Conditionkey(4061.1.d
eea8b10273) get type_of_condition
3. 095043.088 Attribute Data Read
O_COGK_Conditionkey(4061.1.deea8b10274) get
type_of_condition 4. 095043.089 Local
Data Write set the_value O_COGK_Conditionkey(4
061.1.deea8b10274). 095043.089 Local Data
Write set current_fc O_COGK_Facet_Conditionkey
(4061.1.deea8b1027f). 095043.090 Local
Data Write set previous_fc O_COGK_Facet_Conditi
onkey(4061.1.deea8b10280). 095043.092
Attribute Data Read O_COGK_Facet_Conditionkey(40
61.1.deea8b10280) get type_of_condition
6. 095043.092 Attribute Data Read
O_COGK_Facet_Conditionkey(4061.1.deea8b1027f)
get type_of_condition 4. 095043.093
Relationship Data Write unlink
O_COGK_Facetkey(4061.1.deea8b1026b) from
O_COGK_Facet_Conditionkey(4061.1.deea8b10280)
via r_R20_currently_satisfies_Facet_Condition. 09
5043.093 Relationship Data Write unlink
O_COGK_Facet_Conditionkey(4061.1.deea8b10280)
from O_COGK_Facetkey(4061.1.deea8b1026b) via
r_R20_is_currently_satisfied_by_Facet. 095043.09
4 Relationship Data Write link
O_COGK_Facet_Conditionkey(4061.1.deea8b1027f) to
O_COGK_Facetkey(4061.1.deea8b1026b) via
r_R20_is_currently_satisfied_by_Facet. 095043.09
4 Relationship Data Write link
O_COGK_Facetkey(4061.1.deea8b1026b) to
O_COGK_Facet_Conditionkey(4061.1.deea8b1027f)
via r_R20_currently_satisfies_Facet_Condition.
OCL event definitions
JESS scenario
Message definition
13
Monitor development (4)

• Monitor deployment

• Designer
• Operator
• Maintainer
• System

14
Presentation outline

• Project background
• Autonomic computing
• Research project
• Requirements monitoring
• Requirements monitoring
• KAOS
• ReqMon
• Target system
• Monitor development
• Autonomic computing
• Towards autonomic computing
• Current work
• Conclusions

15
Towards autonomic computing

• Collect and store monitor definitions in
  database
• Combine monitor definitions for diagnostic
• reasoning
• Incremental approach

16
Current work

• Development of a JESS diagnostic expert system
• System simulation

17
Presentation outline

• Project background
• Autonomic computing
• Research project
• Requirements monitoring
• Requirements monitoring
• KAOS
• ReqMon
• Target system
• Monitor development
• Autonomic computing
• Towards autonomic computing
• Current work
• Conclusions

18
Conclusions

• Advantages of requirements monitoring
• No need for complex system model
• Limited impact on software development
• Scalable in depth and in size
• Monitoring data is usable for multiple goals
• Software developer
• Operational user
• Software maintainer
• Using requirements monitoring for autonomic
• computing is feasible

19
Thank you for your attentionAny
questions?