Sciweavers

40 search results - page 3 / 8
» etfa 2006
Sort
View
ETFA
2006
IEEE
13 years 11 months ago
DSAAR: A Distributed Software Architecture for Autonomous Robots
— This paper describes the DSAAR architecture, which aims the fast development and prototyping of multi-robot systems and it is based on Linux inter-process communication (IPC) m...
Pedro F. Santana, Vasco Santos, José Barata
ETFA
2006
IEEE
13 years 11 months ago
Systematic Design and Implementation of Distributed Controllers in Industrial Automation
This paper discusses systematic approaches to the design of distributed controllers in industrial automation systems. Several design approaches are compared that lead to the distr...
Valeriy Vyatkin, Martin Hirsch 0002, Hans-Michael ...
ETFA
2006
IEEE
13 years 11 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
ETFA
2006
IEEE
13 years 11 months ago
Integrating Inaccessibility Control and Timer Management in CANELy
The CAN Enhanced Layer (CANELy) is a CAN-based infrastructure capable of extremely reliable communication. This paper describes the mechanisms and the techniques used in CANELy to...
José Rufino, Paulo Veríssimo, Carlos...
ETFA
2006
IEEE
13 years 11 months ago
Feasibility Intervals for Fixed-Priority Real-Time Scheduling on Uniform Multiprocessors
In this paper we study the global scheduling of periodic task systems upon uniform multiprocessor platforms. We first show two very general properties which are wellknown for uni...
Liliana Cucu, Joël Goossens