Volgens Gerard Holzmann, maker van de SPIN model checker, is de betrouwbaarheid van Vista zo laag dat klanten uit wanhoop XP blijven gebruiken of overstappen op open source besturingssystemen zoals Linux. Holzmann: “Voor een zware gebruiker is Vista gewoon niet acceptabel: het is te groot en complex.”
Gerard Holzmann, maker van de SPIN model checker, een softwaretool voor het controleren van de betrouwbaarheid van gedistribueerde softwaresystemen: "De omvang van de Vistacode heeft de magische grens gepasseerd waar voorbij het mogelijk is een systeem echt betrouwbaar te maken. Bovendien gebruikt Vista buitensporige hoeveelheden geheugen en laat weinig over voor de gebruiker. Een gewone gebruiker merkt daar misschien niet zoveel van, maar voor een zware gebruiker is Vista gewoon niet acceptabel: het is te groot en complex."
Ontwikkelaars mijden Vista
"Microsoft is aan het ontdekken dat ze een grens bereikt hebben: veel klanten blijven XP gebruiken in plaats van over te stappen. Dat is nog niet eerder op deze schaal gebeurd, voor zover ik weet. Linux wint enorm aan kracht en ik denk dat we op een keerpunt zijn aangekomen: gebruikers keren commerciële besturingssystemen de rug toe en adopteren open source besturingssystemen. Open source producten zijn betrouwbaarder. In de eerste plaats omdat ze kleiner zijn, verder omdat ze op een meer open manier ondersteund worden door een erg grote gebruikersgemeenschap. Open source software is transparanter: je hoeft niet meer blindelings te geloven in de software die iemand anders aan je verkoopt zonder je te vertellen hoe het werkt."
Eerder deze maand bleek al dat slechts 8 procent van de Noord-Amerikaanse ontwikkelaars applicaties schrijft voor besturingssysteem Windows Vista. Het grootste deel van de programmeurs schrijft nog steeds applicaties voor Windows XP.
Verificatie van softwaresystemen
Gerard Holzmann deed zijn uitspraken aan Computable na afloop van een lezing die hij vrijdag 23 mei bij het CWI gaf ter ere van het vijfentwintig bestaan van de SEN2 groep. Deze groep houdt zich sinds 1982 bezig met het ontwikkelen van algebraïsche technieken voor de specificatie en verificatie van softwaresystemen.
Gerard Holzmann
Gerard Holzmann promoveerde in 1979 als informaticus in Delft. Tussen 1980 en 2003 maakte hij binnen Bell Labs deel uit van de Computing Science Research groep, waarbinnen onder andere de programmeertalen C en C++ ontwikkeld werden. Holzmann werkte er tien jaar aan de SPIN model checker, een softwaretool voor het controleren van de betrouwbaarheid van gedistribueerde softwaresystemen. Hiervoor ontving hij in in 2002 de Software System Award van de Amerikaanse Association for Computing Machinery. Vanaf 2003 werkt Holzmann bij het Jet Propulsion Laboratory van NASA aan het verbeteren van de betrouwbaarheid van de software voor ruimtevaartuigen.
@hondehok
Zit die ook in het Startmenu..??
Als doorgewinterde XP-gebruiker overgestapt op Vista. Ik ben zeer tevreden over Vista. Veiliger: IE protected mode, UAC enz. Mooier: Aero. Oud spul, zoals mijn IOmega 250 par. zipdrive, werkt niet meer. So what?
Als je in het verleden wilt blijven hangen dan moet je vooral nooit je hardware en OS upgraden. Als ik alles optel en aftrek, het beste OS wat er op dit moment is (ja, ik heb ervaring met Apple en Linux, maar ik word gek van het configureren en van de applicaties die je moet missen).
@VistaVlerk
Je hebt helemaal gelijk dat Vista het beste van het moment is. Je hoeft ook niet meer in het verleden te leven want Windows Update houdt je gewoon bij de tijd.
Apple en Linux heb ik het ook niet zo op. De apple muizen zijn echt ruk en Linux vind ik de interface niet mooi van. Dan houden we toch echt weinig over….
Wie niets weet van Linux kan niet oordelen, het heeft ook een live-update, ook mogelijkheden zoals Aero en nog veel meer.
Vista? Misschien na SP5.
Jan
Hoi Jan (van Leeuwen),
Je hebt me helemaal omgepraat ik ga meteen weer een nieuwe Ubuntu downloaden. Vooral dat van dat live-update gaf de doorslag…..
Maar volgens mij werkt dat update systeem niet over poort 80 toch?
Anders moet ik firewalls gaan aanpassen en dat lijkt me niet gebruikelijk voor een dergelijke functionaliteit…
@Janvandoorn: “De Apple muizen zijn ruk” Wat is dat nou voor argument? Je hoeft toch geen Apple muis te gebruiken? Je kunt al sinds 10 jaar gewoon je standaard pc-usb-muis gebruiken op een mac, en ja, de rechtermuisknop werkt ook gewoon. Misschien moet je je basiskennis omtrent de Mac en Linux eens wat updaten Jan!
Is dat zo Klaas? Ik heb vorig jaar op het punt gestaan een Mac te kopen en bij de winkel werd gezegd dat dat niet werktte. Ik heb daarom toen maar een pc gekocht, waar ik overigens geen spijt van heb hoor want Vista ben ik echt tevreden over!
Het ergste van Linux is dat out of the box niets werkt. Alles moet worden ingesteld en als je daar mee klaar bent……kon je net zo goed Vista installeren
Het grootste gemis van Linux is het ontbreken van de setup.exe. In beginsel is het dan eigenlijk al gedoemd te mislukken. Elke kuukel snapt toch wel dat er gestart met worden met setup.exe, al is het alleen maar om de initi?le opstart van een installatie aan te kunnen zwengelen. En begin nu niet over het Soduko commando want dat is een broodje aap verhaal. Daarnaast is het ook niet mogelijk om vanuit Vista een Linux Live Update te starten in de Aero-shell. Al met al bestaat Linus niet..!!