東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Model-Based Usability Analysis of Sa...

Abbate, Andrew J.

FindBook

Google Book

Amazon

博客來

Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework./
作者:	Abbate, Andrew J.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2017,
面頁冊數:	482 p.
附註:	Source: Dissertation Abstracts International, Volume: 78-11(E), Section: B.
Contained By:	Dissertation Abstracts International78-11B(E).
標題:	Systems science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10260664
ISBN:	9780355039290

Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework.
Abbate, Andrew J.

Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework. - Ann Arbor : ProQuest Dissertations & Theses, 2017 - 482 p.

Source: Dissertation Abstracts International, Volume: 78-11(E), Section: B.

Thesis (Ph.D.)--Drexel University, 2017.

Complex, safety-critical systems are designed with a broad range of automated and configurable components, and usability problems often emerge for the end user during setup, operation, and troubleshooting procedures. Usability evaluations should consider the entire human-device interface including displays, controls, hardware configurations, and user documentation/procedures. To support the analyst, human factors researchers have developed a set of methods and measures for evaluating human-system interface usability, while formal methods researchers have developed a set of model-based technologies that enable mathematical verification of desired system behaviors. At the intersection of these disciplines, an evolving set of model-based frameworks enable highly automated verification of usability early in the design cycle. Models can be abstracted to enable broad coverage of possible problems, while measures can be formally verified to "prove" that the system is usable. Currently, frameworks cover a subset of the target system and user behaviors that must be modeled to ensure usability: procedures, visual displays, user controls, automation, and possible interactions among them. Similarly, verification methodologies focus on a subset of potential usability problems with respect to modeled interactions.

ISBN: 9780355039290Subjects--Topical Terms:

3168411
Systems science.

Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework.
LDR:05050nmm a2200337 4500 001 2111662
005 20180529094435.5
008 180626s2017 ||||||||||||||||| ||eng d
020 $a 9780355039290
035 $a (MiAaPQ)AAI10260664
035 $a (MiAaPQ)drexel:10961
035 $a AAI10260664
040 $a MiAaPQ $c MiAaPQ
100 1 $a Abbate, Andrew J. $0 (orcid)0000-0002-5931-1108 $3 3265793
245 1 0 $a Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2017
300 $a 482 p.
500 $a Source: Dissertation Abstracts International, Volume: 78-11(E), Section: B.
500 $a Advisers: Amy L. Throckmorton; Ellen J. Bass.
502 $a Thesis (Ph.D.)--Drexel University, 2017.
520 $a Complex, safety-critical systems are designed with a broad range of automated and configurable components, and usability problems often emerge for the end user during setup, operation, and troubleshooting procedures. Usability evaluations should consider the entire human-device interface including displays, controls, hardware configurations, and user documentation/procedures. To support the analyst, human factors researchers have developed a set of methods and measures for evaluating human-system interface usability, while formal methods researchers have developed a set of model-based technologies that enable mathematical verification of desired system behaviors. At the intersection of these disciplines, an evolving set of model-based frameworks enable highly automated verification of usability early in the design cycle. Models can be abstracted to enable broad coverage of possible problems, while measures can be formally verified to "prove" that the system is usable. Currently, frameworks cover a subset of the target system and user behaviors that must be modeled to ensure usability: procedures, visual displays, user controls, automation, and possible interactions among them. Similarly, verification methodologies focus on a subset of potential usability problems with respect to modeled interactions.
520 $a This work provides an integrated formal methods framework enabling the holistic modeling and verification of safety-critical system usability. Building toward the framework, a set of five, novel approaches extend the capabilities of extant frameworks in different ways. Each approach is demonstrated in a medical device case study to show how the methods can be employed to identify potential usability problems in existing systems. A formal approach to documentation navigation models an end user navigating through a printed or electronic document and verifies page reachability. A formal approach to procedures in documentation models an end user executing steps as written and aids in identifying problems involving what device components are identified in task descriptions, what system configurations are addressed, and what temporal orderings of procedural steps could be improved. A formal approach to hardware configurability models end-user motor capabilities, relationships among the user and device components in the spatial environment, and opportunities for the user to physically manipulate components. An encoding tool facilitates the modeling process, while a verification methodology aids in ensuring that configurable hardware supports correct end- user actions and prevents incorrect ones. A formal approach to interface understandability models what information is provided to the end user through visual, audible, and haptic sensory channels, including explanations provided in accompanying documentation. An encoding tools facilitates the development of models and specifications, while the verification methodology aids in ensuring that what is displayed on the device is consistent; and, if needed, an explanation of what is displayed is provided in documentation. A formal approach to controlled actuators leverages an existing modeling technique and data collected from other engineering activities to model actuator dynamics mapping to referent data. An encoding tool facilitates model development, and a verification methodology aids in validating the model with respect to source data.
520 $a Finally, new methodologies are combined within the integrated framework. A model architecture supports the analyst in representing a broad range of interactions among constituent framework models, and a set of ten specifications is developed to enable holistic usability verification. An implementation of the framework is demonstrated within a case study based on a medical device under development. This application shows how the framework could be utilized early in the design of a safety-critical system, without the need for a fully implemented device or a team of human evaluators.
590 $a School code: 0065.
650 4 $a Systems science. $3 3168411
650 4 $a Engineering. $3 586835
650 4 $a Design. $3 518875
690 $a 0790
690 $a 0537
690 $a 0389
710 2 0 $a Drexel University. $b Biomedical Engineering, Science, and Health Systems. $3 3265794
773 0 $t Dissertation Abstracts International $g 78-11B(E).
790 $a 0065
791 $a Ph.D.
792 $a 2017
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10260664