Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Raymond J. Richards"'
Publikováno v:
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
For decades, formal methods have offered the promise of verified software that does not have exploitable bugs. Until recently, however, it has not been possible to verify software of sufficient complexity to be useful. Recently, that situation has ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b5aaf53c04cca83f0332e935202865c
https://pubmed.ncbi.nlm.nih.gov/28871050
https://pubmed.ncbi.nlm.nih.gov/28871050
Publikováno v:
Design and Verification of Microprocessor Systems for High-Assurance Applications ISBN: 9781441915382
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
The AAMP7G microprocessor, currently in use in Rockwell Collins high-assurance system products, uniquely supports strict time and space partitioning in hardware. In this chapter, we describe the formal modeling and proof effort that led to an NSA mul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c8e52b57abfdabaea57128c35d0df1c
https://doi.org/10.1007/978-1-4419-1539-9_6
https://doi.org/10.1007/978-1-4419-1539-9_6
Autor:
Raymond J. Richards
Publikováno v:
Design and Verification of Microprocessor Systems for High-Assurance Applications ISBN: 9781441915382
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
This chapter summarizes the modeling and formal analysis effort that led to an EAL6+ certification for a commercial real-time operating system kernel. We begin by describing the INTEGRITY-178B kernel, as well as the approach taken for the Common Crit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::706cb0680f3f9c10340f70ccc6b16a38
https://doi.org/10.1007/978-1-4419-1539-9_10
https://doi.org/10.1007/978-1-4419-1539-9_10
Autor:
Raymond J. Richards, D.A. Haverkamp
Publikováno v:
LCN
Two factors influencing the design and development of avionics software are: (1) the cost of verification, validation and certification; (2) migration of avionics functionality from hardware to software, to decrease the weight and power consumption o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::297d5db831cd76096a033c26e4d6955f
https://doi.org/10.1109/lcn.2002.1181849
https://doi.org/10.1109/lcn.2002.1181849
Publikováno v:
HiPC
Efficient task migration is an important feature in parallel and distributed programs, in particular to support checkpointing and recovery for fault tolerance. It is also very useful in distributed environments like networks of workstations where ext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ff5c833475b4ebbaeaaf54efe13b094
https://doi.org/10.1109/hipc.1997.634490
https://doi.org/10.1109/hipc.1997.634490
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.