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
- • 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
- • Kursus om fremtidens Windows Embedded platform
- • Europractice tilbyder nu vfAnalyst softwaren
Seneste nyheder
- • Cree klar med SPICE model for banebrydende SiC-baserede MOSFETs
- • Hameg instrumenter får Rohde & Schwarz logo på fronten
- • Skyworks leverer GPS/GNSS teknologi i Samsung
- • Toshiba demonstrerer MIPI-baserede displaysløsninger
- • Ny kompakt audio hub råber højt
- • Lydløs strømforsyning til medicoapplikationer
- • Renesas satser på Eclipse
- • Løsning til fuld analyse af LTE og LTE-Advanced baserede applikationer
- • Nyt 802.11b/g modul kan erstatte gamle 802.15.4 moduler
- • Rohde & Schwarz afholder EMC-seminar
- • Nye ingeniører skal skabe fremtidens sundhedssektor
- • STRONGIT åbner Aarhus-afdeling
- • Nye chips beskytter USB forbindelser
- • TDC åbner for HD Voice til privatkunder
- • Brugerinterface til Vinco udviklingsmoduler
- • COM Express Type 6 modul med low-power Intel processorer
- • Digi-Key sælger nu LeCroy's T&M portefølje
- • EBV etablerer lyslaboratorium
- • Vicor frigiver online IBC powersimulerings-værktøj
- • Farnell i globalt samarbejde med Digilent
- • RTX lancerer ny trådløs Skype telefon
- • Det skal være lettere at udvikle 'parallel' software
- • Nye ultrakompakte clock IC'er
- • OLED-baseret mikrodisplay sætter pixel-rekord
- • TI lancerer ny generation af signalkonditionerings-kredsløb