De onlangs gelanceerde tweede versie van Verums ASD-ontwikkelomgeving produceert ook Ansi- en Misra-C-code. De eerste editie van ASD:Suite kon al C++ en C# genereren. Het Waalrese bedrijf heeft dit uitgebreid met C, vooral om het pakket inzetbaar te maken voor toepassingen in automotive en consumentenelektronica. De nieuwe generator levert compacte, efficiënte en verifieerbaar foutloze code, bedoeld voor gebruik met (realtime) besturingssystemen als Linux, µ-Velosity, Osek en VXWorks.
’We hebben de C-codegenerator ontwikkeld op verzoek van onze klanten, zodat ze ASD:Suite kunnen gebruiken voor diep embedded toepassingen‘, zegt Verum-CEO Rob Howe. ’Onze oplossing heeft een enorm kleine runtime footprint en een statisch geheugenmodel. Hierdoor is het mogelijk de gegenereerde code te gebruiken in omgevingen met een beperkt geheugen en minimale processorsnelheid, bijvoorbeeld in apparaatbesturingen en automotivesystemen.‘
Verums Analytical Software Design-methode (ASD) zorgt ervoor dat een softwareontwerp functioneel en wiskundig correct is voordat het programmeren begint. ASD:Suite bevat vijf componenten. ASD:Modelbuilder biedt de grafische tools voor het maken en verifiëren van systeemmodellen, ASD:Modelchecker voert de mathematische verificatie uit en identificeert eventuele fouten, en ASD:Codegenerator kan C++-, C#- en nu dus ook C-code genereren uit het model. ASD:Testgenerator produceert testgevallen waarmee handgeschreven code is te valideren. Nieuw in versie twee is ASD:Portal, dat via een standaard browser toegang biedt tot allerhande managementfunctionaliteit.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
