Forbedret Ada udviklingsmiljø
AdaCore introducerer udbygget og forbedret version af deres Ada udviklingsmiljø, GNAT Programming Studio (in english).
AdaCore, a leading supplier of Ada tools and support services, has released GNAT Programming Studio (GPS) 4.4. This new version of AdaCore’s graphical Ada-oriented Integrated Development Environment (IDE) offers an improved user interface, faster performance and greater integration with AdaCore’s Project Coverage and SPARK Pro toolsets. GPS is provided with GNAT Pro on most platforms, for both native and embedded software development.
The most noticeable enhancement in GPS 4.4 is in the graphical user interface (GUI), which makes it easier for users to add new plug-ins and customise the IDE. The general navigation capabilities and documentation generation features have also been improved, ensuring consistent creation of supporting materials.
And below the visible GUI, GPS now offers tighter integration with both the Project Coverage and SPARK Pro toolsets. Project Coverage’s code coverage and simulator capabilities can now be directly accessed from the IDE, and support for the SPARK language has been extended, allowing improved source/annotation navigation. SPARK developers may now more easily develop SPARK language applications and invoke the SPARK Pro tool set from GPS.
- We have been systematically enhancing the GNAT Pro toolset to improve support for safety-critical and high-security applications, says Arnaud Charlet, GPS Project Manager at AdaCore.
- GPS 4.4 is a good illustration of our strategy. Developers of high-assurance systems may now access Project Coverage and SPARK Pro tools with the same IDE that they already use for general development.
Relaterede nyheder
- • AMD Embedded G-Series undestøtter Windows RTOS
- • Android til automotive applikationer
- • Det skal være lettere at udvikle 'parallel' software
- • Avnet og ARM etablerer software-site
- • Freescale og Green Hills samarbejder om virtualisations-teknologi
- • IAR tilbyder værktøj til stack-analyse
- • Første 4K-projektor til home cinema
- • Samarbejde om integration af wireless teknologi i embedded systemer
- • Førende RTOS porteres til AMD Embedded G-serie platformen
- • MATLAB kan nu automatisk generere C-kode
- • Open source specifikation gør det lettere at designe multicore systemer
- • IAR Systems åbner døren til Eclipse
- • Lynuxworks klar med ny version af LynxSecure
- • Software til CPU virtualisering af realtime kontrolsystemer
- • Hurtige applikationsudvikling med AMD's nye APU enheder
Seneste nyheder
- • Kontron satser stort på den nyeste Intel Core i7 processorteknologi
- • LG demonstrerer 55 tommer OLED tv i Europa
- • Exova Metech tilbyder nu kalibrering af ESD pistoler
- • Mouser udbygger med leverandør af antenner til M2M applikationer
- • EBV-magasin om funktionel sikkerhed
- • Bluetooth audiomodul til trådløse højttalersystemer
- • Techno-Matic i nyt forretningsområde
- • Årets Elektropris er uddelt
- • Første SAR A/D-konverter med SPICE model
- • Premier Farnell får ny chef
- • Step-down konverter opererer med 96 procent effektivitet
- • Maxwell Technologies hos Digi-Key
- • Højeffektive DC/DC-konvertere i brick-format
- • Farnell udvider med GNSS/GPS receivere
- • Fuld HD LCD-modul med stor betragningsvinkel
- • Ny teknologi skræmmer fugle væk fra markerne
- • Silicon Labs køber 2,4 GHz specialisten Ember
- • Touch platform emulerer fysiske trykknapper
- • AMD udvider APU platformen med ny R-serie
- • Ericsson klar med ny generation af powermoduler
- • Første 4 Gbit LPDDR'er i 20nm teknologi
- • SemiSouth sampler første 650V SiC JFETs
- • Digi-Key i globalt samarbejde med t-Global Technology
- • austriamicrosystems bliver til 'ams'
- • Find spændende apps til OrCAD og Allegro på nettet