Zobrazeno 1 - 10
of 1 285
pro vyhledávání: '"Lennartson A"'
Autor:
Huck, Tom P., Kaiser, Martin, Cronrath, Constantin, Lennartson, Bengt, Kröger, Torsten, Asfour, Tamim
Safety-critical robot systems need thorough testing to expose design flaws and software bugs which could endanger humans. Testing in simulation is becoming increasingly popular, as it can be applied early in the development process and does not endan
Externí odkaz:
http://arxiv.org/abs/2311.02907
Autor:
Huck, Tom P., Selvaraj, Yuvaraj, Cronrath, Constantin, Ledermann, Christoph, Fabian, Martin, Lennartson, Bengt, Kröger, Torsten
Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation. Currently, hazard analysis is mainly based on human reasoning, past e
Externí odkaz:
http://arxiv.org/abs/2209.12560
Autor:
Sjöberg, Anders, Önnheim, Magnus, Frost, Otto, Cronrath, Constantin, Gustavsson, Emil, Lennartson, Bengt, Jirstrand, Mats
Publikováno v:
In Journal of Manufacturing Systems February 2023 66:71-81
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
With the proliferation of communication networks and mobile devices, the privacy and security concerns on their information flow are raised. Given a critical system that may leak confidential information, the problem consists of verifying and also en
Externí odkaz:
http://arxiv.org/abs/1812.08083
Publikováno v:
Strichman O., Tzoref-Brill R. (eds) Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer Science, vol 10629. Springer, Cham
We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm. The discrete event systems framework is useful in both software, automati
Externí odkaz:
http://arxiv.org/abs/1711.06501
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In CIRP Journal of Manufacturing Science and Technology November 2021 35:422-430