skip to: page content | links on this page | site navigation | footer (site information)

Fremont Associates

Support | Purchase| Download

Furness™ Toolset

small logo

AADL and the Furness™ Toolset

The Architecture Analysis and Design Language (AADL) is an emerging SAE standard language for describing the software and hardware architecture of performance-critical real-time systems. The Furness™ toolset integrates and enhances several open-source tools to create a single unified environment for design, analysis and implementation of embedded systems.

Why AADL?

A better question would be "why are you using PowerPoint, Excel and low-level Simulink files to design architectures in a way that can't be carried forward into your design and implementation processes?"

AADL is a domain-independent formalism for describing embedded systems architectures. The architectural design and review process can begin with abstract AADL models expressing a system as a collection of software and hardware components. As the architecture is refined, the model is refined, until a complete system architecture is described. This creates a formal starting point for design and implementation, and a formal reference for beginning architectural changes in subsequent system releases and versions.

AADL Tools

The Furness™ Toolset collects the leading open-source AADL tools into a single, professionally supported release. The tools are integrated into the open-source Eclipse IDE and installed and updated through the Ecilpse online update site feature. The current Furness™ Toolset distribution contains all of the features described below.

FURNESS™ TOOLSET

Content

  • Furness™ Toolset Perspective

    • The Furness™ Toolset presents a single unified perspective on all its subcomponents. The perspective is organized to facilitate architecture analysis and design activities.

  • Open Source AADL Tool Environment (OSATE)

    OSATE is the reference implementation of the AADL source language and its meta-model. Developed and maintained by the Software Engineering Institute at Carnegie Mellon University, OSATE is the rock-solid foundation upon which advanced analysis and design plug-ins are implemented.

  • TOPCASED

    TOPCASED provides a hierarchical graphical specification language equivalent in all respects to the textual language. Integration of TOPCASED through the OSATE meta-model allows analysis and design plug-ins to work equally well with either textual or graphical specifications.

  • VERSA Schedulability Analyzer

    The VERSA schedulability analyzer implements a process-algebraic approach to schedulability analysis for system threads under a wide range of scheduling disciplines and inter-thread dependencies.

  • Quality assured components and integration

    Fremont Associates has created a conformance test suite for the AADL language that is used to verify the correctness of parsing and analysis tools included in the Furness™ Toolset distribution. The test suite expands daily, and we document, report and follow-up with developers on any bugs that are discovered.

SUBSCRIPTIONS

Benefits

  • Support

    Adopt AADL with confidence that your engineers and developers will have the professional tool support needed to insure success.

    Single point of contact for resolving problems in all Furness™ Toolset components via phone or email.

    Access to the latest bug fixes and enhancements.

    Notification of changes and enhancements to tools and the base AADL language via an exclusive subscriber forum.

  • Participation

    Have your voice heard in the AADL standards setting group through our regular participation in this body.

    Participate in the creation of professionally supported open source tools designed with the embedded systems engineer in mind.

    Support quality assurance activities for open-source AADL tools.

 

 

 

Downloads

Support and Pricing Options
About Us | Privacy Policy | Contact Us | © 2006 Fremont Associates, LLC