Ellidiss AADL Tools
• Video
At AADL User Day 2019, Pierre Dissaux discusses the three main branches of Ellidiss Technologies and their investment in ADL tools and the AADL Inspector verification framework.
Publisher
Software Engineering Institute
Watch
Abstract
Watch Pierre Dissaux discuss the three main branches of Ellidiss Technologies: Critical Software Design Tools (HOOD), Real-Time Safety and Security modeling and analysis tools (AADL), and modeling tools and model processing technologies (GMP, LMP) in addition to the AADL Inspector verification framework that Ellidiss can plug various analysis tools in terms of real-time performance, safety, and security.