AdaCore Announces New Software Stack Analysis Tool; GNATstack ensures safe stack calibration in software systems; creates audit trail for certified applications.NEW YORK New York, state, United States New York, Middle Atlantic state of the United States. It is bordered by Vermont, Massachusetts, Connecticut, and the Atlantic Ocean (E), New Jersey and Pennsylvania (S), Lakes Erie and Ontario and the Canadian province of and PARIS Paris, in Greek mythology Paris or Alexander, in Greek mythology, son of Priam and Hecuba and brother of Hector. Because it was prophesied that he would cause the destruction of Troy, Paris was abandoned on Mt. -- AdaCore today launched GNATstack, a software analysis tool that enables software development teams to accurately predict the maximum size of the memory stack required to host an embedded software Instructions that permanently reside in a ROM or flash memory chip. Embedded software may be immediately available to the CPU or, for faster execution, may be transferred to RAM first and then executed. application. GNATstack is an important component of AdaCore's High-Integrity solution (GNAT gnat, common name for any one of a number of small, fragile-looking two-winged flies of the suborder Nematocera, order Diptera, which includes the families Tipulidae (crane flies), Bibionidae (hairflies), Ceratopogonidae (biting midges), Chironomidae (true midges), Pro HIE hie intr. & tr.v. hied, hie·ing or hy·ing , hies To go quickly; hasten. [Middle English hien, from Old English h ), which is an enhanced Ada development environment used for building safety-critical, embedded software applications that require certification. The tool is targeted at system designers creating high integrity and high reliability embedded applications. "Manually calculating the amount of memory that should be allocated to a memory stack increases the risk that an embedded application will use more memory on the stack than is available, which can result in memory corruption Memory corruption happens when content of a memory location are unintentionally modified due to programming errors. When the corrupted memory contents are used later in the computer program, it leads either to program crash or to strange and bizarre program behavior. , unpredictable execution, or a fatal system crash," said AdaCore senior software engineer Jose Ruiz. "GNATstack uses data generated by the compiler to determine the worst-case stack requirements. This output is used to ensure that sufficient memory is reserved for the stack(s), and to guarantee that the software application executes safely." About GNATstack GNATstack calculates the worst-case stack requirements for every stack entry point by performing per-subprogram stack usage as well as control flow analysis. The tool provides an audit trail for the certification of high integrity and high reliability applications, and can detect and display a list of potential problems when calculating the stack requirements, including: - Indirect (including dispatching) calls: the tool will indicate the number of indirect calls made from any subprogram sub·pro·gram n. A computer program contained within another program that operates semi-independently of the encasing program. Noun 1. . - External calls: the tool displays all the subprograms that are reachable from any entry point that does not have a stack or call graph A call graph (also known as a call multigraph) is a directed graph that represents calling relationship among subroutines in a computer program. It shows a certain indication about a program's control flow (but is not the same as a control flow graph) and it can be partially information. - Unbounded frames: the tool displays each reachable subprogram that has an unbounded stack requirement. The required stack size depends on the arguments passed to the subprogram. - Cycles: the tool can detect all the cycles in the call graph. Availability and Pricing GNATstack is available in the GNAT Pro HIE package and as an add-on for GNAT Pro. For more information on GNATstack features, please visit http://www.adacore.com or contact AdaCore (sales@adacore.com). About AdaCore Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are critical. AdaCore's flagship product is GNAT Pro, which comes with expert online support and is available on more platforms than any other Ada technology. AdaCore has customers worldwide; see http://www.adacore.com/home/company/customers/ for more information. Use of Ada and GNAT Pro continues to grow in high-integrity and safety-critical applications, including commercial and defense aircraft avionics, air traffic control, railroad systems, financial services and medical devices. AdaCore has North American North American named after North America. North American blastomycosis see North American blastomycosis. North American cattle tick see boophilusannulatus. headquarters in New York and European headquarters in Paris. www.adacore.com |
|
||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion