Maria Vasilevskaya

Learn More
Building secure systems is a difficult job for most engineers since it requires in-depth understanding of security aspects. This task, however, can be assisted by capturing security knowledge in a particular domain and reusing the knowledge when designing applications. We use this strategy and employ an information security ontology to represent the(More)
Embedded systems have evolved from tailormade systems developed by specialists to artefacts built from complex software/hardware components with many extra-functional concerns. Ubiquity of embedded devices demands other facets such as security and safety to be brought to the forefront. At the same time, cost efficiency dictates building systems from(More)
Embedded devices are crucial enablers of the Internet of Things and get increasingly common in our daily life. They store, manipulate, and transmit sensitive information and, therefore, must be protected against security threats. Due to the security and also resource constraint concerns, designing secure networked embedded systems is a difficult task.(More)
Larger project courses, such as capstone projects, are essential in a modern computing curriculum. Assessing such projects is, however, extremely challenging. There are various aspects and tradeoffs of assessments that can affect the quality of a project course. Individual assessments can give fair grading of individuals, but may loose focus of the project(More)
This work addresses quantifying security risks associated with data assets within design models of embedded systems. Attack and system behaviours are modelled as time-dependent probabilistic processes. The presence of the time dimension allows accounting for dynamic aspects of potential attacks and a considered system: the probability of a successful attack(More)
Functional Reactive Programming (FRP) is claimed to be a good choice for event handling applications. Current objectoriented telecom applications are known to suffer from additional complexity due to event handling code. In this paper we study the maintainability of FRP programs in the telecom domain compared to traditional object-oriented programming(More)
In a modern computing curriculum, large-project courses are essential to give students hands-on experience of working in a realistic software engineering project. Assessing such projects is, however, extremely challenging. There are various aspects and trade-offs of assessments that can affect course quality. Individual assessments may fairly grade(More)
Finding a balance between functional and non-functional requirements and resources in embedded systems has always been a challenge. What brings this challenge into a sharper focus is that embedded devices are increasingly deployed in many networked applications, some of which will form the backbone of the critical information infrastruc-tures on which we(More)
  • 1