|
Termin
|
Prelegent
|
Temat prezentacji
|
|
2017.10.18
|
prof. Dongik Lee,
Kyungpook National University,
Daegu, South Korea (CV)
|
Dependable Networked Embedded Control Systems
UWAGA!!!
Seminarium o godzinie 14:30 w sali 146
|
|
2017.10.25
|
dr inż. Piotr Gawkowski
|
The impact of malware evolution on the analysis methods and infrastructure.
Streszczenie
The huge number of malware introduced each
day demands methods and tools for their automated analyses.
Complex and distributed infrastructure of malicious software
and new sophisticated techniques used to obstruct the analyses
are discussed in the paper based on real-life malware evolution
observed for a long time. Their impact on both toolsets and
methods are presented based on practical development of systems
for malware analyses and new features for existing tools.
|
Nowy termin
2017.11.15
|
dr inż. Anna Derezińska
|
Challenges in development and evolution of software with design patterns - automation of refactoring to design patterns.
Streszczenie
Application of design patterns can influence a software quality. Different software metrics are used to assess such quality and to support usage of patterns in software modeling and development. Design patterns can also be introduced into an existing code by a code restructuring. We present a process of refactoring to design patterns supported by a structural code analysis aimed at design pattern relevance. The process consists of three main phases: code analysis, determination of a refactoring range, and realization of an automated code2code transformation. A decision about a range of a design pattern application is taken by a user or can be automated. A case study for refactoring of Java programs to selected patterns has been implemented as an extension of Eclipse.
|
|
2017.11.22
|
mgr inż. Waldemar Grabski
|
Feniks - symulator sieci transportowych ATN (ang. automated transit networks)
Streszczenie
System transportowy ATN (Automated Transit Networks) to autonomiczne pojazdy poruszające się po wydzielonym torze wykonujące kursy na żądanie. Feniks jest symulatorem takiego systemu transportowego. W trakcie seminarium zaprezentowany zostanie symulator oraz algorytm zarządzania pojazdami oraz wyniki badań, w szczególności wielowarstwowego systemu transportowego dla średniej wielkości miasta. Przedstawione zostaną również prowadzone prace nad rozbudową symulatora związane z symulacją współpracy różnych środków transportu oraz uproszczenia projektowania sieci transportowej.
|
|
2017.12.06
|
dr inż. Grzegorz Blinowski
|
Trust and risk in WSN(*) and IoT / Zaufanie i ryzyko w systemach WSN i IoT
Streszczenie
The two traditional methods of protecting IT systems, including IoT environments, are cryptography and access control. They can be considered to be "hard" security measures, which guarantee system security – if implemented correctly. However, in heterogeneous IoT environments, cryptography alone cannot guarantee security, as compromised network nodes can generate false or misleading information while still providing valid cryptographic credentials. Similarly, access control mechanisms are not immune to internal malicious attacks, and traditional centralized access control is not suitable for distributed environments. However, trust management, considered to be a "soft" security measure, can resolve the above-mentioned issues, not necessarily by substituting, but rather by augmenting the "hard" security measures.
We propose a general framework for systems of the Internet of Things based on ideas of reliability trust, transaction gain, and risk. The major contribution of this work is the integration of the reliability trust estimated at the perception layer and risk estimation based on global control information provided by the cloud layer. We propose establishing a decision-making process on a random variable-based gain-loss model and methods of choice under risk. The proposed approach is general – it can be used for a wide range of trust-based decisions undertaken in the perception layer, such as routing, sensor selection, data aggregation, intrusion detection, and others.
* Wireless Sensor Networks
|
|
2018.01.10
|
dr inż. Wiktor Daszczuk
|
Weryfikacja systemów rozproszonych w IMDS z czasem rzeczywistym.
Streszczenie
W pierwszej części referatu przedstawię weryfikację w formalizmie IMDS protokołów IoT dla uzgadniania zachowań przez rozproszone sterowniki, na przykładzie wodzenia pojazdów przez inteligentne sterowniki fragmentów toru. Następnie wprowadzę czasową wersję IMDS i jej translację do automatów czasowych Alura (w wersji Uppaal).
|
|
2018.01.24
|
mgr inż. Konrad Grochowski
|
Experimental evaluation of Test Driven Development on a real, industrial project.
Streszczenie
This work presents an empirical evaluation of software development techniques, namely Test-Driven Development and
Test-Last Development with 19 students as participants and a real, industrial project as a code base. Additionally, it offers new ideas in
the area of software comparison experiment design, including: validation that the developers used the appropriate programming
techniques; separating the work of developers from infrastructural concerns, focusing on the comparison of business logic creation
efficiency; random repository switching with the same requirements implemented, which creates more realistic work conditions where
people interact with each other’s code; providing a control group, i.e. in case of comparing unit-testing approaches, repositories without
unit-tests, proving that the requirements are not trivial. The participants have worked on a 9k LOC solution during three months. The
results show the considerable and statistically significant advantage of TDD in terms of development stability (i.e. variance across
different developers and tasks) and minor advantage in terms of average values, both for the number of bugs (effect size close to zero)
and code coverage (effect size 0:7). The most interesting part of the results shows that the advantage is much greater for novice
developers (effect size 1:9 for number of bugs, 0:9 for code coverage).
|
|
2018.02.14
|
mgr Szymon Kijas
|
Decyzje architektoniczne w ewolucji systemów o architekturze usługowej.
Streszczenie
Wystąpienie ma na celu prezentację wyników rozprawy doktorskiej, której głównym celem było opracowanie metodyki ewolucji i rozwoju dedykowanej dla systemów usługowych. Głównym założeniem było opracowanie takiej metodyki, która umożliwi udokumentowanie ewolucji systemu usługowego wraz z kontekstem zmian wprowadzanych w toku ewolucji (docelową architekturę wraz ze wszystkimi dylematami, które architekt napotkał w drodze do jej osiągnięcia). Jako medium przechowywania wiedzy architektonicznej wybrane zostały więc decyzje architektoniczne.
|
|