Масштабы современных комплексов бортового авиационного оборудования таковы,
что их проектирование становится невозможным без привлечения средств …

Effective and scalable quality assurance techniques are essential for realizing formal model-
based development techniques for high-assurance systems. In this paper, we present the …

Model-based systems engineering approaches support the early adoption of a model-a
collection of abstractions-of the system under development. The system model can be …

Ubiquitous, high-resolution, large public displays offer an attractive complement to wearable
displays. Unfortunately, the inherently public nature of these public displays makes them …

As real-time systems have become more and more complex, architects rely on abstract
models of computation in order to design and analyse these systems. In order to ease the …

The specification, design, and assurance of safety encompasses various concepts and best
practices, subject of reuse in form of patterns. This work summarizes applied research on …

Growth of modern avionics systems makes design of such systems impossible without
involvement of automation. Nowadays an area of such tools is represented by both the …

This paper presents a library of AADL models for ROS based applications. AADL models are
provided for every ROS services, namely nodes, and for complete robots hardware and …

The development of embedded systems is a complex and challenging task. Part of this
complexity originates from limited resources and the need to solve tradeoffs between …

The design of hard real-time embedded systems has to comply with strong requirements
with respect to time determinism and resource consumption. However, interacting tasks may …