Passer à la navigation principale Passer à la recherche Passer au contenu principal

Modeling non-functional properties for human-machine systems

  • ENSTA ParisTech
  • Institut VEDECOM

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionContribution à une conférenceRevue par des pairs

7 Citations (Scopus)

Résumé

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.

langue originaleAnglais
titreFormal Verification and Modeling in Human-Machine Systems - Papers from the AAAI Spring Symposium, Technical Report
EditeurAI Access Foundation
Pages50-55
Nombre de pages6
ISBN (imprimé)9781577356554
étatPublié - 1 janv. 2014
Modification externeOui
Evénement2014 AAAI Spring Symposium - Palo Alto, CA, États-Unis
Durée: 24 mars 201426 mars 2014

Série de publications

NomAAAI Spring Symposium - Technical Report
VolumeSS-14-02

Une conférence

Une conférence2014 AAAI Spring Symposium
Pays/TerritoireÉtats-Unis
La villePalo Alto, CA
période24/03/1426/03/14

Empreinte digitale

Examiner les sujets de recherche de « Modeling non-functional properties for human-machine systems ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation