This paper presents a systematic, schedulability-aware method for automated implementation of complex distributed real-time control systems designed with real-time object-oriented models. Our approach derives tasks in each node of a distributed system by grouping mutually exclusive transactions. It then assigns each task a feasible priority and preemption threshold. To allow for the automated a...

This thesis is a part of a bigger research vision called Progress which aims at providing component based techniques for the development of realtime embedded systems. It starts research of the runtime structures of the Progress component model. The thesis aims at identifying necessary questions about the internal structure of virtual nodes and about the supporting mechanisms needed to run virtu...

The time-to-collision task is that of estimating the ratio of the distance of an object to the relative velocity in the direction of that object, based on time-varying images resulting from the 3-D motion of a camera with respect to the object. Traditional methods require large amounts of memory and computation time, and are not suited for real time hardware implementations. We used a direct me...

Hyperspectral sensors represent the most advanced instruments currently available for remote sensing of the Earth. The high spatial and spectral resolution of the images supplied by systems like the Airborne Visible Infra-Red Imaging Spectrometer (AVIRIS), developed by NASA Jet Propulsion Laboratory, allows their exploitation in diverse applications, such as detection and control of wildland fi...

DC has proved to be a promising tool for the specification and verification of functional requirements on the design of hard realtime systems. Many works were devoted to develop effective techniques for checking the models of hard real-time systems against DC specifications. DC model checking theory is still evolving and yet there is no available tools supporting practical verifications due to ...