Tools

Below are the links to the tools that we will use in the course.

  • AADL OSATE

    AADL OSATE provides an open-source Eclipse-based Integrated Development Environment for AADL. We will use OSATE in this course for formally specifying the architecture, behavior, and risk dimensions of safety-critical systems.