Search for Articles:
Title / Keyword
Author / Affiliation / Email
Journal
Article Type
 
 
Advanced Search
 
Section
Special Issue
Volume
Issue
Number
Page
 
5.3
2.5
Journals
Applied Sciences
Special Issues
Automated Assurance of Robotics and Autonomous Systems
applsci-logo
Submit to Applied Sciences Review for Applied Sciences Propose a Special Issue

Journal Menu

► Journal Menu

Journal Browser

► Journal Browser
share announcement

Automated Assurance of Robotics and Autonomous Systems

A special issue of Applied Sciences (ISSN 2076-3417). This special issue belongs to the section "Robotics and Automation".

Deadline for manuscript submissions: closed (28 February 2024) | Viewed by 1692

Special Issue Editors

Dr. Ran Wei

E-Mail Website
Guest Editor
Department of Engineering, University of Cambridge, Cambridge CB2 1TN, UK
Interests: model-based systems engineering; digital twins; automated software engineering
Special Issues, Collections and Topics in MDPI journals
Dr. Zhe Jiang

E-Mail Website
Guest Editor
Department of Computer Science and Technology, University of Cambridge, Cambridge CB3 0FD, UK
Interests: safety critical systems; system architecture; functional safety
Dr. Xingyu Zhao

E-Mail Website
Guest Editor
V&V Group, Intelligent Vehicles, WMG, University of Warwick, Coventry CV4 7AL, UK
Interests: probabilistic verification of autonomous systems; Bayesian statistical inference; software reliability assessment and safety assurance; trustworthy and explainable AI; modeling of software design diversity for fault tolerance

Special Issue Information

Dear Colleagues,

Robotics and autonomous systems (RASs) are being increasingly adopted and integrated into every aspect of human life, bringing huge potential for the economy and society. The majority of RASs are also safety critical systems, in the sense that their failure may lead to accidents that cause harm, and may even lead to catastrophic consequences. As RASs are increasingly open and adaptive, it becomes increasingly difficult, or improbable, to assure their safety using existing manual approaches. This Special Issue aims to provide a forum for disseminating recent research and development outcomes related to automated means for assurance of RASs, which will fundamentally support safe and trustworthy RASs towards their wider adoption.

Dr. Ran Wei
Dr. Zhe Jiang
Dr. Xingyu Zhao
Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Applied Sciences is an international peer-reviewed open access semimonthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2400 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

Keywords

  • cyber physical systems
  • robotics and autonomous systems
  • safety critical systems engineering
  • assurance of robotics and autonomous systems
  • assurance of artificial intelligence
  • model-based system assurance
  • trustworthiness of robotics and autonomous systems
  • automated system safety analysis
  • automated system safety assurance
  • model based assurance case generation and validation

Benefits of Publishing in a Special Issue

  • Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
  • Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
  • Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
  • External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
  • e-Book format: Special Issues with more than 10 articles can be published as dedicated e-books, ensuring wide and rapid dissemination.

Further information on MDPI's Special Issue polices can be found here.

Published Papers (1 paper)

Order results
Result details
Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:

Research

21 pages, 723 KiB  
Article
Thetis: A Booster for Building Safer Systems Using the Rust Programming Language
by Renshuang Jiang, Pan Dong, Yan Ding, Ran Wei and Zhe Jiang
Appl. Sci. 2023, 13(23), 12738; https://doi.org/10.3390/app132312738 - 28 Nov 2023
Viewed by 1279
Abstract
Rust is a new system-level programming language that prioritizes performance, safety, and productivity. However, as evidenced in many previous works, unsafe code fragments broadly exist in Rust projects. The use of these unsafe fragments can fundamentally violate the safety of systems developed using [...] Read more.
Rust is a new system-level programming language that prioritizes performance, safety, and productivity. However, as evidenced in many previous works, unsafe code fragments broadly exist in Rust projects. The use of these unsafe fragments can fundamentally violate the safety of systems developed using the programming language. In response to this problem, we propose a novel methodology (Thetis) to enhance the safety capability of Rust. The core idea of Thetis is to reduce unsafe code, encapsulate unsafe code using safety rules, and make it easier to verify unsafe code through formal means. The proposed methodology involves three main components. In the context of Rust itself, Thetis combines replacement and encapsulation for Interior Unsafe segments, minimizing unsafe fragments and reducing unsafe operations and their range. For systems developed using Rust, new ACSL formal statutes are applied to reduce the unsafe potential of the encapsulated Interior Unsafe segments, enhancing the safety of the system. Regarding the development life cycle in Rust, Thetis introduces automatic defect detection and optimization based on feature extraction, improving engineering efficiency. We demonstrate the effectiveness of Thetis by using it to fix defects in BlogOS and ArceOS. The experimental results reveal that Thetis reduces the number of unsafe operations in these OSs by 40% and 45%, respectively. The use of Miri to detect and eliminate defects in ArceOS reduces the likelihood of undefined behavior by about 50%, which effectively demonstrates that the proposed method can improve the safety of the Rust system. In addition, performance test results from LMbench show that the performance loss caused by Thetis is only 1.076%, thereby maintaining the high-performance characteristics of the Rust system. Full article
(This article belongs to the Special Issue Automated Assurance of Robotics and Autonomous Systems)
►▼ Show Figures

Figure 1

Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:
 
Displaying articles 1-1
Back to TopTop