Mechanisms for reflection-based monitoring of real- time systems

Monitoring is a very important aspect to consider when developing real-time systems. However, it is also important to consider the impact of the monitoring mechanisms in the actual application. The use of Reflection can provide a clear separation between the real-time application and the implemented monitoring mechanisms, which can be introduced (reflected) into the underlying system without changing the actual application part of the code. Nevertheless, controlling the monitoring system itself is still a topic of research. The monitoring mechanisms must contain knowledge about “how to get the information out”. Therefore, this paper presents the ongoing work to define a suitable strategy for monitoring real-time systems through the use of Reflection.

Setting target rotation time in PROFIBUS based real-time distributed applications

In this paper, we analyse the ability of Profibus fieldbus to cope with the real-time requirements of a Distributed Computer Control System (DCCS), where messages associated to discrete events must be made available within a maximum bound time. Our methodology is based on the knowledge of real-time traffic characteristics, setting the network parameters in order to cope with timing requirements. Since non-real-time traffic characteristics are usually unknown at the design stage, we consider an operational profile where, constraining non-real-time traffic at the application level, we assure that realtime requirements are met.

Combining RTSJ with Fork/Join: a priority-based model

This paper discusses the increased need to support dynamic task-level parallelism in embedded real-time systems and proposes a Java framework that combines the Real-Time Specification for Java (RTSJ) with the Fork/Join (FJ) model, following a fixed priority-based scheduling scheme. Our work intends to support parallel runtimes that will coexist with a wide range of other complex independently developed applications, without any previous knowledge about their real execution requirements, number of parallel sub-tasks, and when those sub-tasks will be generated.

Ergonomics and Usability – key factors in Knowledge Society

During the recent years human society evolved from the “industrial society age” and transitioned into the “knowledge society age”. This means that knowledge media support migrated from “pen and paper” to computer-based Information Systems. Due to this fact Ergonomics has assumed an increasing importance, as a science/technology that deals with the problem of adapting the work to the man, namely in terms of Usability. This paper presents some relevant Ergonomics, Usability and User-centred design concepts regarding Information Systems.

POSIX trace based behavioural reflection

Traditional Real-Time Operating Systems (RTOS) are not designed to accommodate application specific requirements. They address a general case and the application must co-exist with any limitations imposed by such design. For modern real-time applications this limits the quality of services offered to the end-user. Research in this field has shown that it is possible to develop dynamic systems where adaptation is the key for success. However, adaptation requires full knowledge of the system state. To overcome this we propose a framework to gather data, and interact with the operating system, extending the traditional POSIX trace model with a partial reflective model. Such combination still preserves the trace mechanism semantics while creating a powerful platform to develop new dynamic systems, with little impact in the system and avoiding complex changes in the kernel source code.

Component-based software engineering: a quantitative approach

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Preservice teachers' knowledge on elementary geometry concepts

This text is based on a research, which is still in progress, whose main objective is to identify and understand what are the main difficulties of future mathematics teachers of basic education are, regarding their content knowledge in geometry in the context of the curricular unit of Geometry during their undergraduate degree. We chose a qualitative approach in the form of case study, in which data collection was done through observation, interviews, a diverse set of tasks, a diagnostic test and other documents. This paper focuses on the test given to prospective teachers at the beginning of the course. The preliminary analysis of the data points to a weak performance of preservice teachers in the test issues addressing elementary knowledge of Geometry

Preservice teachers' knowledge on elementary geometry concepts

This text is based on a research, which is still in progress, whose main objective is to identify and understand what are the main difficulties of future mathematics teachers of basic education are, regarding their content knowledge in geometry in the context of the curricular unit of Geometry during their undergraduate degree. We chose a qualitative approach in the form of case study, in which data collection was done through observation, interviews, a diverse set of tasks, a diagnostic test and other documents. This paper focuses on the test given to prospective teachers at the beginning of the course. The preliminary analysis of the data points to a weak performance of preservice teachers in the test issues addressing elementary knowledge of Geometry.

Social network analysis applied to knowledge creation and transfer in the portuguese agricultural R&D field: an exploratory study

Paper presented at the 9th European Conference on Knowledge Management, Southampton Solent University, Southampton, UK, 4-5 Sep. 2008. URL: http://academic-conferences.org/eckm/eckm2008/eckm08-home.htm

Innovation through virtual communities of practice: motivations and constraints in the knowledge-creation process

This paper appears in International Journal of Projectics. Vol 4(1), pp. 39-49

Enterprise information portals: potential for evaluating research for knowledge management and human capital assets using social network analysis

Paper presented at the ECKM 2010 – 11th European Conference on Knowledge Management, 2-3 September, 2010, Famalicão, Portugal. URL: http://www.academic-conferences.org/eckm/eckm2010/eckm10-home.htm

Knowledge management in multinational companies: the repatriates’ role in the competitive advantage in subsidiaries

This paper addresses the topic of knowledge management in multinational companies (MNCs). Its purpose is to examine the role of expatriates in knowledge acquisition and transfer within MNCs. Specifically it focuses on knowledge acquisition and transfer from one MNC head office located in Germany to two Portuguese subsidiaries as a basis for competitive advantage in their Portuguese subsidiaries. A qualitative research methodology is used, specifically through an exploratory case study approach, which examines how international assignments are important for the role of expatriates In knowledge acquisition and transfer between foreign head offices and their Portuguese subsidiaries. The data were collected through semi structured interviews to 10 Portuguese repatriates from two Portuguese subsidiaries of one foreign MNC. The findings suggest that the reasons that lead to expatriating employees from Portuguese subsidiaries to foreign head offices are connected to (1) knowledge management strategies to development the subsidiary’s performance; (2) new skills and knowledge acquisition by future team leaders and business/product managers in Portuguese subsidiaries; (3) procuring knowledge, from agents in head office, to be disseminated amongst co-workers in Portuguese subsidiaries; (4) acquiring global management skills, impossible to acquire locally and; (5) developing global projects within MNC. Also our results show that knowledge acquisition and transfer from foreign head office, through subsidiaries’ expatriates, contributes directly to the Portuguese subsidiaries’ innovation, improved performance, competitive advantage and growth in the economic sectors in which they operate. Moreover, evidence reveals that expatriation is seen as a strategy to fulfil some of the main organisational objectives through their expatriates (e.g., create new products and business markets, develop and incorporate new organisational techniques and processes, integrate global teams within multinational corporation with a responsibility on the definition of global objectives). The results obtained suggest that expatriates have a central role in acquiring and transferring strategic knowledge from MNC head office to their subsidiaries located in Portugal. Based on the findings, the paper discusses in detail the main theoretical and managerial implications. Suggestions for further research are also presented. The study’s main limitation is the small size of the sample, but its findings and methodology are quite original and significant.

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

Improving Assumption based Distributed Belief Revision

Belief revision is a critical issue in real world DAI applications. A Multi-Agent System not only has to cope with the intrinsic incompleteness and the constant change of the available knowledge (as in the case of its stand alone counterparts), but also has to deal with possible conflicts between the agents’ perspectives. Each semi-autonomous agent, designed as a combination of a problem solver – assumption based truth maintenance system (ATMS), was enriched with improved capabilities: a distributed context management facility allowing the user to dynamically focus on the more pertinent contexts, and a distributed belief revision algorithm with two levels of consistency. This work contributions include: (i) a concise representation of the shared external facts; (ii) a simple and innovative methodology to achieve distributed context management; and (iii) a reduced inter-agent data exchange format. The different levels of consistency adopted were based on the relevance of the data under consideration: higher relevance data (detected inconsistencies) was granted global consistency while less relevant data (system facts) was assigned local consistency. These abilities are fully supported by the ATMS standard functionalities.

LADAR based mapping and obstacle detection system for service robots

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores