Hardware/Software Interface Assurance with Conformance Checking

Hardware/Software Interface Assurance with Conformance Checking

Hardware/Software (HW/SW) interfaces are pervasive in modern computer systems. Most of HW/SW interfaces are implemented by devices and their device drivers. Unfortunately, HW/SW interfaces are unreliable and insecure due to their intrinsic complexity and error-prone nature. Moreover, assuring HW/SW...

Full description

Bibliographic Details
Main Author: Lei, Li
Format: Others
Published: PDXScholar 2015
Subjects:
Formal methods (Computer science)
Computer software > Testing
Computer input-output equipment > Testing
Computer systems > Verification
Computer interfaces
Software Engineering
Systems Architecture
Online Access:https://pdxscholar.library.pdx.edu/open_access_etds/2323
https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=3325&context=open_access_etds

Internet

https://pdxscholar.library.pdx.edu/open_access_etds/2323
https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=3325&context=open_access_etds

Similar Items