THE ENTIRE INDUSTRY
AT YOUR FINGERTIPS.
At the world’s largest (virtual) event for unmanned and autonomous systems, you’ll find your momentum, that something extra that gives you a competitive edge – your X factor.

Only AUVSI XPONENTIAL 2020 allows you to discover groundbreaking innovation, immerse yourself in new ideas, gain new perspectives and experience everything you need to elevate your business from the comfort of your own home.
TOUR THE PLATFORM
Defense Energy Agriculture Retail + Logistics Public Safety Transportation Communications Mapping + Surveying Oil + Gas Construction Automated Vehicles Mining
From energy to transportation and construction to defense, join the unmanned systems community including users, technologists and policymakers to collaborate on ideas, share lessons learned and build new partnerships. SEE WHO ATTENDS
FIND YOUR EDGE
Explore today’s proven capabilities and tomorrow’s advancements through virtual exhibits, community Q&A, and roundtable discussions with hundreds of manufacturers and service providers. SEE WHO'S EXHIBITING
FIND YOUR INSPIRATION
Get practical solutions and easily implementable ideas you can put into action right away through live-streamed and on-demand educational sessions covering the industry’s most pressing topics.
VIEW THE FULL PROGRAMOR VIEW THE PROGRAM BY DAY:

Welcome to your XPONENTIAL Exhibitor Console!

The Exhibitor Console is your XPONENTIAL hub for all the information you need to know – from deadlines to promotional items - in one convenient location.

Important Dates and Information

Virtual Platform Launch

Note: only registered attendees can access the virtual platform and virtual booth. 

September 28, 2020

Virtual Platform Coffee Talk

  • Zoom Link 
  • Meeting ID: 865 9877 2303
  • Passcode: 447699
  • Phone: +1 301 715 8592

October 1, 2020

1:00pm EST

XPONENTIAL 2021 Rebook

Rebook will take place during XPONENTIAL 2020. You will receive an email by Thursday, October 5 with your rebook time. This will be the time that you can log into the system and select your physical booth location for XPONENTIAL 2021 scheduled for Atlanta May 3-6.

October 7-8, 2020

Use our Promotional Toolkit to share your participation at XPONENTIAL and give your customers a discounted registration with code EXHOFFXPO20!

Achieving Logical and Temporal Enforcement for Autonomous Systems

  • Session Number:2039
Thursday, October 08, 2020: 10:30 AM - 11:15 AM

Speaker(s)

Session Speaker
Bjorn Andersson
Principal Researcher
Software Engineering Institute at Carnegie Mellon University

Description

The safety of autonomous systems depends on the correctness of their software, which, in turn, depends on whether the software computes the right result (logical correctness) and computes it at the right time (temporal correctness). For software in autonomous systems, achieving each of the two types of correctness is challenging and achieving both of them is even more so. The reason is that software in autonomous systems tends to (i) have complex control flow, (ii) have a dependency on the physical environment (Cyber-Physical Systems), (iii) have large state spaces, and (iv) execute on computer platforms for which documentation is not public, incomplete, or wrong. It would be desirable to prove before an autonomous system is put into operation, that it will perform safely. But because of the aforementioned reasons, this is very difficult (or perhaps impossible). For this reason, an appealing approach is to introduce enforcers. An enforcer is a small piece of code that is given a certain desired or required correctness property of the autonomous system (e.g., the altitude should be greater than a certain bound). Since the enforcer is small, its implementation (for example, in the C programming language) can be formally verified (using FRAMA-C, for example). Furthermore, at run time, if the normal application software chooses to perform an unsafe operation, then the enforcer overrides the action. This provides the potential to achieve the twin objectives in autonomous systems of allowing the use of complex third-party software and use COTS hardware while simultaneously achieving safety. Previous work (by us and others) have focused on enforcers for logical correctness. In this paper and presentation, we will present enforcers for both logical correctness and timing correctness, and an architecture that combines the two types of correctness.

Super Tracks:


Job Role:
Engineering/Technical,Research & Development

Tags:
Air,Ground,Maritime,Software



OUR 2020 EVENT SPONSORS + PARTNERS