DocumentCode :
3474001
Title :
System modelling for run-time verification and validation of autonomous systems
Author :
Callow, Glenn ; Watson, Graham ; Kalawsky, Roy
Author_Institution :
Adv. Technol. Centre, BAE Syst., Bristol, UK
fYear :
2010
fDate :
22-24 June 2010
Firstpage :
1
Lastpage :
7
Abstract :
The verification and validation of autonomous systems, and their relationship with systems engineering, is a challenging problem. They are tasked with achieving goals with reduced (or no) human interaction, and will be verified or validated with respect to the task they should achieve, rather than traditional systems which are assessed as whether they have the necessary capabilities to support an operator in achieving the task. This paper describes ongoing work to develop a systems modelling approach to allow design-time system models to be reused by an autonomous system at runtime. We begin by identifying the properties associated with the engineering of autonomous systems that differentiate them from other types of complex system. A framework to support the verification and validation of aspects of autonomous systems at runtime is then presented, and we develop a specific aspect of this framework-a run-time Computation Independent Model (CIM), using a language from the automated planning domain, the Planning Domain Definition Language (PDDL).
Keywords :
engineering computing; formal verification; software architecture; systems engineering; automated planning domain; autonomous systems validation; autonomous systems verification; design time system model; planning domain definition language; run time computation independent model; run time verification; system modelling; systems engineering; Computational modeling; Computer integrated manufacturing; Context modeling; Design engineering; Ground support; Humans; Land vehicles; Reliability engineering; Runtime; Systems engineering and theory; Autonomous Systems; MDA; PDDL; SysML; System Models;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System of Systems Engineering (SoSE), 2010 5th International Conference on
Conference_Location :
Loughborough
Print_ISBN :
978-1-4244-8197-2
Type :
conf
DOI :
10.1109/SYSOSE.2010.5544117
Filename :
5544117
Link To Document :
بازگشت