Extending relational model transformations to better support the verification of increasingly autonomous systems

Over the past decade the capabilities of autonomous systems have been steadily increasing. Unmanned systems are moving from systems that are predominantly remotely operated, to systems that include a basic decision making capability. This is a trend that is expected to continue with autonomous syste...

Full description

Saved in:
Bibliographic Details
Main Author: Glenn Callow
Format: Default Thesis
Published: 2013
Subjects:
Mechanical engineering not elsewhere classified
Autonomous systems
Systems engineering
System verification
Domain specific modelling (DSM)
Model transformation
Meta-modelling
Partial model completion
QVT-relations
Mechanical Engineering not elsewhere classified
Online Access:https://hdl.handle.net/2134/13435
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items