• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Warsztaty nt. pewności systemów samoadaptujących się, Szeged, Węgry

    18.05.2011. 16:17
    opublikowane przez: Redakcja Naukowy.pl

    W dniach 5 - 9 września 2011 r. w Szeged, Węgry, odbędą się warsztaty nt. pewności systemów samoadaptujących się.

    Do niedawna naprawa błędów i aktualizacje systemów oprogramowania były czynnościami wykonywanymi przez ludzi. Rosnąca złożoność systemów i zwiększająca się niepewność ich środowisk operacyjnych są źródłem palącej potrzeby opracowania systemów zdolnych do samodzielnego doskonalenia swojego funkcjonowania, adaptowania się do zmiany i powracania do normalnego stanu po uszkodzeniach.

    Skutkiem tej sytuacji są niedawne postępy w systemach samoadaptujących się, zdolnych do rekonfiguracji swojej struktury i modyfikacji swojego zachowania w trakcie pracy, aby przystosować się do zmian w środowisku. Mimo tych postępów, jednym z kluczowych aspektów systemów samoadaptujących się, którym należy się gruntownie zająć jest ich pewność, to znaczy dostarczenie dowodu, że system spełnia zestaw ustalonych wymogów funkcjonalnych i pozafunkcjonalnych w czasie pracy.

    Opracowanie samoadaptujących się systemów o wysokim stopniu pewności jest trudne, ponieważ mają one tendencję do znacznego uzależnienia kontekstowego, a to wprowadza wysoki stopień niepewności.

    Wydarzenie zgromadzi naukowców w celu przedyskutowania aspektów inżynierii oprogramowania systemów samoadaptujących się, w tym metod, architektur, języków, algorytmów, technik i narzędzi, jakie można wykorzystać do wspomagania pewności w opracowywanych systemach samoadaptujących się.

    Za: CORDIS

    Czy wiesz ĹĽe...? (beta)

    Zarządzanie przez zaufanie (zarządzanie zaufaniem, ang. trust management, management by trust, management through trust) - zbiór działań kreowania systemów i metod, które pozwalają uzależnionym jednostkom dokonywać ocen i decyzji odnoszących się do niezawodności potencjalnych operacji zawierających ryzyko, a także umożliwiających ich uczestnikom i właścicielom systemów wzrost i stosowne reprezentowanie wiarygodności własnej oraz ich systemów.

    Zarządzanie przez zaufanie (zarządzanie zaufaniem, ang. trust management, management by trust, management through trust) - zbiór działań kreowania systemów i metod, które pozwalają uzależnionym jednostkom dokonywać ocen i decyzji odnoszących się do niezawodności potencjalnych operacji zawierających ryzyko, a także umożliwiających ich uczestnikom i właścicielom systemów wzrost i stosowne reprezentowanie wiarygodności własnej oraz ich systemów.

    Communicating Sequential Processes (CSP) – formalny język służący do opisywania wzorców interakcji w równoległych systemach obliczeniowych. CSP został po raz pierwszy opisany przez C. A. R. Hoare jednakże od czasu pierwszej publikacji został bardzo rozbudowany. CSP znajduje praktyczne zastosowanie jako narzędzie do określania i weryfikowania różnych aspektów funkcjonowania systemów równoległych. CSP jest cały czas przedmiotem aktywnych badań, w tym także pracy mającej na celu zwiększenie zakresu praktycznego zastosowania CSP (np. zwiększenie ilości systemów, które mogą być za jego pomocą analizowane).

    Instytut Technik Innowacyjnych EMAG jest instytutem badawczym zajmującym się kompleksowym opracowywaniem a także wdrażaniem nowoczesnych urządzeń, systemów oraz technologii. Realizator prac naukowych, badawczo-rozwojowych, konstrukcyjnych i ekspertyz w zakresie elektrotechniki, automatyki przemysłowej, telekomunikacji, systemów monitorowania i urządzeń bezpieczeństwa, systemów sterowania procesami, informatyki technicznej, sieciowych systemów informacyjnych, racjonalnego użytkowania paliw i energii oraz ochrony środowiska. Ofertę EMAG-u uzupełniają: badania specjalistyczne, atestacyjne i certyfikacyjne przeprowadzane w Centrum Badań i Certyfikacji (m.in. w unikatowej Pracowni Badań Kompatybilności Elektromagnetycznej) posiadającym akredytacje PCA, małoseryjna produkcja aparatury i urządzeń oraz usługi serwisowe. EMAG posiada własny ośrodek szkolenia oraz wydaje własne czasopismo naukowo-techniczne "Mechanizacja i Automatyzacja Górnictwa", poradniki, instrukcje i monografie. EMAG to lider wielu segmentów rynku - m.in. w zakresie aparatury i systemów bezpieczeństwa i monitorowania zagrożeń naturalnych, systemów automatyki kontroli parametrów jakościowych węgla. Misją i głównym celem Instytutu EMAG jest opracowywanie nowych innowacyjnych rozwiązań oraz doskonalenie istniejących urządzeń, technologii i systemów przyczyniających się do poprawy efektywności procesów produkcyjnych, wzrostu bezpieczeństwa pracy i jakości życia. Siedziba Instytutu Technik Innowacyjnych EMAG mieści się w Katowicach.

    GParted – edytor partycji oparty na środowisku graficznym GNOME dostępny na licencji GPL. Jest używany do tworzenia, usuwania, zmiany rozmiaru, przenoszenia, sprawdzania i kopiowania partycji oraz systemów plików znajdujących się na nich. Jest przydatny do tworzenia przestrzeni dla nowych systemów operacyjnych, reorganizacji użycia dysku, kopiowania danych rezydujących na dysku twardym i tworzenia lustrzanych kopii partycji.

    GParted – edytor partycji oparty na środowisku graficznym GNOME dostępny na licencji GPL. Jest używany do tworzenia, usuwania, zmiany rozmiaru, przenoszenia, sprawdzania i kopiowania partycji oraz systemów plików znajdujących się na nich. Jest przydatny do tworzenia przestrzeni dla nowych systemów operacyjnych, reorganizacji użycia dysku, kopiowania danych rezydujących na dysku twardym i tworzenia lustrzanych kopii partycji.

    Traktat ABM (ABM Treaty, Anti-Ballistic Missile Treaty) traktat między Stanami Zjednoczonymi a Związkiem Radzieckim o nieograniczonym czasowo ograniczeniu rozwoju, testowania i rozmieszczania systemów antybalistycznych (ABM – ‘’Antiballistic Missile’’). Jak wynika z art. I traktatu, jego celem było „ograniczenie systemów antybalistycznych każdej ze stron traktatu (ZSRR i USA) i zapobieżenie rozmieszczeniu przez którakolwiek ze stron systemów ABM na jego terytorium”. Jakkolwiek układ dopuszczał pewne ograniczone rozmieszczenie systemów antybalistycznych, jednakże zapobiegał utworzeniu systemów narodowych, w efekcie czego zapewniał nieskrępowaną możliwość balistycznego ataku jądrowego przez każdą ze stron. Traktat ograniczał możliwość rozmieszczenia systemów antybalistycznych jedynie do określonej w nim liczby rakietowych systemów lądowych oraz umieszczonych na Ziemi systemów radarowych.

    Dodano: 18.05.2011. 16:17  


    Najnowsze