Asymmetrische of publieke-sleutelcryptografie kan een zware wissel trekken op de processor, zowel op het vlak van berekeningen als qua geheugenverkeer. Barco Silex legt uit hoe zijn...
Het waren pijnlijke jaren, maar het gaat weer de goede kant op met zijn bedrijf, vertelt CTO René Penning de Vries van NXP. Een gesprek...
Beveiliging is een onderwerp van extremen. Dat is precies wat het spannend maakt. Versleutelen is een kant van beveiliging die het meest tot de verbeelding spreekt. Ik herinner me het geheimschrift...
12 november 2009
Logica gaat consultancydiensten leveren voor Verums ASD-technologie en ASD:Suite-softwaretools. Dat zijn de beide partijen overeengekomen. ‘Logica is sterk in missiekritieke systemen en we zien de technologie en de tools van Verum als een manier om ons werk uit te breiden op dit veeleisende gebied’, zegt Anton van Gelderen, competencemanager bij Logica. ‘Verums ASD:Suite stelt ons in staat om onze klanten zeer betrouwbare systemen aan te bieden, zonder de complicaties en de steile leercurve van formele systemen.’
De softwareontwerptools van Verums ASD:Suite elimineren naar eigen zeggen alle fouten in het gedrag van complexe software-ontwerpen, waardoor de kosten van het ontwikkelen, testen en onderhouden van software worden gereduceerd. De automatische codegenerator van ASD:Suite brengt de kosten van softwareontwikkeling verder omlaag met 30 procent per geleverde coderegel, aldus het bedrijf uit Waalre. Met de formele verificatietechnologie, Analytical Software Design (ASD), kun je het ontwerp van een softwaresysteem wiskundig controleren op compleetheid en juistheid, zonder dat er een regel code is geschreven.
© Bits & Chips | Deze pagina op internet: http://www.bits-chips.nl/nieuws/bekijk/artikel/logica-wordt-verum-asd-partner.html
