Topproject intelligente verkeerssystemen goedgekeurd
Het ministerie van Economische Zaken heeft een onderzoeksprogramma rondom intelligente verkeerssystemen (intelligent traffic systems, ITS) het predicaat ’Hightech Topproject‘ gegeven.
Het ministerie van Economische Zaken heeft een onderzoeksprogramma rondom intelligente verkeerssystemen (intelligent traffic systems, ITS) het predicaat ’Hightech Topproject‘ gegeven.
Gegarandeerd foutvrije software binnen tijd en budget, wie wil dat niet? Dat is de belofte die formele modelverificatie ons doet. Toch past de industrie deze tak van sport nog maar weinig toe, deels uit onbekendheid, deels uit angst voor de complexiteit van formele methodes. Aan de hand van drie praktijkvoorbeelden laat Franc Buve van Logica zien dat formele modelverificatie wel degelijk met succes in commerciële projecten toepasbaar is.
Een testsite in Helmond is vandaag het decor voor een eerste Europese proef met een coöperatieve voertuiginfrastructuur.
Dienstverlener Logica heeft Wilbert Kieboom aangesteld als CEO voor de Benelux.
Logica heeft in twee onderdelen de eindronde bereikt voor de openbare aanbesteding van het Europese Galileo-navigatiesysteem.
Logica en het Amerikaanse Airsage, specialist in realtime verkeersinformatie, gaan samen diensten voor automobilisten aanbieden in Europa.
De Nederlandse tak van LogicaCMG heeft 643 miljoen euro omzet geboekt in 2007, 8 procent meer dan het jaar ervoor.
Softwareproducent Mavim benoemt Rini van Solingen tot Chief Technical Officer.
Peter de With, deeltijd hoogleraar aan de TUE, heeft zijn functie als hoofdadviseur bij LogicaCMG neergelegd.
LogicaCMG, Philips, het Telematica-instituut, en NEC Europe en het Duitse Instituut voor Radiotechniek (IRT) zijn twee internationale onderzoeksprojecten begonnen om de lifestyle en het welzijn van mensen te bevorderen.