Real-Time Future Interval Logic (RTFIL) is a visual logic with formull that resemble timing diagrams. It is a dense real-time temporal logic that is based on two simple temporal primitives: interval modalities for the purely qualitative part and duration predicates for the quantitative part. In this paper we present the logic, and illustrate its use in specifying the railroad crossing example a...

The aim of the paper is to present the results of a survey of railroad employees’ motivation for a healthy lifestyle. For this purpose a specific questionnaire was developed. The study was performed on 245 Slovene railroad workers (168 of them blue-collar ones). The great majority (66.9%) were found to be overweight or obese (BMI 25 or more), with no significant difference between blueand white...

Jobshop problem is one of the most difficult classical scheduling problems. Very simple special cases of jobshop problem are strongly NP-hard. This paper deals with makespan minimization in jobshop scheduling problems with a specific blocking constraint met in several industrial problems. We also propose and define another new type of blocking constraint. After a problem description and the def...

Embedded real-time systems typically perform information processing that is tightly-coupled with physical processes. They are also becoming more and more distributed in order gain typical advantages of distributed processing, such as load-balancing, fault-tolerance, reduced wiring, increased responsiveness, etc. We propose an integrated approach for modeling and analysis of distributed embedded...