Show simple item record

dc.contributor.authorMancuso, Renatoen_US
dc.contributor.authorChaki, Sagaren_US
dc.date2018-05-01
dc.date.accessioned2019-09-10T15:26:54Z
dc.date.available2019-09-10T15:26:54Z
dc.date.issued2018-07-01
dc.identifierhttps://ospert18.ittc.ku.edu/proceedings-ospert2018.pdf
dc.identifier.citationRenato Mancuso, Sagar Chaki. 2018. "Verification of OS-level Cache Management." Proceedings of Operating Systems Platforms for Embedded Real-Time Applications. Operating Systems Platforms for Embedded Real-Time Applications (OSPERT)
dc.identifier.urihttps://hdl.handle.net/2144/37761
dc.description.abstractRecently, the complexity of safety-critical cyber-physical systems has spiked due to an increasing demand for performance, impacting both software and hardware layers. The timing behavior of complex systems, however, is harder to analyze. Real-time hardware resource management aims at mitigating this problem, but the proposed solutions often involve OS-level modifications. In this sense, software verification is key to build trust and allow such techniques to be broadly adopted. This paper specifically focuses on CPU cache management, demonstrating that OS-level hardware management logic can be verified at the source code level in a modular way, ie, without verifying the entire OS.en_US
dc.description.urihttps://ospert19.tudos.org/ospert19-proceedings.pdf
dc.format.extentp. 37 - 42en_US
dc.language.isoen_US
dc.relation.ispartofProceedings of Operating Systems Platforms for Embedded Real-Time Applications
dc.titleVerification of OS-level cache managementen_US
dc.typeConference materialsen_US
dc.description.versionAccepted manuscripten_US
pubs.elements-sourcemanual-entryen_US
pubs.notesSlides: https://ospert18.ittc.ku.edu/ospert2018_renato_veri.pdfen_US
pubs.notesEmbargo: No embargoen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Arts & Sciencesen_US
pubs.organisational-groupBoston University, College of Arts & Sciences, Department of Computer Scienceen_US
pubs.publication-statusPublisheden_US
dc.identifier.mycv439941


This item appears in the following Collection(s)

Show simple item record