Model-based systems engineering: a system for traffic & environment

The contemporary world is crowded of large, interdisciplinary, complex systems made of other systems, personnel, hardware, software, information, processes, and facilities. The Systems Engineering (SE) field proposes an integrated holistic approach to tackle these socio-technical systems that is crucial to take proper account of their multifaceted nature and numerous interrelationships, providing the means to enable their successful realization. Model-Based Systems Engineering (MBSE) is an emerging paradigm in the SE field and can be described as the formalized application of modelling principles, methods, languages, and tools to the entire lifecycle of those systems, enhancing communications and knowledge capture, shared understanding, improved design precision and integrity, better development traceability, and reduced development risks. This thesis is devoted to the application of the novel MBSE paradigm to the Urban Traffic & Environment domain. The proposed system, the GUILTE (Guiding Urban Intelligent Traffic & Environment), deals with a present-day real challenging problem “at the agenda” of world leaders, national governors, local authorities, research agencies, academia, and general public. The main purposes of the system are to provide an integrated development framework for the municipalities, and to support the (short-time and real-time) operations of the urban traffic through Intelligent Transportation Systems, highlighting two fundamental aspects: the evaluation of the related environmental impacts (in particular, the air pollution and the noise), and the dissemination of information to the citizens, endorsing their involvement and participation. These objectives are related with the high-level complex challenge of developing sustainable urban transportation networks. The development process of the GUILTE system is supported by a new methodology, the LITHE (Agile Systems Modelling Engineering), which aims to lightening the complexity and burdensome of the existing methodologies by emphasizing agile principles such as continuous communication, feedback, stakeholders involvement, short iterations and rapid response. These principles are accomplished through a universal and intuitive SE process, the SIMILAR process model (which was redefined at the light of the modern international standards), a lean MBSE method, and a coherent System Model developed through the benchmark graphical modeling languages SysML and OPDs/OPL. The main contributions of the work are, in their essence, models and can be settled as: a revised process model for the SE field, an agile methodology for MBSE development environments, a graphical tool to support the proposed methodology, and a System Model for the GUILTE system. The comprehensive literature reviews provided for the main scientific field of this research (SE/MBSE) and for the application domain (Traffic & Environment) can also be seen as a relevant contribution.

Instrumentos Orff : unidade de aprendizagem baseada no modelo IMS-LD

O objectivo desta dissertação é a exploração da aplicabilidade do modelo IMS – Learning Design, e respectivas ferramentas de suporte, através da criação e desenvolvimento de uma unidade de aprendizagem sobre Instrumentos Orff, baseada neste modelo, para professores do 1º Ciclo do Ensino Básico. A metodologia utilizada foi o estudo de caso de índole exploratória. Foi efectuada uma revisão da literatura que incidiu essencialmente sobre o e-learning e o IMS – Learning Design, seguindo-se a criação das estratégias didácticas e da planificação de toda a Unidade de Aprendizagem sobre Instrumentos Orff. O passo seguinte foi a criação e desenvolvimento da Unidade de Aprendizagem, que culminou com a implementação dos pacotes IMS/SCORM finais do aluno e do professor. A avaliação dos materiais desenvolvidos foi efectuada através de questionários a que responderam um grupo de alunos e de professores. Como forma de conclusão deste trabalho de investigação, foi realizada uma reflexão sobre o modelo IMS – Learning Design e as actuais ferramentas de apoio à implementação. ABSTRACT: The purpose of this dissertation is the exploration of the model IMS – Learning Design and supporting tools applicability, through the creation and development of a learning unit on Orff Instruments based on the model for 1st Basic Teaching Cycle. Method used was an exploratory case study. A complete overview of relevant literature has been done, essentially on elearning and IMS – Learning Design, followed by the building of learning and planning strategies for the whole Learning Unit on Orff Instruments. The following step was the creation and the development of the Learning Unit, that leaded to the final version IMS/SCORM of student’s and teacher’s final package. The evaluation of the materials developed has been done through an inquest targeted to teachers and students. As a conclusion of this investigation, a complete reflection and overview of the IMS Model-Learning Design and its Current supporting tools to it implementation is presented.

Enhanced ethernet switching technology for adaptive hard real-time applications: Tecnologia de comutação ethernet melhorada para aplicações adaptativas e críticas de tempo-real

Os Sistemas Embarcados Distribuídos (SEDs) estão, hoje em dia, muito difundidos em vastas áreas, desde a automação industrial, a automóveis, aviões, até à distribuição de energia e protecção do meio ambiente. Estes sistemas são, essencialmente, caracterizados pela integração distribuída de aplicações embarcadas, autónomas mas cooperantes, explorando potenciais vantagens em termos de modularidade, facilidade de manutenção, custos de instalação, tolerância a falhas, entre outros. Contudo, o ambiente operacional onde se inserem estes tipos de sistemas pode impor restrições temporais rigorosas, exigindo que o sistema de comunicação subjacente consiga transmitir mensagens com garantias temporais. Contudo, os SEDs apresentam uma crescente complexidade, uma vez que integram subsistemas cada vez mais heterogéneos, quer ao nível do tráfego gerado, quer dos seus requisitos temporais. Em particular, estes subsistemas operam de forma esporádica, isto é, suportam mudanças operacionais de acordo com estímulos exteriores. Estes subsistemas também se reconfiguram dinamicamente de acordo com a actualização dos seus requisitos e, ainda, têm lidar com um número variável de solicitações de outros subsistemas. Assim sendo, o nível de utilização de recursos pode variar e, desta forma, as políticas de alocação estática tornam-se muito ineficientes. Consequentemente, é necessário um sistema de comunicação capaz de suportar com eficácia reconfigurações e adaptações dinâmicas. A tecnologia Ethernet comutada tem vindo a emergir como uma solução sólida para fornecer comunicações de tempo-real no âmbito dos SEDs, como comprovado pelo número de protocolos de tempo-real que foram desenvolvidos na última década. No entanto, nenhum dos protocolos existentes reúne as características necessárias para fornecer uma eficiente utilização da largura de banda e, simultaneamente, para respeitar os requisitos impostos pelos SEDs. Nomeadamente, a capacidade para controlar e policiar tráfego de forma robusta, conjugada com suporte à reconfiguração e adaptação dinâmica, não comprometendo as garantias de tempo-real. Esta dissertação defende a tese de que, pelo melhoramento dos comutadores Ethernet para disponibilizarem mecanismos de reconfiguração e isolamento de tráfego, é possível suportar aplicações de tempo-real críticas, que são adaptáveis ao ambiente onde estão inseridas.Em particular, é mostrado que as técnicas de projecto, baseadas em componentes e apoiadas no escalonamento hierárquico de servidores de tráfego, podem ser integradas nos comutadores Ethernet para alcançar as propriedades desejadas. Como suporte, é fornecida, também, uma solução para instanciar uma hierarquia reconfigurável de servidores de tráfego dentro do comutador, bem como a análise adequada ao modelo de escalonamento. Esta última fornece um limite superior para o tempo de resposta que os pacotes podem sofrer dentro dos servidores de tráfego, com base unicamente no conhecimento de um dado servidor e na hierarquia actual, isto é, sem o conhecimento das especifidades do tráfego dentro dos outros servidores. Finalmente, no âmbito do projecto HaRTES foi construído um protótipo do comutador Ethernet, o qual é baseado no paradigma “Flexible Time-Triggered”, que permite uma junção flexível de uma fase síncrona para o tráfego controlado pelo comutador e uma fase assíncrona que implementa a estrutura hierárquica de servidores referidos anteriormente. Além disso, as várias experiências práticas realizadas permitiram validar as propriedades desejadas e, consequentemente, a tese que fundamenta esta dissertação.

Characterization of RSOA modulators in radio over fiber links

In this work physical and behavioral models for a bulk Reflective Semiconductor Optical Amplifier (RSOA) modulator in Radio over Fiber (RoF) links are proposed. The transmission performance of the RSOA modulator is predicted under broadband signal drive. At first, the simplified physical model for the RSOA modulator in RoF links is proposed, which is based on the rate equation and traveling-wave equations with several assumptions. The model is implemented with the Symbolically Defined Devices (SDD) in Advanced Design System (ADS) and validated with experimental results. Detailed analysis regarding optical gain, harmonic and intermodulation distortions, and transmission performance is performed. The distribution of the carrier and Amplified Spontaneous Emission (ASE) is also demonstrated. Behavioral modeling of the RSOA modulator is to enable us to investigate the nonlinear distortion of the RSOA modulator from another perspective in system level. The Amplitude-to-Amplitude Conversion (AM-AM) and Amplitude-to-Phase Conversion (AM-PM) distortions of the RSOA modulator are demonstrated based on an Artificial Neural Network (ANN) and a generalized polynomial model. Another behavioral model based on Xparameters was obtained from the physical model. Compensation of the nonlinearity of the RSOA modulator is carried out based on a memory polynomial model. The nonlinear distortion of the RSOA modulator is reduced successfully. The improvement of the 3rd order intermodulation distortion is up to 17 dB. The Error Vector Magnitude (EVM) is improved from 6.1% to 2.0%. In the last part of this work, the performance of Fibre Optic Networks for Distributed and Extendible Heterogeneous Radio Architectures and Service Provisioning (FUTON) systems, which is the four-channel virtual Multiple Input Multiple Output (MIMO), is predicted by using the developed physical model. Based on Subcarrier Multiplexing (SCM) techniques, four-channel signals with 100 MHz bandwidth per channel are generated and used to drive the RSOA modulator. The transmission performance of the RSOA modulator under the broadband multi channels is depicted with the figure of merit, EVM under di erent adrature Amplitude Modulation (QAM) level of 64 and 254 for various number of Orthogonal Frequency Division Multiplexing (OFDM) subcarriers of 64, 512, 1024 and 2048.