Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Griffin, David Jack"'
Autor:
Griffin, David Jack
Interpretation and Symbolic Model Checking are powerful techniques in the field of testing. These techniques can verify the correctness of systems by exploring the state space that the systems occupy. As this would normally be intractable for even mo
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.638990
Timing verification of multi-core systems is complicated by contention for shared hardware resources between co-running tasks on different cores. This paper introduces the Multi-core Resource Stress and Sensitivity (MRSS) task model that characterize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::3eb333b35131815b94e2f8510f7ee572
https://eprints.whiterose.ac.uk/183684/7/Davis2022_Article_AFrameworkForMulti_coreSchedul.pdf
https://eprints.whiterose.ac.uk/183684/7/Davis2022_Article_AFrameworkForMulti_coreSchedul.pdf
Autor:
Burns, Alan, Harbin, James Robert, Davis, Robert Ian, Soares Indrusiak, Leandro, Bate, Iain John, Griffin, David Jack
This paper describes the motivation, design, analysis and configuration of the criticality-aware multi-hop wireless communication protocol AirTight. Wireless communication has become a crucial part of the infrastructure of many cyber-physical applica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::a4864eda368eaf34d67f273a4f88729e
https://eprints.whiterose.ac.uk/151895/1/CPS.pdf
https://eprints.whiterose.ac.uk/151895/1/CPS.pdf
Autor:
Griffin, David Jack, Harbin, James Robert, Burns, Alan, Bate, Iain John, Davis, Robert Ian, Soares Indrusiak, Leandro
Publikováno v:
Real-Time Networks and Systems
Simulation can be considered a necessary evil in the validation of systems, especially when the system under consideration is being prototyped and therefore does not presently exist. This is compounded by the use of high level simulators; on the one
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::3f9c4eb396e4a154bad21e89adc9fdda
https://eprints.whiterose.ac.uk/151879/1/main.pdf
https://eprints.whiterose.ac.uk/151879/1/main.pdf
Autor:
Harbin, James Robert, Griffin, David Jack, Burns, Alan, Bate, Iain John, Davis, Robert Ian, Soares Indrusiak, Leandro
Publikováno v:
Workshop on Mixed Criticality
The AirTight protocol supports mixed criticality wireless traffic and temporal guarantees based on defined fault models. In some systems, following a catastrophic failure, it is necessary to communicate crucial data away from the site of the failure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::175f53653d606954b546ee82af7618cb
https://eprints.whiterose.ac.uk/140762/1/AirTightWMC18.pdf
https://eprints.whiterose.ac.uk/140762/1/AirTightWMC18.pdf