NASA Logo, External Link
Facebook icon, External Link to NASA STI page on Facebook Twitter icon, External Link to NASA STI on Twitter YouTube icon, External Link to NASA STI Channel on YouTube RSS icon, External Link to New NASA STI RSS Feed AddThis share icon
 

Record Details

Record 1 of 1
Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering
NTRS Full-Text: Click to View  [PDF Size: 382 KB]
Author and Affiliation:
Bolton, Matthew L.(Virginia Univ., Dept. of Systems and Information Engineering, Charlottesville, VA, United States);
Bass, Ellen J.(Virginia Univ., Dept. of Systems and Information Engineering, Charlottesville, VA, United States)
Abstract: Both the human factors engineering (HFE) and formal methods communities are concerned with finding and eliminating problems with safety-critical systems. This work discusses a modeling effort that leveraged methods from both fields to use model checking with HFE practices to perform formal verification of a human-interactive system. Despite the use of a seemingly simple target system, a patient controlled analgesia pump, the initial model proved to be difficult for the model checker to verify in a reasonable amount of time. This resulted in a number of model revisions that affected the HFE architectural, representativeness, and understandability goals of the effort. If formal methods are to meet the needs of the HFE community, additional modeling tools and technological developments are necessary.
Publication Date: Apr 01, 2009
Document ID:
20100024467
(Acquired Jul 13, 2010)
Subject Category: MATHEMATICAL AND COMPUTER SCIENCES (GENERAL)
Document Type: Conference Paper
Publication Information: Proceedings of the First NASA Formal Methods Symposium; 6-15; (NASA/CP-2009-215407); (SEE 20100024454)
Contract/Grant/Task Num: T15LM009462
Financial Sponsor: National Library of Medicine; Bethesda, MD, United States
National Inst. of Aerospace; Hampton, VA, United States
Organization Source: NASA Ames Research Center; Moffett Field, CA, United States
Description: 10p; In English
Distribution Limits: Unclassified; Publicly available; Unlimited
Rights: Copyright; Distribution as joint owner in the copyright
NASA Terms: HUMAN FACTORS ENGINEERING; SAFETY; FORMALISM; SAFETY MANAGEMENT; SYSTEMS ENGINEERING; MODELS; DESIGN ANALYSIS; PROGRAM VERIFICATION (COMPUTERS); SAFETY DEVICES; MULTIDISCIPLINARY DESIGN OPTIMIZATION
› Back to Top
Find Similar Records
NASA Logo, External Link
NASA Official: Gerald Steeman
Site Curator: STI Program
Last Modified: June 06, 2016
Contact Us