CHANNELS

Subscribe to the InfoTech eNewsletter

infoTECH News

TMCNet:  AdaCore Releases QGen 17.1 for Model-Based Development and Verification

[March 14, 2017]

AdaCore Releases QGen 17.1 for Model-Based Development and Verification

Embedded World Conference--AdaCore today released QGen 17.1, the latest version of its model-based development and verification toolset. QGen bridges the gap between control engineering and software engineering, helping customers in the automotive and aerospace industries, as well as other safety-critical software-intensive domains, take full advantage of model-based development while retaining the low-level control necessary to achieve full integration with target hardware.

QGen's qualifiable and customizable code generator processes a safe subset of Simulink® and Stateflow® models and generates source code in the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 17.1 incorporates an updated user interface, support for additional Simulink® blocks, an efficient and user-friendly set of compatibility checkers, and robust and powerful model-level debugging support for back-to-back testing between simulation and target execution. QGen 17.1 is compatible with MATLAB versions 2009b through 2016b.

The debugging facilities in QGen 17.1 are unique in the industry, bringing model-level block and signal visibility to the embedded world. Using the GNAT Programming Studio (GPS) IDE, developers can debug not only "pure" Simulink® and Stateflow® models but also applications that combine manually prepared and auto-generated code. If a breakpoint is set on an individual block, the debugger will automatically set a breakpoint at the corresponding statement in the generated code. The debugger displays a full, graphical view of the Simulink® model, showing the values of signal variables as they are updated during execution. Signal values can be overridden by hand for testing purposes, to force the model into states that might be tedious to reach otherwise. The generated SPARK/Ada or MISRA C code can always be displayed side-by-side with the model, and the developer can easily jump back and forth between a point in the model and the corresponding position in the source code. The debugger can execute the program one step at a time, either at source-code level or block level, and can cross between auto-generated code and user-written code.

"Our QGen product is already much more than just a qualifiable code generator for Simulink® and Stateflow® models," said Tucker Taft, Product Architect for QGen at AdaCore. "QGen now integrates subset compatibility checkers, optimized, qualifiable code generation, static model verification, processor-in-the-loop (PIL) testing on a real target or through emulation on the host, and our unique model-level debugging capability."

QGen has been designed to be qualified at the highest level for usage on safety-critical systems, in particular Tool Qualification Level TQL-1 for DO-178C (corresponding to a development tool under DO-178B), and qualification material is available.

Availability

QGen 17.1 is available now. For pricing, specific platform details or other information please contact info@adacore.com

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company's offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and
  • The QGen model-based development toolsuite for safety-critical control systems, providing a qualifiable and customizable code generator, a static verifier for Simulink® and Stateflow® models, and a model-level debugger.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains, such as commercial avionics, automotive, railway, space, military systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/�for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.�www.adacore.com


[ InfoTech Spotlight's Homepage ]


blog comments powered by Disqus

FOLLOW US

Subscribe to InfoTECH Spotlight eNews

InfoTECH Spotlight eNews delivers the latest news impacting technology in the IT industry each week. Sign up to receive FREE breaking news today!
FREE eNewsletter

infoTECH Whitepapers