Assuring Autonomous Software
• Video
Chaki discusses the importance of ensuring that Distributed Adaptive Real-Time Systems (DARTS) operate safely.
Publisher
Software Engineering Institute
Topic or Tag
Watch
Abstract
It is essential to remove any bugs from software that controls DARTS because they can demonstrate complex, autonomous behavior and operate in uncertain environments. In order to address this challenge, the SEI has developed a methodology for engineering high-assurance software for DARTS.