Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Mario Gleirscher"'
Autor:
Mario Gleirscher
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 257, Iss Proc. FVAV 2017, Pp 75-90 (2017)
We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SOTIF. Hence, automotive control and safety engineers have to (i) compre
Externí odkaz:
https://doaj.org/article/2ef2a051539b475b8882fb09e34c6877
Publikováno v:
Informatik Spektrum. 45:246-258
ZusammenfassungZum sogenannten Mittelbau zählen Doktoranden und Doktorandinnen, Postdocs, Nachwuchsgruppenleiter und -leiterinnen, Junior- und Tenure-Track-Professoren und -Professorinnen. Insbesondere Promovierende sowie Postdoktoranden und Postdok
Publikováno v:
Formal Aspects of Computing. 33:763-802
Machines, such as mobile robots and delivery drones, incorporate controllers responsible for a task while handling risk (e.g. anticipating and mitigating hazards; preventing and alleviating accidents). We refer to machines with this capability as ris
Publikováno v:
Science of Computer Programming. 226:102930
Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a range of tools some of which need to be qualified for this purpose accor
Autor:
Mario Gleirscher, Tom Petersen, Kerstin Lenk, Simon Nestler, Jens-Martin Loebel, Stefan Rödiger
Publikováno v:
Informatik Spektrum. 43:94-102
ZusammenfassungDer Beirat des Wissenschaftlichen Nachwuchses (GI-WiN) der Gesellschaft für Informatik (GI) fordert und empfiehlt Maßnahmen zur Verbesserung der Lage von Promovierenden sowie Postdoktoranden und Postdoktorandinnen in der Informatik u
Publikováno v:
Aarhus University
Formal methods were frequently shown to be effective and, perhaps because of that, practitioners are interested in using them more often. Still, these methods are far less applied than expected, particularly, in critical domains where they are strong
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d263a9677288846fee48d43f97f46a4
http://arxiv.org/abs/2112.12758
http://arxiv.org/abs/2112.12758
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 349
Autor:
Mario Gleirscher, Radu Calinescu, Nikita Johnson, John A. Clark, James Law, Panayiotis Karachristou
Publikováno v:
The 21st Century Industrial Robot: When Tools Become Collaborators ISBN: 9783030785123
The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this chapter, we summarise approaches to the coordinated assurance of safet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a8f1d5bf00eeed0a4dc84a7aad894280
https://doi.org/10.1007/978-3-030-78513-0_11
https://doi.org/10.1007/978-3-030-78513-0_11
Assurance cases are often required to certify critical systems. The use of formal methods in assurance can improve automation, increase confidence, and overcome errant reasoning. However, assurance cases can never be fully formalised, as the use of f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9fa8000bd7423542ac160f4932a3614
https://eprints.whiterose.ac.uk/170541/7/Foster2021_Article_IntegrationOfFormalProofIntoUn.pdf
https://eprints.whiterose.ac.uk/170541/7/Foster2021_Article_IntegrationOfFormalProofIntoUn.pdf
Publikováno v:
SEAMS@ICSE
We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control loop that monitors the driver's biometrics (eye movement, heart rate, etc.) and the state of