자료유형 | 학위논문 |
---|---|
서명/저자사항 | Practical Verification of Safety-Critical Systems. |
개인저자 | Pernsteiner, Stuart. |
단체저자명 | University of Washington. Computer Science and Engineering. |
발행사항 | [S.l.]: University of Washington., 2018. |
발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2018. |
형태사항 | 132 p. |
기본자료 저록 | Dissertation Abstracts International 79-12B(E). Dissertation Abstract International |
ISBN | 9780438178731 |
학위논문주기 | Thesis (Ph.D.)--University of Washington, 2018. |
일반주기 |
Source: Dissertation Abstracts International, Volume: 79-12(E), Section: B.
Advisers: Zachary Tatlock |
요약 | Software-based control systems operate scientific equipment worth millions of dollars and even safety-critical medical devices, making them good targets for strong formal verification techniques. However, these systems are rarely verified in pr |
요약 | First, safety properties of control systems often rely on correct operation and interaction of several heterogeneous hardware and software components. No single analysis tool can reason about all types of components. We present techniques, bas |
요약 | Second, software components of control systems are often developed using proprietary or domain-specific languages for which no formal semantics yet exist. We present a methodology for rapidly developing language semantics, allowing application |
요약 | Third, for control system software written in specialized languages, often no verified language implementations are available. We present a new technique for developing verified compilers that combines a verified denotation function with a veri |
일반주제명 | Computer science. |
언어 | 영어 |
바로가기 | ![]() |