@INPROCEEDINGS{10704818,
  author={Shaukat, Nabil and Dubey, Shival and Kaddouh, Bilal and Blight, Andy and Mudrich, Lenka and Ribeiro, Pedro and Araujo, Hugo and Richardson, Rob and Dennis, Louise and Cavalcanti, Ana and Mousavi, Mohammad},
  booktitle={2024 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA)}, 
  title={Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation}, 
  year={2024},
  volume={},
  number={},
  pages={1-7},
note={[<span class="tas_vn">TAS Verifiability Node</span>]},
  keywords={Mechatronics;Software architecture;Surveillance;Computer architecture;Software;Personnel;Formal specifications;Robots;Testing;Drones;robochart;ros;drone;firefighting;software;robots;trustworthy architecture;trustworthy},
  doi={10.1109/MESA61532.2024.10704818}}

{"_id":"jmYixNcYDozhhEmqd","bibbaseid":"shaukat-dubey-kaddouh-blight-mudrich-ribeiro-araujo-richardson-etal-trustworthyrossoftwarearchitectureforautonomousdronesmissionsfromrobochartmodellingtorosimplementation-2024","author_short":["Shaukat, N.","Dubey, S.","Kaddouh, B.","Blight, A.","Mudrich, L.","Ribeiro, P.","Araujo, H.","Richardson, R.","Dennis, L.","Cavalcanti, A.","Mousavi, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Shaukat"],"firstnames":["Nabil"],"suffixes":[]},{"propositions":[],"lastnames":["Dubey"],"firstnames":["Shival"],"suffixes":[]},{"propositions":[],"lastnames":["Kaddouh"],"firstnames":["Bilal"],"suffixes":[]},{"propositions":[],"lastnames":["Blight"],"firstnames":["Andy"],"suffixes":[]},{"propositions":[],"lastnames":["Mudrich"],"firstnames":["Lenka"],"suffixes":[]},{"propositions":[],"lastnames":["Ribeiro"],"firstnames":["Pedro"],"suffixes":[]},{"propositions":[],"lastnames":["Araujo"],"firstnames":["Hugo"],"suffixes":[]},{"propositions":[],"lastnames":["Richardson"],"firstnames":["Rob"],"suffixes":[]},{"propositions":[],"lastnames":["Dennis"],"firstnames":["Louise"],"suffixes":[]},{"propositions":[],"lastnames":["Cavalcanti"],"firstnames":["Ana"],"suffixes":[]},{"propositions":[],"lastnames":["Mousavi"],"firstnames":["Mohammad"],"suffixes":[]}],"booktitle":"2024 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA)","title":"Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation","year":"2024","volume":"","number":"","pages":"1-7","note":"[<span class=\"tas_vn\">TAS Verifiability Node</span>]","keywords":"Mechatronics;Software architecture;Surveillance;Computer architecture;Software;Personnel;Formal specifications;Robots;Testing;Drones;robochart;ros;drone;firefighting;software;robots;trustworthy architecture;trustworthy","doi":"10.1109/MESA61532.2024.10704818","bibtex":"@INPROCEEDINGS{10704818,\n author={Shaukat, Nabil and Dubey, Shival and Kaddouh, Bilal and Blight, Andy and Mudrich, Lenka and Ribeiro, Pedro and Araujo, Hugo and Richardson, Rob and Dennis, Louise and Cavalcanti, Ana and Mousavi, Mohammad},\n booktitle={2024 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA)}, \n title={Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation}, \n year={2024},\n volume={},\n number={},\n pages={1-7},\nnote={[<span class=\"tas_vn\">TAS Verifiability Node</span>]},\n keywords={Mechatronics;Software architecture;Surveillance;Computer architecture;Software;Personnel;Formal specifications;Robots;Testing;Drones;robochart;ros;drone;firefighting;software;robots;trustworthy architecture;trustworthy},\n doi={10.1109/MESA61532.2024.10704818}}\n\n","author_short":["Shaukat, N.","Dubey, S.","Kaddouh, B.","Blight, A.","Mudrich, L.","Ribeiro, P.","Araujo, H.","Richardson, R.","Dennis, L.","Cavalcanti, A.","Mousavi, M."],"key":"10704818","id":"10704818","bibbaseid":"shaukat-dubey-kaddouh-blight-mudrich-ribeiro-araujo-richardson-etal-trustworthyrossoftwarearchitectureforautonomousdronesmissionsfromrobochartmodellingtorosimplementation-2024","role":"author","urls":{},"keyword":["Mechatronics;Software architecture;Surveillance;Computer architecture;Software;Personnel;Formal specifications;Robots;Testing;Drones;robochart;ros;drone;firefighting;software;robots;trustworthy architecture;trustworthy"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX"],"keywords":["mechatronics;software architecture;surveillance;computer architecture;software;personnel;formal specifications;robots;testing;drones;robochart;ros;drone;firefighting;software;robots;trustworthy architecture;trustworthy"],"search_terms":["trustworthy","ros","software","architecture","autonomous","drones","missions","robochart","modelling","ros","implementation","shaukat","dubey","kaddouh","blight","mudrich","ribeiro","araujo","richardson","dennis","cavalcanti","mousavi"],"title":"Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation","year":2024}