Dzięki projektowi unijnemu nowe oprogramowanie ma być bardziej niezawodne i elastyczne
Właśnie rozpoczął się nowy, finansowany ze środków unijnych, projekt, podejmujący problematykę zaprojektowania i konserwowania trwałych i niezawodnych systemów oprogramowania. Projekt HATS (Wysoce elastyczne i niezawodne oprogramowanie na bazie modeli formalnych) uzyskał dofinansowanie na kwotę 5,27 mln EUR z tematu Technologie Informacyjne i Komunikacyjne Siódmego Programu Ramowego (7PR). Zapotrzebowanie na rozwój oprogramowania jest ogromne. Zważywszy na koszt budowy rozległych programów komputerowych, takich jak te wykorzystywane w handlu internetowym lub w elektronicznych systemach administracji państwowej, muszą być one trwałe i bezpieczne Z uwagi zaś na ich rosnące znaczenie jako elementu infrastruktury nowoczesnego społeczeństwa, ich niezawodność (na przykład prawidłowość funkcjonalna czy zgodność z polityką bezpieczeństwa) ma pierwszorzędne znaczenie. Obok możliwości użytkowania przez bardzo długi czas, rozległe programy muszą zaspokoić szeroką gamę wymogów i warunków, dostosowywać się do zmieniających się środowisk roboczych i finansowych oraz być skalowalne odpowiednio do potrzeb dużych i małych przedsiębiorstw. Niemniej programy, które są dziś powszechnie wykorzystywane opierają się na kodach o milionach wierszy, co sprawia, że nikt nie jest w stanie samodzielnie sprawdzić całej struktury programu i przewidzieć wszystkich możliwych interakcji. Obecne podejścia do ponownego wykorzystywania i konserwowania różnych komponentów oprogramowania nie są w stanie zaspokoić przyszłych wymagań handlu internetowego, elektronicznych systemów opieki zdrowotnej i administracji państwowej. Naukowcy pracujący nad projektem HATS poświęcą trzy kolejne lata na sprostanie wyzwaniu zapewnienia bezpieczeństwa, elastyczności i niezawodności kodu, na którym opiera się rozległe oprogramowanie. Według partnerów, pracujących pod kierunkiem Politechniki Chalmers w Szwecji, poszerzenie obecnego zestawu praktyk formalnych nie wystarczy. Konsorcjum dąży do opracowania ram dla rozwoju metodologii i narzędzi, które umożliwią projektantom zautomatyzowanie procesu konserwowania dynamicznie ewoluującego oprogramowania. Projekt HATS skoncentruje się również na bezpieczeństwie i niezawodności poprzez zastąpienie procesów, które zwykle mają charakter nieformalny, rygorystycznymi analizami matematycznymi znaczenia wykorzystanych języków programowania (semantyka formalna). Sercem projektu jest język modelowania bazujący na abstrakcyjnej teorii specyfikacji behawioralnej, który można wykorzystać do niezwykle precyzyjnego opisania cech i komponentów oprogramowania (oraz miejsca ich występowania). To wypełnia poważną lukę w obecnych praktykach opracowywania oprogramowania, które bez takich formalnych i szczegółowych opisów uniemożliwiają automatyczną kontrolę spójności i bezpieczeństwa. "Głównym wyzwaniem jakie staje przed budową oprogramowania w kolejnych dekadach jest wysoka elastyczność połączona z niezawodnością" - według partnerów projektu. "Proponujemy wykorzystanie empirycznie sprawdzonego, ale i nieformalnego modelu projektowania oprogramowania i umieszczenie go na formalnych podstawach. Ściślej mówiąc, z projektowania rodziny oprogramowania stworzymy formalne i rygorystyczne podejście." Projekt - skupiający 12 partnerów europejskich z doświadczeniem w zakresie języków programowania, układów rozproszonych, softwarowych linii produktowych, weryfikacji formalnej i teorii typu - obejmuje również projektowanie samodostosowujących się systemów oprogramowania.
Kraje
Szwecja