RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri nets. It is therefore possible to apply Time Petri nets verification techniques to the profit of RT-LOTOS. Our approach has been implemented in RT...

Visual modeling paradigm is known for a number of decades already but still vast majority of software engineers prefer traditional programming to automated code generation from visual models. In this paper we discuss several ways to make modeling using diagrams more usable for industrial software development. Specialized domain-specific visual languages could be used to make models clearer and ...

The Real-Time Message Passing Interface (MPI/RT) is a communication layer middleware standard that is aimed at providing guaranteed Quality of Service for data transfers on high performance networks. It poses “middleout” requirements both on applications and on the operating system. In this paper, we consider the “middledown” issues by modifying a POSIX compliant operating system in order to su...

Responsive Link is a communication standard as specified in ISO/IEC 24740:2008 for distributed real-time environments. Responsive Link has multiple features to meet both hard and soft real-time requirements. Unfortunately, current real-time operating systems do not support the main features of Responsive Link. In addition, distributed realtime systems in noisy environments require revealing the...

Suppose that N inputs to a linear, time-invariant channel are designed to maximize the minimum L , distance between channel outputs. It is assumed that all inputs are zero outside the finite time window [ T , TI and are constrained in energy. The jointly optimal inputs and channel frequency response H(f) for which the minimum distance is maximized is studied, subject to the constraint that the ...

Deformable Linear Objects (DLOs) such as cables, wires, ropes, and elastic tubes are numerously present both in domestic industrial environments. Unfortunately, robotic systems handling DLOs rare have limited capabilities due to the challenging nature of perceiving them. Hence, we propose a novel approach named <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.or...