W poniedziałek 22 stycznia 2018 o godzinie 16:30 w budynku MiNI Politechniki Warszawskiej (sala 329) rozpocznie się pierwsze tegoroczne seminarium środowiskowe z cyklu Systemy inteligentne, teoria, praktyka . Tytuł seminarium: Building Resilient Space Exploration Systems (Budowanie elastycznych systemów eksploracji kosmosu). Prelegent to prof. Mike Hinchey, aktualny prezes IFIP (International Federation for Information Processing), specjalista od inżynierii oprogramowania w University of Limerick (Irlandia). Prezes oddziału IEEE UK and Ireland na lata 2018-2019. Wykład odbędzie się w języku angielskim. Oddział Mazowiecki PTI jest patronem tego wydarzenia.
Abstract. Increasingly software can be considered to be critical, due to the business or other functionality which it supports. Upgrades or changes to such software are expensive and risky, primarily because the software has not been designed and built for ease of change. Expertise, tools and methodologies which support the design and implementation of software systems that evolve without risk (of failure or loss of quality) are essential. We address a research agenda for building software in computer-based systems that (a) is safe and highly reliable and (b) retains this reliability as it evolves, either over time or at run-time and illustrate this with a complex example from the domain of space exploration.
Streszczenie (maszynowe, Google translator). Coraz częściej oprogramowanie można uznać za krytyczne ze względu na obsługiwaną przez niego funkcjonalność biznesową lub inną. Aktualizacje lub zmiany w takim oprogramowaniu są kosztowne i ryzykowne, głównie dlatego, że oprogramowanie nie zostało zaprojektowane i zbudowane z myślą o łatwej zmianie. Niezbędna jest wiedza, narzędzia i metodologie wspierające projektowanie i wdrażanie systemów oprogramowania, które ewoluują bez ryzyka (awarii lub utraty jakości). Zajmujemy się programem badań w zakresie tworzenia oprogramowania w systemach komputerowych, który (a) jest bezpieczny i wysoce niezawodny; (b) zachowuje tę niezawodność w miarę jej rozwoju, zarówno w czasie, jak i w czasie działania, i ilustruje to na przykładzie złożonym z domena eksploracji kosmosu.
Zobacz także
