Superare le speranze nello sviluppo di sistemi e di software
Le aziende software si concentrano soprattutto sullo sviluppo di sistemi e di strumenti di accresciuta affidabilità a costi ridotti, in grado di soddisfare le reali necessità degli utenti. Oggi esistono moltissimi toolkit e metodi studiati per coadiuvare l'industria, come ISO, RAD Method e JAVA, per non nominarne che alcuni. Malgrado una serie di manchevolezze documentate, la popolarità di molti sistemi comunemente usati resta alta. Tuttavia lo sviluppo efficiente e puntuale di un software affidabile e a prova di errore, e a basso costo, resta sempre una sfida irrisolta. Per rispondere a questo bisogno, ClearSy ha sviluppato un metodo formale chiamato 'B Method' e il relativo toolkit software, Atelier B. Il metodo si è dimostrato molto efficiente in molti sistemi industriali, in quanto consente di specificare con facilità i requisiti e le funzioni di sistema. Con l'aiuto di un modello matematicamente provato, viene costruito un modello di sistema, la cui manutenzione è sotto miglioramento continuo e termina solo quando sono state coperte tutte le specifiche. Usando il toolkit Atelier B, i modelli sono controllati alla ricerca di errori di sintassi, per poi essere automaticamente validati prima dell'uso successivo. B Method e il toolkit Atelier B sono già stati usati in due settori industriali, le industrie ferroviarie e dei motori. Dopo essere stati formati con apposite sessioni, gli esperti interni sono capaci di definire una particolare metodologia e di assistere gli utenti ingegneri. La diffusione del metodo potrebbe consentire l'offerta di servizi innovativi, come lo sviluppo di software e toolkit tecnici, nonché studi e verifiche di specifiche di sistemi. Il metodo di modellizzazione formale B Method e gli strumenti sono stati utilizzati per sviluppare il software di controllo completamente automatico della linea 14 della metropolitana di Parigi. Fino ad oggi non sono stati riportati problemi di nessun tipo per il relativo software. ClearSy è alla ricerca di collaborazioni con industrie per usare in forma sperimentale od operativa il B Method nel loro settore. Si cercano anche compartecipazioni per studiare la possibilità di adattare il metodo a nuovi settori industriali.
