Tool orchestration for modeling, verification and analysis of collaborating autonomous machines
System-of-systems (SoS) is a collective of multiple system units that have a common purpose. In this thesis, the Volvo Electric Site is investigated as an example case study in which safety and performance properties of collaborating autonomous machines are evaluated and analyzed. Formal methods in...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Mälardalens högskola, Akademin för innovation, design och teknik
2020
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48884 |