Zobrazeno 1 - 10
of 145
pro vyhledávání: '"Lawford, Mark"'
Autor:
Ramdhan, Stefan, Trandinh, Winnie, Arulmohan, Sathurshan, Hu, Xiayong, Deevy, Spencer, Bandur, Victor, Pantelic, Vera, Lawford, Mark, Wassyng, Alan
The challenges in implementing SAE Level 4/5 autonomous vehicles are manifold, with intersection navigation being a pervasive one. We analyze a novel road topology invented by a co-author of this paper, Xiayong Hu. The topology eliminates the need fo
Externí odkaz:
http://arxiv.org/abs/2402.10226
Autor:
Formica, Federico, Petrunti, Nicholas, Bruck, Lucas, Pantelic, Vera, Lawford, Mark, Menghi, Claudio
Automotive software development requires engineers to test their systems to detect violations of both functional and drivability requirements. Functional requirements define the functionality of the automotive software. Drivability requirements refer
Externí odkaz:
http://arxiv.org/abs/2305.18608
Autor:
Rahim, Sajid, Sabri, Kourosh, Ells, Anna, Wassyng, Alan, Lawford, Mark, Chu, Linyang, He, Wenbo
Retinopathy of Prematurity (ROP) is a potentially blinding eye disorder because of damage to the eye's retina which can affect babies born prematurely. Screening of ROP is essential for early detection and treatment. This is a laborious and manual pr
Externí odkaz:
http://arxiv.org/abs/2302.02524
Autor:
Formica, Federico, Fan, Tony, Rajhans, Akshay, Pantelic, Vera, Lawford, Mark, Menghi, Claudio
Simulation-based software testing supports engineers in finding faults in Simulink models. It typically relies on search algorithms that iteratively generate test inputs used to exercise models in simulation to detect design errors. While simulation-
Externí odkaz:
http://arxiv.org/abs/2212.11589
Machine learning (ML) is finding its way into safety-critical systems (SCS). Current safety standards and practice were not designed to cope with ML techniques, and it is difficult to be confident that SCSs that contain ML components are safe. Our hy
Externí odkaz:
http://arxiv.org/abs/2111.14324
A sudden reliance on the internet has resulted in the global standardization of specific software and interfaces tailored for the average user. Whether it be web apps or dedicated software, the methods of interaction are seemingly similar. But when t
Externí odkaz:
http://arxiv.org/abs/2010.11163
Model-Based Development (MBD) is widely used for embedded controls development, with Matlab Simulink being one of the most used modelling environments in industry. As with all software, Simulink models are subject to evolution over their lifetime and
Externí odkaz:
http://arxiv.org/abs/2007.10120
We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process is defined and executed, and checking their conformance. These workflow
Externí odkaz:
http://arxiv.org/abs/1912.09912
Publikováno v:
Formal Aspects of Computing 31(5): 611-640 (2019)
Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary case. Specifically, the latter was extensively studied by the bx commun
Externí odkaz:
http://arxiv.org/abs/1911.11302
Autor:
Pang, Linna, Wang, Chen-Wei, Lawford, Mark, Wassyng, Alan, Newell, Josh, Chow, Vera, Tremaine, David
Publikováno v:
EPTCS 184, 2015, pp. 65-79
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a comp
Externí odkaz:
http://arxiv.org/abs/1506.03557