Zobrazeno 1 - 10
of 83
pro vyhledávání: '"Mark Lawford"'
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:
Computer Security. ESORICS 2022 International Workshops ISBN: 9783031254598
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d1de6252017032806f9e6b179a1742a
https://doi.org/10.1007/978-3-031-25460-4_39
https://doi.org/10.1007/978-3-031-25460-4_39
Publikováno v:
IEEE Transactions on Vehicular Technology. 70:1230-1245
The rapidly increasing complexity of software in modern cars dictates new trends in electrical and/or electronic (E/E) automotive architectures. As a result, many original equipment manufacturers (OEMs) and suppliers have been advocating centralized
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69cabbfd86897ee2020cfd378a4910a0
https://doi.org/10.1109/tvt.2021.3054934
https://doi.org/10.1109/tvt.2021.3054934
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61edd598a2274d194feecbfdc6482e6c
https://doi.org/10.4271/2022-01-0747
https://doi.org/10.4271/2022-01-0747
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
Autor:
Nicholas Moore, Mark Lawford
Publikováno v:
Theoretical Aspects of Software Engineering ISBN: 9783031103629
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cddf2eb4c0aa087de5589d65c1c3f11
https://doi.org/10.1007/978-3-031-10363-6_5
https://doi.org/10.1007/978-3-031-10363-6_5
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14fea7ec5187139fa0b8db320342a053
https://doi.org/10.1109/models50736.2021.00014
https://doi.org/10.1109/models50736.2021.00014
Publikováno v:
Formal Aspects of Computing. 31:611-640
Multiple (more than 2) model synchronization is ubiquitous and important for MDE, but its theoretical underpinning gained much less attention than the binary case. Specifically, the latter was extensively studied by the bx community in the framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c7a11996f6dee9097e612828c1acaea
https://doi.org/10.1007/s00165-019-00493-0
https://doi.org/10.1007/s00165-019-00493-0
Publikováno v:
DSN Workshops
A safety architecture for domain-centralized E/E (Electric and/or Electronic) architectures is proposed to specifically address the scenario where the domain controller of a centralized vehicle domain fails catastrophically. The proposed architecture
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac0343fa082ea845084bb89bb64e9eb9
https://doi.org/10.1109/dsn-w52860.2021.00022
https://doi.org/10.1109/dsn-w52860.2021.00022