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.
Ik maak gebruik van een blackberry, maar update knop niet kunnen vinden.
@Transporter
Als je niet weet hoe en syteem in elkaar zit zeg dan ook niks. Een blackberry is een device wat centraal beheert kan worden. Een eventuele updateknop zou het centrale proces alleen maar verstoren!
@ Harry Potter,
“Je moet alleen wel ff in het begin het waarschuwingen systeem uitflikkeren want dat werkt echt niet en de rechten van de hd weer op eigen naam zetten en dan werkt het gewoon super.”
Je mag verwachten dat een leek daar dus geen klap van snapt en dat ook niet hoeft te snappen, als alles dan zo mooi is zou het wel werken.
Voorlopig verkoop ik en velen met mij niet ��n pc met Vista, tenzij ze voor eigen risico gaan ik kom daarna de problemen bij hen thuis echt niet oplossen.
@Jeroen Ghuijs
Ik denk dat de consument zelf moet kunnen bepalen welk OS zij willen, zij het XP/Vista, Linux of een ander half derivaat van Unix. Betuttelend optreden naar de consument is denk ik geen goed iets, je verkoopt ze bewust een oud OS volgens jouw stuk.
Iedereen is natuurlijk een consument en niemand wil de krant van gisteren kopen simpelweg omdat het niets nieuws biedt. Hetgeen wat ik wel mis bij de aanschaf van een nieuwe computer is een handleiding en dan niet alleen voor het aansluiten van de hardware maar ook een basis instructie voor het OS. Echter kun je je hierbij ook wel afvragen of dit nut heeft aangezien veel mensen de handleiding nooit lezen (ikzelf maak me hier ook schuldig aan).
Ik vraag me ook af of je het bovenstaand stuk “Vista is onbetrouwbaar” begrijpt vanwege je reactie, maar dat laat ik dan ook in het midden. Zoals wij vaak zeggen RTFM (Read The Fucking Manual)
@whatelse
Je geeft aan dat consumenten zelf de keuze moeten kunnen bepalen wat voor OS men wil gebruiken. In veel winkels is het echter zo dat als je een nieuwe PC koopt je Vista opgedrongen krijgt. Probeer maar eens een nieuwe laptop te kopen zonder OS. Dat gaat bij de meeste winkels niet zo makkelijk, aangezien het voor ge?nstalleerd is op de laptop. Je moet dus betalen voor de vista OS. Terwijl sommige mensen deze niet eens willen gebruiken.
Zucht, iedereen moet zelf maar weten wat hij of zij doet. Wel of geen Vista. Echter wat ik erg irritant vind is dat allerlei oem o/s-en bij diverse pc merken standaard Vista versies zijn en dat de gemiddelde koper alleen met veel extra moeite ( en tegen vaak “meer” prijs van de aanbieding m�t Vista) kan kiezen voor b.v. XP versies of Linux als O/S. Daar zou nou die Neelie Smit Kroes mededinging EU commissie eens iets aan moeten doen in plaats van MS belachelijke boetes geven. Dat doet MS namelijk veel meer pijn, want, daarmee verdwijnt hun markt penetratie daadwerkelijk.
Hey Harry Potter,
Misschien kun jij Vista in een goed werkend OS omtoveren?
@Jeroen Ghuijs en Harry Potter:
De irritatie over die “waarschuwingen”, komt voort uit onwetendheid. De meeste gebruikers zijn in XP altijd ingelogd met admin-rechten, wat om te beginnen al helemaal fout is vanuit security-oogpunt. In Vista ben je standaard ingelogd als gewone gebruiker en pas als je iets admin-achtigs gaat doen, moet je dat even bevestigen en krijg je tijdelijk meer rechten. De bevestiging is nodig om te voorkomen dat malware stiekem iets kan doen. Zou je in XP als normale gebruiker zijn ingelogd (wat dus bijna niemand doet) en iets admin-achtigs willen doen, dan zou je eerst opnieuw moeten inloggen als admin of runas moeten gebruiken. M.a.w. het is een enorme verbetering. Het enige minpunt dat ik aan Vista kan ontdekken, is dat sommige hardware niet werkt. Maar ik snap dan weer niet waarom Microsoft daar de schuld van moet krijgen; in mijn ogen moet de febrikant van die hardware ervoor zorgen dat die drivers er zijn. Bovendien is het geen groot probleem. In mijn geval: overstappen van een zipdrive naar een USB-stick of externe hd voor backups. En onboard audio disablen en nieuw geluidskaartje plaatsen, omdat Asus geen Vista driver voor het moederbord uit 2004 levert. Een verkoper die geen Vista wil verkopen heeft het gewoon niet begrepen (sorry).
Ik heb naar dat SPIN gekeken en zie dat het niet voor Vista beschikbaar is. Hoe kun je het dan het Vista OS testen????
Het is jammer dat mensen zoveel moeite steken in het klagen over een besturingsysteem. Microsoft kijkt al jaren naar Apple voor haar uiterlijke features, maar XP was NT en Vista is ook gewoon WINDOWS NT met een andere schil. Een zware en logge in de geval. Wil je het beste van 3 werelden, neem dan Ubuntu en leer andere pakketen kennen. Dat gezeur altijd. Het is al jaren niets ander… Hoe stoer is het om te vermelden dat je zware PC hebt, maar wat doe je er mee? Een beetje schrijven en een spreadsheet hier en daar. Misschien wat Internet en af een toe een spelletje? Hou eens op met zeuren oven een besturingsysteem en doe wat met je leven!