Filtry
wszystkich: 23
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (20)
Wyniki wyszukiwania dla: SAFETY ARGUMENTS
-
Information Assurance Group (IAG)
Potencjał BadawczyGrupa koncentruje się na zarządzaniu ryzykiem i zaufaniem w odniesieniu do różnych cech oprogramowania i systemów informatycznych, np. Bezpieczeństwa, niezawodności i prywatności. Szczególnie interesujące jest pojęcie Trust Case i powiązanej metodologii Trust-it.
-
Zespół Katedry Zarządzania w Budownictwie i Inżynierii Sejsmicznej
Potencjał BadawczyKatedra Zarządzania w Budownictwie i Inżynierii Sejsmicznej jest kontynuatorem tradycji Katedry Ekonomiki Budownictwa, powołanej na Politechnice Gdańskiej w 1965 r. W 1974 r. powstała pierwsza w Polsce specjalność Organizacja i Zarządzanie w Budownictwie, która nieprzerwanie od tego czasu prowadzona jest przez pracowników katedry. W swojej długiej historii, katedra podlegała licznym przekształceniom organizacyjnym, kilkakrotnie...
-
Katedra Elektrotechniki, Systemów Sterowania i Informatyki
Potencjał BadawczyW Katedrze Elektrotechniki, Systemów Sterowania i Informatyki prowadzone są badania w tematyce podstaw elektrotechniki, zaawansowanych systemów sterowania, prototypowania dedykowanych rozwiązań sprzętowych w FPGA. Prowadzone badania skupiają się również na wykorzystaniu zaawansowanych technik analizy komputerowej w systemach sterowania oraz elektrotechniki.
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (3)
Wyniki wyszukiwania dla: SAFETY ARGUMENTS
-
GUT LightLab [Laboratorium badawcze światła]
Oferta BiznesowaTBC Celem Laboratorium Światła (z ang. GUT LightLab), jako placówki międzydyscyplinarnej, jest prowadzenie na wysokim poziomie badań podstawowych oraz badań stosowanych z pogranicza wielu dziedzin, w aspekcie odziaływania Światła, takich jak: Ochrona Środowiska, Medycyna, Zrównoważony Rozwój, Architektura Budowli, Architektura Dziedzictwa, Architektura Krajobrazu, Urbanistyka, Architektura Wnętrz, System znajdowania drogi (z ang....
-
Laboratorium Automatyki Napędu Elektrycznego
Oferta BiznesowaProgramowalne układy napędowe zasilane przekształtnikowo ze sterowaniem mikroprocesorowym
-
Centrum Civitroniki – Centrum Zaawansowanych Technologii
Oferta BiznesowaCentrum Civitroniki działa na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej. W skład Centrum Cicitroniki wchodzą następujące pracownie:Pracownia DIM-Tefal, Pracownia defektorskopii, badań materiału i konstrukcji metalowych, Pracownia geodezyjnego monitorowania budowli inżynierskich, Pracownia badań drogowych, Pracownia fizyki budowli oraz Nazwa Civitronika jest wynikiem połączenia wyrażeń: „civil engineering”...
Pozostałe wyniki Pokaż wszystkie wyniki (66)
Wyniki wyszukiwania dla: SAFETY ARGUMENTS
-
Expert assessment of arguments: a method and its experimental evaluation
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...
-
Supporting Assurance by Evidence-based Argument Services
PublikacjaStructured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...
-
Method of selecting programming practices for the safety-critical software development projects
PublikacjaIn recent years a plan-driven approach traditionally used in safety-critical software development has been put to a test by rapidly changing technologies, more diverse group of clients and volatile market requirements. The need to deliver good quality systems, faster and at lower cost in comparison to competitors encouraged companies to look for more efficient solutions. Agile methodologies are known to successfully address these...
-
Introducing agile practices into development processes of safety critical software
PublikacjaIn this paper we present AgileSafe - a method which supports introduction of agile practices into safety-critical software development processes. To represent safety assurance constraints resulting from the regulatory context, AgileSafe uses assurance case patterns. The knowledge base of AgileSafe helps the user to select the agile practices relevant for the considered software development project. The corresponding assurance case...
-
Support for argument structures review and assessment
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...