Modeling non-functional properties for human-machine systems

Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

A Human-Machine system is a complex system consisting of many components and services that dynamically compose to achieve a specific goal. The functional and non-functional attributes of the components are considered to make 'who does, what, and when' decisions depending on the operational context. However, non-functional properties are not given sufficient importance compared to that of the functional requirements during the developmental stages. This paper highlights the importance of non-functional properties in human-machine systems and proposes a metamodel for modeling those properties. A case study on assistive lane keeping in automobiles is presented to demonstrate how the non-functional properties can be modeled. This is a part of the intermediate results of a research in progress for modeling decision architectures for autonomous systems.

Original languageEnglish
Title of host publicationFormal Verification and Modeling in Human-Machine Systems - Papers from the AAAI Spring Symposium, Technical Report
PublisherAI Access Foundation
Pages50-55
Number of pages6
ISBN (Print)9781577356554
Publication statusPublished - 1 Jan 2014
Externally publishedYes
Event2014 AAAI Spring Symposium - Palo Alto, CA, United States
Duration: 24 Mar 201426 Mar 2014

Publication series

NameAAAI Spring Symposium - Technical Report
VolumeSS-14-02

Conference

Conference2014 AAAI Spring Symposium
Country/TerritoryUnited States
CityPalo Alto, CA
Period24/03/1426/03/14

Fingerprint

Dive into the research topics of 'Modeling non-functional properties for human-machine systems'. Together they form a unique fingerprint.

Cite this