StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. It lets you find any stack overflows, or formally prove the absence thereof.
Airbus France, in the development of safety-critical avionics software for several airplane types, including the A380.
Daimler, in many automotive software projects, including the powertrain control system of the new Actros truck.
Honda, in developing the FADEC software of a turbofan engine.
Vestas, to prevent stack overflow in their wind turbine control software.
AREVA, for verification of their safety-critical platform for testing, operating and troubleshooting nuclear reactors.
Continental, to avoid stack overflows in their airbag control systems.
OHB, in the development of onboard software for satellite platforms for communication and navigation.
u-blox, to avoid stack overflows at compile time and to increase the reliability of their controlling software.
MTU Friedrichshafen, to demonstrate the correctness of control software for emergency power generators in power plants.
StackAnalyzer is available for a wide and ever-growing array of target processors and compilers.
StackAnalyzer supports tight integration with state-of-the-art development tools, including:
Independent review by University of Erlangen
Your usage of StackAnalyzer can be qualified according to ISO 26262, DO-178B/C, and other safety standards. We offer special Qualification Support Kits that simplify and automate the qualification process. These Kits have been successfully used by many customers in their qualification processes, notably in the avionics and automotive industries.
Additionally, we offer QSLCD Reports that document our own development processes, including all verification and quality assurance activities.
Lastly, StackAnalyzer is also available as an integral part of the SCADE development environment, which is DO-178B qualified up to level A for Military and Aerospace Industries, IEC 61508 certified at SIL 3 by TÜV for Heavy Equipment and Energy, and EN 50128 certified at SIL 4 by TÜV for Rail Transportation. Within SCADE, you’ll find the tool under the name Stack Verifier.
Request your free trial package today, complete with free training and support.