Fieldbus networks: real-time from the perspective of the application tasks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within distributed computer-controlled systems. Therefore they constitute the foundation upon which real-time applications are to be implemented. A potential leap towards the use of fieldbus in such time-critical applications lies in the evaluation of its temporal behaviour. In the past few years several research works have been performed on a number of fieldbuses. However, these have mostly focused on the message passing mechanisms, without taking into account the communicating application tasks running in those distributed systems. The main contribution of this paper is to provide an approach for engineering real-time fieldbus systems where the schedulability analysis of the distributed system integrates both the characteristics of the application tasks and the characteristics of the message transactions performed by these tasks. In particular, we address the case of system where the Process-Pascal multitasking language is used to develop P-NET based distributed applications

Integrating inaccessibility in response time analysis of CAN networks

Controller Area Network (CAN) is a fieldbus network suitable for small-scale Distributed Computer Controlled Systems, being appropriate for transferring short real-time messages. Nevertheless, it must be understood that the continuity of service is not fully guaranteed, since it may be disturbed by temporary periods of network inaccessibility [1]. In this paper, such temporary periods of network inaccessibility are integrated in the response time analysis of CAN networks. The achieved results emphasise that, in the presence of temporary periods of network inaccessibility, a CAN network is not able to provide different integrity levels to the supported applications, since errors in low priority messages interfere with the response time of higher priority message streams.

Programming atomic multicasts in CAN

In Distributed Computer-Controlled Systems (DCCS), a special emphasis must be given to the communication infrastructure, which must provide timely and reliable communication services. CAN networks are usually suitable to support small-scale DCCS. However, they are known to present some reliability problems, which can lead to an unreliable behaviour of the supported applications. In this paper, an atomic multicast protocol for CAN networks is proposed. This protocol explores the CAN synchronous properties, providing a timely and reliable service to the supported applications. The implementation of such protocol in Ada, on top of the Ada version of Real-Time Linux is presented, which is used to demonstrate the advantages and disadvantages of the platform to support reliable communications in DCCS.

Using WorldFIP networks to support periodic and sporadic real-time traffic

In this paper we address the ability of WorldFIP to cope with the real-time requirements of distributed computer-controlled systems (DCCS). Typical DCCS include process variables that must be transferred between network devices both in a periodic and sporadic (aperiodic) basis. The WorldFIP protocol is designed to support both types of traffic. WorldFIP can easily guarantee the timing requirements for the periodic traffic. However, for the aperiodic traffic more complex analysis must be made in order to guarantee its timing requirements. This paper describes work that is being carried out to extend previous relevant work, in order to include the actual schedule for the periodic traffic in the worst-case response time analysis of sporadic traffic in WorldFIP networks

Non pre-emptive scheduling of messages on SMTV token-passing networks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within distributed computer-controlled systems. Therefore, they constitute the foundation upon which real-time applications are to be implemented. A specific class of fieldbus communication networks is based on a simplified version of token-passing protocols, where each station may transfer, at most, a single message per token visit (SMTV). In this paper, we establish an analogy between non-preemptive task scheduling in single processors and the scheduling of messages on SMTV token-passing networks. Moreover, we clearly show that concepts such as blocking and interference in non-preemptive task scheduling have their counterparts in the scheduling of messages on SMTV token-passing networks. Based on this task/message scheduling analogy, we provide pre-run-time schedulability conditions for supporting real-time messages with SMTV token-passing networks. We provide both utilisation-based and response time tests to perform the pre-run-time schedulability analysis of real-time messages on SMTV token-passing networks, considering RM/DM (rate monotonic/deadline monotonic) and EDF (earliest deadline first) priority assignment schemes

Using NEXUS compliant debuggers for real time fault injection on microprocessors

As electronic devices get smaller and more complex, dependability assurance is becoming fundamental for many mission critical computer based systems. This paper presents a case study on the possibility of using the on-chip debug infrastructures present in most current microprocessors to execute real time fault injection campaigns. The proposed methodology is based on a debugger customized for fault injection and designed for maximum flexibility, and consists of injecting bit-flip type faults on memory elements without modifying or halting the target application. The debugger design is easily portable and applicable to different architectures, providing a flexible and efficient mechanism for verifying and validating fault tolerant components.

Aplicação da abordagem KAIZEN na produção de artigos de papelaria

No âmbito da unidade curricular Tese/Dissertação do 2ºano do Mestrado em Engenharia Eletrotécnica – Ramo Sistemas e Planeamento Industrial do Instituto Superior de Engenharia do Porto, o presente trabalho descreve o estágio curricular efetuado num projeto industrial de melhoria em parceria com o Kaizen Institute, uma empresa de consultoria operacional. Este projeto foi desenvolvido numa empresa de produção e redistribuição de artigos de papelaria e escritório, a Firmo AVS – Papeis e Papelaria,S.A.. O acordo efetuado entre o Kaizen Institute e a Firmo AVS foi o de promover e incutir a cultura da melhoria continua e da mudança de atitudes e comportamentos por parte dos colaboradores da Firmo, sendo que numa fase inicial o foco do projeto foi o departamento de produção de envelopes, designada por área piloto, expandindo-se posteriormente a metodologia Kaizen aos restantes departamentos. A realização deste projeto teve como objetivo a implementação de conceitos elementares de melhoria continua nomeadamente alguns pilares ou ferramentas do Total Flow Management (TFM) e do Kaizen Management System (KMS) na empresa Firmo, de forma a reduzir ou eliminar desperdícios, incremento do envolvimento dos colaboradores, melhoria da comunicação e trabalho em equipa, estandardização de processos produtivos, criação de normas de trabalho, utilização de ferramentas SMED para a redução de tempos improdutivos e aumento da produtividade. Várias foram as dificuldades presentes no terreno para a implementação destes objetivos mas com as diversas ferramentas e workshops realizados na organização, conseguiu-se o envolvimento de todos os colaboradores da organização e a obtenção de resultados satisfatórios nomeadamente ao nível da comunicação e trabalho em equipa, organização e limpeza dos postos de trabalho, standard work (normalização do trabalho), diminuição do lead time nos processos produtivos e consequente aumento de produtividade.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Antitumor activity of chemical modified natural compounds

Search of new activity substances starting from chemotherapeutic agents, continously appears in international literature. Perhaps this search has been done more frequently in the field of anti-tumor chemotherapy on account of the unsuccess in saving advanced stage patients. The new point in this matter during the last decade was computer aid in planning more rational drugs. In near future "the accessibility of supercomputers and emergence of computer net systems, willopen new avenues to rational drug design" (Portoghese, P. S. J. Med. Chem. 1989, 32, 1). Unknown pharmacological active compounds synthetized by plants can be found even without this eletronic devices, as tradicional medicine has pointed out in many contries, and give rise to a new drug. These compounds used as found in nature or after chemical modifications have produced successful experimental medicaments as FAA, "flavone acetic acid" with good results as inibitors of slow growing animal tumors currently in preclinical evaluation for human treatment. In this lecture some international contributions in the field of chemical modified compounds as antineoplasic drugs will be examined, particularly those done by Brazilian researches.

Integración de empresas: planificación y gestión del cambio

Este proyecto nace de la necesidad de realizar una integración de los sistemas informáticos de una empresa en una multinacional; las empresas disponen de servicios de outsourcing en sistemas de información. Al tratarse de una integración operativa, sólo trataremos de trasladar los servicios de centro de atención al usuario, soporte local y ofimática desde un outsourcing de servicios a otro, añadiendo los cambios de procesos necesarios para disponer de un único entorno de trabajo. El cambio de entorno de trabajo se ha de realizar sin perdida de disponibilidad ni de información.

Les TIC a l'ensenyament de la modelització matemàtica en Ciències Econòmiques i en Ciències Experimentals

Aquest projecte proposa materials didàctics per a un nou plantejament de les assignatures de Matemàtiques dels primers cursos de Ciències Empresarials i d'Enginyeria Tècnica, més acord amb el procés de convergència europea, basat en la realització de projectes que anomenem “Tallers de Modelització Matemàtica” (TMM) en els quals: (1) Els alumnes parteixen de situacions i problemes reals per als quals han de construir per sí mateixos els models matemàtics més adients i, a partir de la manipulació adequada d’aquests models, poden obtenir la informació necessària per donar-los resposta. (2) El treball de construcció, experimentació i avaluació dels models es realitza amb el suport de la calculadora simbòlica Wiris i del full de càlcul Excel com a instruments “normalitzats” del treball matemàtic d’estudiants i professors. (3) S’adapten els programes de les assignatures de matemàtiques de primer curs per tal de poder-les associar a un petit nombre de Tallers que parteixen de situacions adaptades a cada titulació. L’assignatura de Matemàtiques per a les Ciències Empresarials s’articula entorn de dos tallers independents: “Matrius de transició” pel que fa a l’àlgebra lineal i “Previsió de vendes” per a la modelització funcional en una variable. L’assignatura de Matemàtiques per a l’Enginyeria s’articula entorn d’un únic taller, “Models de poblacions”, que abasta la majoria de continguts del curs: successions i models funcionals en una variable, àlgebra lineal i equacions diferencials. Un conjunt d’exercicis interactius basats en la calculadora simbòlica WIRIS (Wiris-player) serveix de suport per al treball tècnic imprescindible per al desenvolupament de les dues assignatures. L’experimentació d’aquests tallers durant 2 cursos consecutius (2006/07 i 2007/08) en dues universitats catalanes (URL i UAB) ha posat en evidència tant els innegables avantatges del nou dispositiu docent per a l’aprenentatge dels estudiants, així com les restriccions institucionals que actualment dificulten la seva gestió i difusió.

Knowledge integration within an applied mobile robot summer course

This paper presents the use of a mobile robot platform as an innovative educational tool in order to promote and integrate different curriculum knowledge. Hence, it is presented the acquired experience within a summer course named ldquoapplied mobile roboticsrdquo. The main aim of the course is to integrate different subjects as electronics, programming, architecture, perception systems, communications, control and trajectory planning by using the educational open mobile robot platform PRIM. The summer course is addressed to a wide range of student profiles. However, it is of special interests to the students of electrical and computer engineering around their final academic year. The summer course consists of the theoretical and laboratory sessions, related to the following topics: design & programming of electronic devices, modelling and control systems, trajectory planning and control, and computer vision systems. Therefore, the clues for achieving a renewed path of progress in robotics are the integration of several knowledgeable fields, such as computing, communications, and control sciences, in order to perform a higher level reasoning and use decision tools with strong theoretical base

Chaotic dynamics and team effectiveness: evidence from professional basketball

Considering teams as complex adaptive systems (CAS) this study deals with changes in team effectiveness over time in a specific context: professional basketball. The sample comprised 23 basketball teams whose outcomes were analysed over a 12-year period according to two objective measures. The results reveal that all the teams showed chaotic dynamics, one of the key characteristics of CAS. A relationship was also found between teams showing low-dimensional chaotic dynamics and better outcomes, supporting the idea of healthy variability in organizational behaviour. The stability of the squad was likewise found to influence team outcomes, although it was not associated with the chaotic dynamics in team effectiveness. It is concluded that studying teams as CAS enables fluctuations in team effectiveness to be explained, and that the techniques derived from nonlinear dynamical systems, developed specifically for the study of CAS, are useful for this purpose.

Chaotic dynamics and team effectiveness: evidence from professional basketball

Considering teams as complex adaptive systems (CAS) this study deals with changes in team effectiveness over time in a specific context: professional basketball. The sample comprised 23 basketball teams whose outcomes were analysed over a 12-year period according to two objective measures. The results reveal that all the teams showed chaotic dynamics, one of the key characteristics of CAS. A relationship was also found between teams showing low-dimensional chaotic dynamics and better outcomes, supporting the idea of healthy variability in organizational behaviour. The stability of the squad was likewise found to influence team outcomes, although it was not associated with the chaotic dynamics in team effectiveness. It is concluded that studying teams as CAS enables fluctuations in team effectiveness to be explained, and that the techniques derived from nonlinear dynamical systems, developed specifically for the study of CAS, are useful for this purpose.

Tietojenkäsittely

Tietojenkäsittelyn pääkokoelma sijaitsee pääkirjastossa (Linnassa), jossa painettu yleis- ja käsikirjastokokoelma koostuu noin 4000 nimekkeestä monografioita (painettujen monografiasarjojen osat mukaan lukien). Tietojenkäsittely-kokoelmasta kartoitettiin neljä osa-aluetta. Näistä selvimmäksi painopistealaksi osoittautui ohjelmointi, ohjelmointikielet & atk-ohjelmat, joka käsitti noin 33 % nimekkeistä (1314). Muiden ryhmien osuudet olivat pienemmät: tietojärjestelmät, tiedonhallinta & tietoturva noin 18 % (727 nimekettä); tekoäly, tietämystekniikka & hahmontunnistus noin 16 % (629 nimekettä). Käsikirjaston karsitussa noin 100 nimekkeen kokoelmassa on runsaasti sanakirjoja ja erilaisia hakuteoksia kuten lähes täydellinen (44/45) Encyclopedia of computer science and technology ja myös e-muodossa oleva 3-osainen Handbook of information security. Painettuja lehtiä oli 6 nimekettä (IEEE Pervasive Computing, MikroPC, myös e-muodossa oleva Social Science Computer Review, Tekniikan näköalat, Tietokone ja Tietoyhteys). Sähkökirjoja kokoelmassa oli 466 nimekettä Ebrary: Information technology -tietokannassa, 24 nimekettä NetLibrary-tietokannassa, 3 nimekettä Taylor & Francis eBooks online -tietokannassa ja 2 nimekettä sähköisinä hakuteoksina (Encyclopedia of gender and information technology ja Encyclopedia of information science and technology) sekä 4964-osainen Lecture notes in computer science -monografiasarja. Verkkolehtiä kokoelmassa oli noin 300 nimekettä. Tietokantoja oli 4 kokotekstitietokantaa (ACM - Association for Computing Machinery, EBSCOhost Academic Search Premier, Elsevier ScienceDirect ja SpringerLink) sekä 2 viitetietokantaa (Computer + Info Systems (CSA) ja Web of Scence (ISI)).