Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Alan Wassyng"'
System Failure Detection Using Deep Learning Models Integrating Timestamps With Nonuniform Intervals
Publikováno v:
IEEE Access, Vol 10, Pp 17629-17640 (2022)
System logs play an important role in software development and system maintenance. Many system software programs continuously generate system logs during software runtimes for failure detection and diagnosis purposes. Currently, the analysis of syste
Externí odkaz:
https://doaj.org/article/08db0d2092ce41ae9a7e0ac7fd720ef5
Autor:
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 184, Iss Proc. ESSS 2015, Pp 65-79 (2015)
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:
https://doaj.org/article/d2f8727a17274242a9fce57793760f81
Publikováno v:
SAE International Journal of Engines. 15:515-525
Publikováno v:
Computing in Science & Engineering. 23:47-57
Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the quality of scientific software. Assurance cases are already effectively used for real-time safety critical systems. Their advantages for sci
Publikováno v:
Artificial Intelligence in Healthcare and Medicine ISBN: 9781003120902
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5577e49d9f21e85ac74c069eb2802a72
https://doi.org/10.1201/9781003120902-10
https://doi.org/10.1201/9781003120902-10
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031148347
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f9c04db6485b3521cb89220de385074
https://doi.org/10.1007/978-3-031-14835-4_7
https://doi.org/10.1007/978-3-031-14835-4_7
Publikováno v:
MODELS
Model-Based Development (MBD) is widely used for embedded controls development, with MATLAB/Simulink being one of the most used environments in the automotive industry. Simulink models are the primary design artifact and as with all software, must be
Publikováno v:
International Journal of Information Security. 18:677-700
A crucial aspect in the development of software-intensive systems is verification. This is the process of checking whether the system has been implemented in compliance with its specification. In many situations, the manufacture of one or more compon
Publikováno v:
Journal of Software: Evolution and Process. 33
Autor:
Stephen Wynn-Williams, Feisel Weslati, Mark Lawford, Vera Pantelic, Gordon Marks, Bennett Mackenzie, Moustapha Diab, Gehan M. K. Selim, Alan Wassyng
Publikováno v:
ESEC/SIGSOFT FSE
This paper presents and evaluates the Boundary Diagram Tool for change impact analysis of large Simulink designs of embedded systems. In our previous work, we developed the Reach/Coreach Tool for model slicing within a single Simulink model. The curr