ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week (ESWEEK)
AdaCore provides tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro development environment, the CodePeer advanced static analysis tool for Ada, and the SPARK Pro toolset. GNAT Pro supports all versions of the Ada language including Ada 2012 and provides an extensive toolsuite including the GPS (GNAT Programming Studio) and GNATbench IDEs, a visual debugger, a coding standard checker, and much more.
GNAT Pro is available for a wide variety of commercial OSes, RTOSes, and bareboard configurations, with two editions particularly suited for high-assurance applications: GNAT Pro Safety-Critical and GNAT Pro High-Security. These specialized products support development of systems that must comply with domain-specific safety standards such as DO-178B/C (avionics) and EN50128 (railway), and the Common Criteria security standard. Both environments work effectively with AdaCore’s SPARK Pro product where formal methods may be appropriate.
ANSYS is the global leader in engineering simulation. We bring clarity and insight to our customer’s most complex design challenges through the broadest portfolio of fast, accurate and reliable simulation tools. Our technology enables organizations in all industries to imagine high-quality, innovative product designs that are sustainable and have an accelerated time to market. Founded in 1970, ANSYS employs almost 3000 professionals, more than 700 of them with PhDs in engineering fields such as finite element analysis, computational fluid dynamics, electronics and electromagnetics, embedded software, system simulation and design optimization. Headquartered south of Pittsburgh, U.S.A., ANSYS has more than 75 strategic sales and development locations throughout the world with a network of channel partners in 40+ countries. Visit www.ansys.com for more information.
ANSYS also has a strong presence on the major social channels. To join the simulation
conversation, please visit:
Ellidiss Software markets software tools supporting AADL, UML and HRT-HOOD modeling methods. AADL is the new systems development language being mandated on many new projects. Ellidiss’ toolsets STOOD and AADL Inspector are the leading commercially available tools supporting this. HRT-HOOD is a real-time embedded software development method covering architectural and detailed design. These tools offer full documentation and code generation, are particularly suitable for the development of mission critical systems in Ada, C, or C++, and operate on UNIX, Linux and Windows. Data bridging tools are available to port data between platforms, and reverse engineering tools are available to capture an initial design from source code even if it was previously hand coded.
Our tools are widely used in Aeronautics, including AIRBUS and Eurofighter Typhoon, and Space including ESA and CNES projects.