To see the other types of publications on this topic, follow the link: HLA (high level architecture).
Dissertations / Theses on the topic 'HLA (high level architecture)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'HLA (high level architecture).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Rahmani, Hibah. "Efficient data structures for discovery in high level architecture (HLA)." Honors in the Major Thesis, University of Central Florida, 2000. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/203.
Full textAbstract:
This item is only available in print in the UCF Libraries. If this is your Honors Thesis, you can help us make it available online for use by researchers around the world by following the instructions on the distribution consent form at http://library.ucf.edu/Systems/DigitalInitiatives/DigitalCollections/InternetDistributionConsentAgreementForm.pdf You may also contact the project coordinator, Kerri Bottorff, at kerri.bottorff@ucf.edu for more information.<br>Bachelors<br>Engineering<br>Computer Engineering
2
Gokturk, Erek. "Implementing Kqml Agent Communication Language For Multiagent Simulation Architectures On Hla." Master's thesis, METU, 2003. http://etd.lib.metu.edu.tr/upload/1097377/index.pdf.
Full textAbstract:
Multiagent simulation is gaining popularity due to its intuitiveness and ability in coping
with domain complexity. HLA, being a distributed simulation architecture standard,
is a good candidate for implementing a multiagent simulation infrastructure
on, provided that agent communication can be implemented. HLA, being a standard
designed towards a wide coverage of simulation system architectures and styles, is
not an easy system to master. In this thesis, an abstraction layer called the Federate
Abstraction Layer (FAL) is described for better engineering of software systems participating
in an HLA simulation, providing lower project risks for the project manager
and ease of use for the C++ programmers. The FAL is in use in project SAVMOS in
Modelling and Simulation Laboratory. Discussion of FAL is followed by discussion of
the study for realizing KQML for use in multiagent architectures to be built on top
of HLA as the data transfer medium. The results are demonstrated with 10 federates
implemented using the FAL.
3
Sievert, Nicke. "Modelica Models in a Distributed Environment Using FMI and HLA." Thesis, Linköpings universitet, Programvara och system, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-131385.
Full textAbstract:
Modelica is a domain independent modeling language allowing for componentbased modeling of complex systems. Functional Mock-up Interface (FMI) defines a standardized interface for complex computer simulations. High Level Architecture (HLA) is an interoperability standard of a general purpose architecture for distributed simulation. This thesis aims to show the possibilities of having Modelica models in a distributed environment by usage of FMI and HLA. An additional objective is to provide a base for a possible generic solution.
4
Rachapalli, Deepak Kumar. "USING THE SOFTWARE ADAPTER TO CONNECT LEGACY SIMULATION MODELS TO THE RTI." Master's thesis, University of Central Florida, 2006. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3978.
Full textAbstract:
The establishment of a network of persistent shared simulations depends on the presence of a robust standard for communicating state information between those simulations. The High Level Architecture (HLA) can serve as the basis for such a standard. While the HLA is architecture, not software, use of Run Time Infrastructure (RTI) software is required to support operations of a federation execution. The integration of RTI with existing simulation models is complex and requires a lot of expertise. This thesis implements a less complex and effective interaction between a legacy simulation model and RTI using a middleware tool known as Distributed Manufacturing Simulation (DMS) adapter. Shuttle Model, an Arena based discrete-event simulation model for shuttle operations, is connected to the RTI using the DMS adapter. The adapter provides a set of functions that are to be incorporated within the Shuttle Model, in a procedural manner, in order to connect to RTI. This thesis presents the procedure when the Shuttle Model connects to the RTI, to communicate with the Scrub Model for approval of its shuttle's launch.<br>M.S.<br>Department of Industrial Engineering and Management Systems<br>Engineering and Computer Science<br>Modeling and Simulation
5
Topcu, Okan. "Metamodeling For The Hla Federation Architectures." Phd thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/3/12609187/index.pdf.
Full textAbstract:
This study proposes a metamodel, named Federation Architecture Metamodel (FAMM), for describing the architecture of a High Level Architecture (HLA) compliant federation. The metamodel provides a domain specific language and a formal representation for the federation adopting Domain Specific Metamodeling approach to HLA-compliant federations. The metamodel supports the definitions of transformations both as source and as target. Specifically, it supports federate base code generation from a described federate behavior, and it supports transformations from a simulation conceptual model. A salient feature of FAMM is the behavioral description of federates based on live sequence charts (LSCs). It is formulated in metaGME, the meta-metamodel for the Generic Modeling Environment (GME).
This thesis discusses specifically the following points: the approach to building the metamodel, metamodel extension from Message Sequence Chart (MSC) to LSC, support for model-based code generation, and action model and domain-specific data model integration.
Lastly, this thesis presents, through a series of modeling case studies, the Federation Architecture Modeling Environment (FAME), which is a domain-specific model-building environment provided by GME once FAMM is invoked as the base paradigm.
6
Wong, Chee Tzuon. "A study on Discrete Event Simulation (DES) in a High-Level Architecture (HLA) networked simulation." Thesis, Monterey, California. Naval Postgraduate School, 2010. http://hdl.handle.net/10945/4958.
Full textAbstract:
Approved for public release; distribution is unlimited<br>This thesis investigates implementing Discrete Event Simulation (DES) concepts using Simkit packages into a High- Level Architecture (HLA)-networked simulation, thus addressing sustainability of the HLA methodology into the future. Through the DES concept of predicting and anticipating the time of when events will occur, redundant and excessive exchange of common data, like position and sensory status, can be removed. This DES implementation considerably reduces the network load and removes data processing incompatibility between simulations. A design involving several concepts of DES and HLA simulation led to the creation of a Simkit based application library. Interfacing this application library with two DES models demonstrated and proved the feasibility of DES concepts in HLA-networked simulations. A generic combat scenario modeled using this methodology, successfully showed the intended advantages of the thesis. The ease of linking non-DES and non-HLA simulations to an HLA environment was enhanced using a common set of interfaces built based on the resulting application library. Through a simple comparison with traditional time-stepped real-time simulation of the same scenario configuration, it was shown that data exchange between simulations was reduced by several orders of magnitude. This freed a substantial amount of network resources to perform other tasks, hence, improving network performance.
7
Koksal, Algin Ceren Fatma. "Ontology Driven Development For Hla Federates." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/3/12611943/index.pdf.
Full textAbstract:
This thesis puts forth a process for ontology driven distributed simulation through a case
study. Ontology is regarded as a domain model, including objects, attributes, methods and
object relations. The case study involves trajectory simulation. A trajectory simulation is a
piece of software that calculates the flight path and other parameters of a munition, such as
its orientation and angular rates, from launch to impact. Formal specification of trajectory
simulation domain is available as a domain model in the form of an ontology, called
Trajectory Simulation ONTology (TSONT). Ontology driven federation development
process proposed in this thesis is executed in three steps. The first step is to analyze the
TSONT and to create instances of individuals guided by the requirements of the targeted
simulation application, called Puma Trajectory Simulation. Puma is the simulation of a
ficticious air-to-ground guided bomb. The second step is to create the High Level
Architecture(HLA) Federation Object Model (FOM) using Puma Simulation individuals.
FOM will include the required object and interaction definitions to enable information
exchange among federation members, including the Puma federate and the Exercise
Manager federate. Transformation from the ontology to FOM is realized in two ways:
manually, and by using a tool called OWL2OMT. The third step is to implement the
Trajectory Simulation federation based on the constructed FOM. Thus, the applicability of
developing HLA federates and the federation under the guidance of ontology is
demonstrated.
8
Rocha, Rafaela Vilela da. "Uma arquitetura de suporte a modelagem de simulações de treinamento baseada na arquitetura HLA (High Level Architecture)." Universidade Federal de São Carlos, 2009. https://repositorio.ufscar.br/handle/ufscar/447.
Full textAbstract:
Made available in DSpace on 2016-06-02T19:05:46Z (GMT). No. of bitstreams: 1
3226.pdf: 6069687 bytes, checksum: 5d226daa93c8d5e313962b39c46b557e (MD5)
Previous issue date: 2009-07-30<br>Universidade Federal de Sao Carlos<br>The use of virtual environments, created by the computer, provides the execution of training simulations in a safe environment to investigate human behaviour and response to dangerous situations. However, building generic virtual environment simulations is a challenge to be researched. At present, existing virtual environment simulations are focused on specific applications. They also have their supporting architecture tightly coupled to the application making extensions or modifications difficult and dependent on computing specialists. Thus, it is important that environments that ease the building of these simulations be created. This work aims to specify an architecture to support the development, implementation, management, control and analysis of collaborative virtual environments, in conformance with the High Level Architecture, a reference architecture for simulations interoperability and reuse. In this work, simulation construction is driven by non-linear, interactive storytelling and instantiated ontologies. The history and ontologies integration facilitates the creation of different simulations without the need for programmers. The goal of the collaborative virtual environment simulations to be created is training for emergency preparedness and response application domain. However, new application domains can be designed by integrating new ontologies. For the ontologies creation, norms for protection against fire and exercise protocols, in use at São Paulo State, were used along with expert advice by São Carlos fire fighters. An environment for the creation of simulations is being developed as part of this work, as well as the whole process of development and execution of a simulation using our proposed architecture. A use case (fire and explosion occurrence) was devised for simulation instantiation. As the main results of this work a novel architecture was devised for the creation of complex training simulations as well as seven ontologies in the emergency management domain. These can be used as powerful tools for the creation of training simulations for the emergency preparedness and response teams.<br>O uso de ambientes virtuais, criados pelo computador, permite a realização de simulações de treinamento em um ambiente seguro para investigar o comportamento e a resposta de humanos a situações de perigo. Porém, a construção de simulações de ambientes virtuais genéricos e independentes é um desafio a ser pesquisado. Atualmente, as simulações de ambientes virtuais existentes são focadas em aplicações específicas e têm arquitetura de suporte estreitamente ligada à aplicação somado ao fato que a sua extensão ou alteração depende da atuação de especialistas em computação. Assim, é importante que ambientes que facilitem a construção dessas simulações sejam construídos. O presente trabalho tem como objetivo especificar uma arquitetura de suporte ao desenvolvimento, execução, gerenciamento, controle e análise de simulações de ambientes virtuais colaborativos, em conformidade com a arquitetura de referência High Level Architecture, que visa a interoperabilidade e o reuso de simulações. Neste trabalho, a construção de simulações é orientada pela narração de uma história interativa não linear e instanciada a partir de ontologias. A integração de história e ontologias pode facilitar a criação de diferentes modelos de simulações de treinamento sem a necessidade de programadores. As simulações de ambientes virtuais colaborativos a serem criados visam, inicialmente, treinamento de equipes no domínio de preparação e resposta a emergências. Porém novos domínios de aplicação podem ser concebidos ao integrarem-se novas ontologias. Para elaboração das ontologias, foram utilizadas normas de proteção contra incêndio e protocolos para realização de exercícios simulados, vigentes no Estado de São Paulo, além do apoio de profissionais especialistas (Corpo de Bombeiros de São Carlos). Um ambiente de criação de simulações está sendo desenvolvido como parte deste trabalho, bem como todo o processo de desenvolvimento e execução de uma simulação utilizando a arquitetura proposta. Um caso de uso (ocorrências de incêndio e explosão) foi elaborado para instanciação da simulação. Como resultados principais deste trabalho foram criadas uma arquitetura inovadora para a construção de simulações complexas e sete ontologias no domínio de emergência, que poderão ser usadas como ferramentas poderosas na criação de simulações de treinamento de profissionais da área de gerenciamento de emergência.
9
De, Grande Robson E. "Dynamic Load Balancing Schemes for Large-scale HLA-based Simulations." Thèse, Université d'Ottawa / University of Ottawa, 2012. http://hdl.handle.net/10393/23110.
Full textAbstract:
Dynamic balancing of computation and communication load is vital for the execution stability and performance of distributed, parallel simulations deployed on shared, unreliable resources of large-scale environments. High Level Architecture (HLA) based simulations can experience a decrease in performance due to imbalances that are produced initially and/or during run-time. These imbalances are generated by the dynamic load changes of distributed simulations or by unknown, non-managed background processes resulting from the non-dedication of shared resources. Due to the dynamic execution characteristics of elements that compose distributed simulation applications, the computational load and interaction dependencies of each simulation entity change during run-time. These dynamic changes lead to an irregular load and communication distribution, which increases overhead of resources and execution delays. A static partitioning of load is limited to deterministic applications and is incapable of predicting the dynamic changes caused by distributed applications or by external background processes. Due to the relevance in dynamically balancing load for distributed simulations, many balancing approaches have been proposed in order to offer a sub-optimal balancing solution, but they are limited to certain simulation aspects, specific to determined applications, or unaware of HLA-based simulation characteristics. Therefore, schemes for balancing the communication and computational load during the execution of distributed simulations are devised, adopting a hierarchical architecture. First, in order to enable the development of such balancing schemes, a migration technique is also employed to perform reliable and low-latency simulation load transfers. Then, a centralized balancing scheme is designed; this scheme employs local and cluster monitoring mechanisms in order to observe the distributed load changes and identify imbalances, and it uses load reallocation policies to determine a distribution of load and minimize imbalances. As a measure to overcome the drawbacks of this scheme, such as bottlenecks, overheads, global synchronization, and single point of failure, a distributed redistribution algorithm is designed. Extensions of the distributed balancing scheme are also developed to improve the detection of and the reaction to load imbalances. These extensions introduce communication delay detection, migration latency awareness, self-adaptation, and load oscillation prediction in the load redistribution algorithm. Such developed balancing systems successfully improved the use of shared resources and increased distributed simulations' performance.
10
Simão, Rivaldo do Ramos. "Estudo de resiliência em comunicação entre sistemas Multirrobôs utilizando HLA." Universidade Federal da Paraíba, 2016. http://tede.biblioteca.ufpb.br:8080/handle/tede/9284.
Full textAbstract:
Submitted by Fernando Souza (fernandoafsou@gmail.com) on 2017-08-21T12:31:22Z
No. of bitstreams: 1
arquivototal.pdf: 1454502 bytes, checksum: a03fd3df4d29b47b79ab2d8b0d3d9625 (MD5)<br>Made available in DSpace on 2017-08-21T12:31:22Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 1454502 bytes, checksum: a03fd3df4d29b47b79ab2d8b0d3d9625 (MD5)
Previous issue date: 2016-03-04<br>Cooperation in a multi robot system has become a challenge to be overcome and turned into
one of the biggest incentives for researchers in this area because communication appears
as one of the most important requirements. This study aims to investigate the feasibility of
using the distributed simulation environment called HLA (High-level Architecture) in the
process of communication between members of a system with three and five computers. It
simulates a multi-robot system in order to verify its behavior when one of them is replaced
for another with limited processing power. Thus, a new communication approach based on
HLA middleware was developed. In this approach, the robots adapt their transmission rate
according to the performance of other robots. The accomplished experiments have shown
that the real-time requirements of a robot soccer application have been achieved using this
approach. It points to a new possibility of real-time communication between robots. On
the exposed, in one experiment, a direct comparison was made between RTDB (Real-time
database) middleware and the approach presented. It was verified that, in some contexts, the
adaptive HLA is about 5 to 12 percent more efficient than RTDB.<br>A cooperação em um um sistema mutirrobôs tem se tornado um desafio a ser superado e
se transformado em um dos maiores incentivos para os pesquisadores desta área, pois a comunicação
se apresenta como um dos mais importantes requisitos. O objetivo deste trabalho
foi de investigar a viabilidade do uso do ambiente de simulação distribuída chamado de
HLA, no processo de comunicação entre membros de um sistema com três e cinco computadores,
simulando um sistema multirrobôs, de modo a verificar seu comportamento, quando
um deles é substituído por outro com poder de processamento reduzido. Assim, uma nova
abordagem de comunicação com base no middleware HLA foi desenvolvida. Nessa nova
abordagem, os robôs adaptam sua taxa de transmissão com base no desempenho de outros
robôs. Experimentos demonstraram que os requisitos de tempo real de uma aplicação de
futebol de robôs foram alcançados usando-se essa abordagem, o que aponta para uma nova
possibilidade de comunicação em tempo real entre robôs. Diante do exposto, em um dos
experimentos, foi feita uma comparação direta entre o middleware RTDB e a abordagem
apresentada. Constatou-se que o HLA adaptativo, em alguns cenários, é mais eficiente entre
5% e 12% do que o RTDB.
11
Negreiros, ângelo Lemos Vidal de. "Desenvolvimento e Avaliação de Simulação Distribuída para Projeto de Sistemas Embarcados com Ptolemy." Universidade Federal da Paraíba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/6106.
Full textAbstract:
Made available in DSpace on 2015-05-14T12:36:43Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 3740448 bytes, checksum: df44ddc74f1029976a1e1beb1c698bf6 (MD5)
Previous issue date: 2014-01-29<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Nowadays, embedded systems have a huge amount of computational power and consequently, high complexity. It is quite usual to find different applications being executed in embedded systems. Embedded system design demands for method and tools that allow the simulation and verification in an efficient and practical way. This paper proposes the development and evaluation of a solution for embedded modeling and simulation of heterogeneous Models of Computation in a distributed way by the integration of Ptolemy II and the High Level Architecture (HLA), a middleware for distributed discrete event simulation, in order to create an environment with high-performance execution of large-scale heterogeneous models. Experimental results demonstrated that the use of a non distributed simulation for some situations as well as the use of distributed simulation with few machines, like one, two or three computers can be infeasible. It was also demonstrated the feasibility of the integration of both technologies and so the advantages in its usage in many different scenarios. This conclusion was possible because the experiments captured some data during the simulation: execution time, exchanged data and CPU usage. One of the experiments demonstrated that a speedup of factor 4 was acquired when a model with 4,000 thousands actors were distributed in 8 different machines inside an experiment that used up to 16 machines. Furthermore, experiments have also shown that the use of HLA presents great advantages in fact, although with certain limitations.<br>Atualmente, sistemas embarcados têm apresentado grande poder computacional e consequentemente, alta complexidade. É comum encontrar diferentes aplicações sendo executadas em sistemas embarcados. O projeto de sistemas embarcados demanda métodos e ferramentas que possibilitem a simulação e a verificação de um modo eficiente e prático. Este trabalho propõe o desenvolvimento e a avaliação de uma solução para a modelagem e simulação de sistemas embarcados heterogêneos de forma distribuída, através da integração do Ptolemy II com o High Level Architecture (HLA), em que o último é um middleware para simulação de eventos discretos distribuídos. O intuito dessa solução é criar um ambiente com alto desempenho que possibilite a execução em larga escala de modelos heterogêneos. Os resultados dos experimentos demonstraram que o uso da simulação não distribuída para algumas situações assim como o uso da simulação distribuída utilizando poucas máquinas, como, uma, duas ou três podem ser inviável. Demonstrou-se também a viabilidade da integração das duas tecnologias, além de vantagens no seu uso em diversos cenários de simulação, através da realização de diversos experimentos que capturavam dados como: tempo de execução, dados trocados na rede e uso da CPU. Em um dos experimentos realizados consegue-se obter o speedup de fator quatro quando o modelo com quatro mil atores foi distribuído em oito diferentes computadores, em um experimento que utilizava até 16 máquinas distintas. Além disso, os experimentos também demonstraram que o uso do HLA apresenta grandes vantagens, de fato, porém com certas limitações.
12
Combettes, Stéphanie. "Contribution à la définition d'un cadre de conception des systèmes virtuels par l'utilisation conjointe de la simulation distribuée et des réseaux de Pétri." Toulouse 3, 2003. http://www.theses.fr/2003TOU30110.
Full text
13
Yates, James William. "TELEMETRY PROCESSING SYSTEMS DESIGN TRENDS." International Foundation for Telemetering, 1998. http://hdl.handle.net/10150/609213.
Full textAbstract:
International Telemetering Conference Proceedings / October 26-29, 1998 / Town & Country Resort Hotel and Convention Center, San Diego, California<br>Current changes in the way that large flight test systems are utilized have affected the industry’s methodology in both the early design phases and in the implementation of nextgeneration hardware and software. The reduction of available RF spectrum, the implementation of packet telemetry methods and systems, and a desire to implement commercial-off-the-shelf (COTS) hardware are only some of the considerations that telemetry systems integrators and product houses have to face. This paper describes how test methodology changes affect current large systems design at both government test ranges and at airframe/missile manufacturer test facilities. In addition, consideration is given to the area of increased processing power as it affects hardware and software design, the leveraging of such current and future telecommunications technology as network switch technology and compression, cross utilization, standardized technology, and the movement toward platform-independent software.
14
Melouk, Sharif. "Transportation system modeling using the High Level Architecture." Diss., Texas A&M University, 2003. http://hdl.handle.net/1969.1/440.
Full textAbstract:
This dissertation investigates the High Level Architecture (HLA) as a possible distributed simulation framework for transportation systems. The HLA is an object-oriented approach to distributed simulations developed by the Department of Defense (DoD) to handle the issues of reuse and interoperability of simulations. The research objectives are as follows: (1) determine the feasibility of making existing traffic management simulation environments HLA compliant; (2) evaluate the usability of existing HLA support software in the transportation arena; (3) determine the usability of methods developed by the military to test for HLA compliance on traffic simulation models; and (4) examine the possibility of using the HLA to create Internet-based virtual environments for transportation research. These objectives were achieved in part via the development of a distributed simulation environment using the HLA. Two independent traffic simulation models (federates) comprised the environment (federation). A CORSIM federate models a freeway feeder road with an on-ramp while an Arena federate models a tollbooth exchange.
15
Medhat, Saad Sabih Ahmed. "High level behavioural modelling of boundary scan architecture." Thesis, Bournemouth University, 1993. http://eprints.bournemouth.ac.uk/324/.
Full textAbstract:
This project involves the development of a software tool which enables the integration of the IEEE 1149.1/JTAG Boundary Scan Test Architecture automatically into an ASIC (Application Specific Integrated Circuit) design. The tool requires the original design (the ASIC) to be described in VHDL-IEEE 1076 Hardware Description Language. The tool consists of the two major elements: i) A parsing and insertion algorithm developed and implemented in 'C'; ii) A high level model of the Boundary Scan Test Architecture implemented in 'VHDL'. The parsing and insertion algorithm is developed to deal with identifying the design Input/Output (I/O) terminals, their types and the order they appear in the ASIC design. It then attaches suitable Boundary Scan Cells to each I/O, except power and ground and inserts the high level models of the full Boundary Scan Architecture into the ASIC without altering the design core structure.
16
Cetinkaya, Deniz. "A Metamodel For The High Level Architecture Object Model." Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12606429/index.pdf.
Full textAbstract:
The High Level Architecture (HLA), IEEE Std. 1516-2000, provides a general framework for distributed modeling and simulation applications, called federations. HLA focuses on interconnection of interacting simulations, called federates, with special emphasis on reusability and interoperability. An HLA object model, be it a simulation object model (SOM), a federation object model (FOM) or the management object model (MOM), describes the data exchanged during federation execution. This thesis introduces a metamodel for the HLA Object Model, fully accounting for IEEE Std. 1516.2. The metamodel is constructed with GME (Generic Modeling Environment), a meta-programmable tool for domain-specific modeling, developed at Vanderbilt University. GME generates a design environment for HLA object models having the HLA OM metamodel as input. This work can be regarded as a step for bringing model-integrated computing to bear on HLA-based distributed simulation.
17
Duncan, Andrew A. "High level synthesis for an area efficient datapath architecture." Thesis, University of Aberdeen, 1994. http://digitool.abdn.ac.uk/R?func=search-advanced-go&find_code1=WSN&request1=AAIU069038.
Full textAbstract:
The advances in integrated circuit fabrication technology, coupled with the emergence of independent silicon foundries, has made it commercially viable to fabricate low volume Application Specific Integrated Circuits (ASICs). However, given the complexity of such systems it is becoming uneconomical to <I>design</I> them using conventional computer aided design (CAD) techniques. One approach to solving the so called "design crisis" has been to develop design tools which can synthesise an entire silicon architecture from an algorithmic description of its functionality. Such systems are referred to as high level synthesis systems. Interconnect is a major cost in VLSI devices and its effects are difficult to estimate in high level synthesis. As such, many existing high level synthesis systems use quite weak interconnect estimation heuristics which lead to inefficient layout when the synthesised structure is mapped into the physical domain. The presented approach defines a partitioned target architecture and bit-sliced layout style which may virtually eliminate the need for global wiring and hence obviate the problem of interconnect estimation. The structural cost of the synthesised architecture is therefore more closely associated with the real physical cost when realised on chip. This target architecture is used as the basis for the CASS high level synthesis system which performs algorithmic behavioural synthesis for digital signal processing (DSP) applications. A detailed discussion of the algorithms in the CASS tools is given and presented area estimates show that significant area savings are attainable by using the defined architecture and layout style. The development of CASS inspired a successor system which performs high level synthesis in one global optimisation. COBRA performs synthesis by optimising a mapping of variable lifetimes in a three dimensional "datapath space" using the method of simulated annealing.
18
Adak, Bulent Mehmet. "Model-based Code Generation For The High Level Architecture Federates." Phd thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/3/12609032/index.pdf.
Full textAbstract:
We tackle the problem of automated code generation for a High Level Architecture (HLA)-
compliant federate application, given a model of the federation architecture including the
federate&rsquo<br>s behavior model. The behavior model is based on Live Sequence Charts (LSCs),
adopted as the behavioral specification formalism in the Federation Architecture Metamodel
(FAMM). The FAMM is constructed conforming to metaGME, the meta-metamodel offered
by Generic Modeling Environment (GME). FAMM serves as a formal language for
describing federation architectures. We present a code generator that generates Java/AspectJ
code directly from a federation architecture model. An objective is to help verify a federation
architecture by testing it early in the development lifecycle. Another objective is to help
developers construct complete federate applications. Our approach to achieve these
objectives is aspect-oriented in that the code generated from the LSC in conjunction with the
Federation Object Model (FOM) serves as the base code on which the computation logic is
weaved as an aspect.
19
Wagstaff, Harry. "From high level architecture descriptions to fast instruction set simulators." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/14162.
Full textAbstract:
As computer systems become increasingly complex and diverse, so too do the architectures they implement. This leads to an increase in complexity in the tools used to design new hardware and software. One particularly important tool in hardware and software design is the Instruction Set Simulator, which is used to prototype new architectures and hardware features, verify hardware, and test and debug software. Many Architecture Description Languages exist which facilitate the description of new architectural or hardware features, and generate a tools such as simulators. However, these typically suffer from poor performance, are difficult to test effectively, and may be limited in functionality. This thesis considers three objectives when developing Instruction Set Simulators: performance, correctness, and completeness, and presents techniques which contribute to each of these. Performance is obtained by combining Dynamic Binary Translation techniques with a novel analysis of high level architecture descriptions. This makes use of partial evaluation techniques in order to both improve the translation system, and to improve the quality of the translated code, leading a performance improvement of over 2.5x compared to a naïve implementation. This thesis also presents techniques which contribute to the correctness objective. Each possible behaviour of each described instruction is used to guide the generation of a test case. Constraint satisfaction techniques are used to determine the necessary instruction encoding and context for each behaviour to be produced. It is shown that this is a significant improvement over benchmark-driven testing, and this technique has led to the discovery of several bugs and inconsistencies in multiple state of the art instruction set simulators. Finally, several challenges in ‘Full System’ simulation are addressed, contributing to both the performance and completeness objectives. Full System simulation generally carries significant performance costs compared with other simulation strategies. Crucially, instructions which access memory require virtual to physical address translation and can now cause exceptions. Both of these processes must be correctly and efficiently handled by the simulator. This thesis presents novel techniques to address this issue which provide up to a 1.65x speedup over a state of the art solution.
20
Agamanolis, Stefan Panayiotis. "High-level scripting environments for interactive multimedia systems." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/29104.
Full text
21
Gupta, Pankaj. "RESOURCE-CONSTRAINT AND SCALABLE DATA DISTRIBUTION MANAGEMENT FOR HIGH LEVEL ARCHITECTURE." Doctoral diss., University of Central Florida, 2007. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/4345.
Full textAbstract:
In this dissertation, we present an efficient algorithm, called P-Pruning algorithm, for data distribution management problem in High Level Architecture. High Level Architecture (HLA) presents a framework for modeling and simulation within the Department of Defense (DoD) and forms the basis of IEEE 1516 standard. The goal of this architecture is to interoperate multiple simulations and facilitate the reuse of simulation components. Data Distribution Management (DDM) is one of the six components in HLA that is responsible for limiting and controlling the data exchanged in a simulation and reducing the processing requirements of federates. DDM is also an important problem in the parallel and distributed computing domain, especially in large-scale distributed modeling and simulation applications, where control on data exchange among the simulated entities is required. We present a performance-evaluation simulation study of the P-Pruning algorithm against three techniques: region-matching, fixed-grid, and dynamic-grid DDM algorithms. The P-Pruning algorithm is faster than region-matching, fixed-grid, and dynamic-grid DDM algorithms as it avoid the quadratic computation step involved in other algorithms. The simulation results show that the P-Pruning DDM algorithm uses memory at run-time more efficiently and requires less number of multicast groups as compared to the three algorithms. To increase the scalability of P-Pruning algorithm, we develop a resource-efficient enhancement for the P-Pruning algorithm. We also present a performance evaluation study of this resource-efficient algorithm in a memory-constraint environment. The Memory-Constraint P-Pruning algorithm deploys I/O efficient data-structures for optimized memory access at run-time. The simulation results show that the Memory-Constraint P-Pruning DDM algorithm is faster than the P-Pruning algorithm and utilizes memory at run-time more efficiently. It is suitable for high performance distributed simulation applications as it improves the scalability of the P-Pruning algorithm by several order in terms of number of federates. We analyze the computation complexity of the P-Pruning algorithm using average-case analysis. We have also extended the P-Pruning algorithm to three-dimensional routing space. In addition, we present the P-Pruning algorithm for dynamic conditions where the distribution of federated is changing at run-time. The dynamic P-Pruning algorithm investigates the changes among federates regions and rebuilds all the affected multicast groups. We have also integrated the P-Pruning algorithm with FDK, an implementation of the HLA architecture. The integration involves the design and implementation of the communicator module for mapping federate interest regions. We provide a modular overview of P-Pruning algorithm components and describe the functional flow for creating multicast groups during simulation. We investigate the deficiencies in DDM implementation under FDK and suggest an approach to overcome them using P-Pruning algorithm. We have enhanced FDK from its existing HLA 1.3 specification by using IEEE 1516 standard for DDM implementation. We provide the system setup instructions and communication routines for running the integrated on a network of machines. We also describe implementation details involved in integration of P-Pruning algorithm with FDK and provide results of our experiences.<br>Ph.D.<br>School of Electrical Engineering and Computer Science<br>Engineering and Computer Science<br>Computer Science PhD
22
Fross, Bradley K. "Splash-2 shared-memory architecture for supporting high level language compilers." Thesis, Virginia Tech, 1995. http://hdl.handle.net/10919/42064.
Full textAbstract:
<p>Modem computer technology has been evolving for nearly fifty years, and has seen many
architectural innovations along the way. One of the latest technologies to come about is
the reconfigurable processor-based custom computing machine (CCM). CCMs use field
programmable gate arrays (FPGAs) as their processing cores, giving them the flexibility
of software systems with performance comparable to that of dedicated custom hardware.
Hardware description languages are currently used to program CCMs. However, research
is being performed to investigate the use of high-level languages (HLLs), such as the C
programming language, to create CCM programs. Many aspects of CCM architectures,
such as local memory systems, are not conducive to HLL compiler usage. This thesis
proposes and evaluates the use of a shared-memory architecture on a Splash-2 CCM to
promote the development and usage of HLL compilers for CCM systems.</p><br>Master of Science
23
Roda, Fabio. "Integrating high-level requirements in optimization problems : theory and applications." Palaiseau, Ecole polytechnique, 2013. http://pastel.archives-ouvertes.fr/pastel-00817782.
Full textAbstract:
Nous utilisons, ensemble, l'Ingénierie Système et la Programmation mathématique pour intégrer les exigences de haut niveau dans des problèmes d'optimisation. Nous appliquons cette méthode à trois types différents de système. (1) Les Systèmes d'Information (SI), c. à. D. Les réseaux des ressources, matérielles, logicielles et utilisateurs, utilisés dans une entreprise, doivent fournir la base des projets qui sont lancés pour répondre aux besoins commerciaux/des affaires (business). Les SI doivent être capables d'évoluer au fil des remplacements d'une technologie par une autre. Nous proposons un modèle opérationnel et une formulation de programmation mathématique qui formalise un problème de priorisation qui se présente dans le contexte de l'évolution technologique d'un système d'information. (2) Les Recommender Systems (RS) sont un type de moteur de recherche dont l'objectif est de fournir des recommandations personnalisées. Nous considérons le problème du design des Recommender Systems dans le but de fournir de bonnes, intéressantes et précises suggestions. Le transport des matériaux dangereux entraine plusieurs problèmes liés aux conséquences écologiques des incidents possibles. (3) Le système de transport doit assurer le transport, pour l'élimination en sécurité des déchets dangereux, d'une façon telle que le risque des possibles incidents soit distribué d'une manière équitable parmi la population. Nous considérons et intégrons dans des formulations de programmation mathématique deux idées différentes d'équité<br>We mix Mathematical Programming (MP) and Systems Engineering (SE) modelling methods and integrate system-level requirements in optimization problems. We use MP, in the first phases of the design process, as a common methodology to model prototypes that fulfil high-level requirements, consistently with the holistic, top-down approach of SE. This approach is applied to three different kinds of system. (1)Information systems, i. E. The network of communication channels, hardware, software and trained people used within an enterprise to help planning and control, are required to provide a basis for numerous IT projects that are launched in order to respond to the needs of the business. The information system shall ensure profitable services and it shall be maintainable and extensible. We propose an operational model and a mathematical programming formulation expressing a generic global prioritization problem occurring in the context of a technological evolution of an information system. (2)Recommender systems (RS) are a kind of search engine and aim to provide personalized recommendations. We consider the problem of designing recommender systems in order to provide good, interesting and accurate suggestions. (3)The transportation of hazardous materials (hazmat) entails several issues due to the environmental consequences of possible accidents. The transportation system shall ensure safe disposal of hazardous waste in such a way that the risk of potential catastrophic accident is equitably distributed over the population. We consider and integrate in MP formulations two different ideas of equity
24
Allen, James D. "System level design issues for high performance SIMD architectures." Diss., Georgia Institute of Technology, 1996. http://hdl.handle.net/1853/15406.
Full text
25
Rauhut, Michael W. "Automating a study question methodology to enhance analysis in high level architecture." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1999. http://handle.dtic.mil/100.2/ADA368183.
Full textAbstract:
Thesis (M.S. in Operations Research) Naval Postgraduate School, June 1999.<br>"June 1999". Thesis advisor(s): Mary Callahan, Glenn Robinson. Includes bibliographical references (p. 111-112). Also available online.
26
Cheema, Fahad Islam. "High-Level Parallel Programming of Computation-Intensive Algorithms on Fine-Grained Architecture." Thesis, Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-2620.
Full textAbstract:
<p>Computation-intensive algorithms require a high level of parallelism and programmability, which </p><p>make them good candidate for hardware acceleration using fine-grained processor arrays. Using </p><p>Hardware Description Language (HDL), it is very difficult to design and manage fine-grained </p><p>processing units and therefore High-Level Language (HLL) is a preferred alternative. </p><p> </p><p>This thesis analyzes HLL programming of fine-grained architecture in terms of achieved </p><p>performance and resource consumption. In a case study, highly computation-intensive algorithms </p><p>(interpolation kernels) are implemented on fine-grained architecture (FPGA) using a high-level </p><p>language (Mitrion-C). Mitrion Virtual Processor (MVP) is extracted as an application-specific </p><p>fine-grain processor array, and the Mitrion development environment translates high-level design </p><p>to hardware description (HDL). </p><p> </p><p>Performance requirements, parallelism possibilities/limitations and resource requirement for </p><p>parallelism vary from algorithm to algorithm as well as by hardware platform. By considering </p><p>parallelism at different levels, we can adjust the parallelism according to available hardware </p><p>resources and can achieve better adjustment of different tradeoffs like gates-performance and </p><p>memory-performance tradeoffs. This thesis proposes different design approaches to adjust </p><p>parallelism at different design levels. For interpolation kernels, different parallelism levels and </p><p>design variants are proposed, which can be mixed to get a well-tuned application and resource </p><p>specific design.</p>
27
List, Robert S. "A rendering system independent high level architecture implementation for networked virtual environments." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FList.pdf.
Full textAbstract:
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2002.<br>Thesis advisor(s): Rudolph P. Darken, Joseph A. Sullivan. Includes bibliographical references (p. 53-54). Also available online.
28
Liles, Stewart W. "Dynamically extending a networked virtual environment using Bamboo and the high level architecture." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1998. http://handle.dtic.mil/100.2/ADA354468.
Full textAbstract:
Thesis (M.S. in Modeling, Virtual Environments and Simulation (MOVES))--Naval Postgraduate School, September 1998.<br>Thesis advisor(s): Michael Zyda, Rudy Darken. "September 1998." Includes bibliographical references (p. 77). Also available online.
29
Subramanian, Visvanathan. "Configurable Architecture for System-Level Prototyping of High-Speed Embedded Wireless Communication Systems." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/34001.
Full textAbstract:
Broadband wireless technologies have the potential to provide integrated data and multimedia services in several niche areas. There is a growing need to develop high-performance communication systems that can satisfy high-end data processing requirements inherent in these technologies. The speed and complexity of these systems necessitates designers to break away from traditional architectures and design methodologies. A more comprehensive and demanding design and verification process including both hardware and software is required. Field-programmable gate arrays (FPGA) offer an attractive alternative to the low efficiency of Digital Signal Processor (DSP) based systems and low flexibility of Application Specific Integrated Circuits(ASIC). The availability of high-density, high-performance field-programmable gate arrays with several capabilities, like embedded memory and advanced routing, together with the adaptability that they offer make them highly desirable for developing hardware prototypes of communication systems.
This thesis describes the development of a configurable architecture and FPGA-based design methodology used in the development of a Local Multipoint Distribution Service (LMDS) gateway for a disaster response network. The design of the gateway posed several challenges due to high data rates (120 Mbits/sec) and adaptive features like variable Forward Error Correction Coding and optional link-level retransmissions. The design decisions and simulation results of the verification process are discussed in detail. Finally, the aspects of testing and integration of the prototype in the overall system are discussed.<br>Master of Science
30
HUANG, RENQIU. "PHYSICAL AWARE HIGH LEVEL SYNTHESIS AND INTERCONNECT FOR FPGAs." University of Cincinnati / OhioLINK, 2006. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1147616884.
Full text
31
Ye, Haixiong. "Impact des transformations algorithmiques sur la synthèse de haut niveau : application au traitement du signal et des images." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01061200.
Full textAbstract:
La thèse porte sur l'impact d'optimisations algorithmiques pour la synthèse automatique HLS pour ASIC. Ces optimisations algorithmiques sont des transformations de haut niveau, qui de part leur nature intrinsèque restent hors de porter des compilateurs modernes, même les plus optimisants. Le but est d'analyser l'impact des optimisations et transformations de haut niveau sur la surface, la consommation énergétique et la vitesse du circuit ASIC. Les trois algorithmes évalués sont les filtres non récursifs, les filtres récursifs et un algorithme de détection de mouvement. Sur chaque exemple, des gains ont été possibles en vitesse et/ou en surface et/ou en consommation. Le gain le plus spectaculaire est un facteur x12.6 de réduction de l'énergie tout en maitrisant la surface de synthèse et en respectant la contrainte d'exécution temps réel. Afin de mettre en perspective les résultats (consommation et vitesse), un benchmark supplémentaire a été réalisé sur un microprocesseur ST XP70 avec extension VECx, un processeur ARM Cortex avec extension Neon et un processeur Intel Penryn avec extensions SSE.
32
Dai, Bowei. "High Level Modeling and Planning ofWireless Sensor Network : Preliminary Study towards the Service Oriented Architecture." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-108082.
Full textAbstract:
Nowadays, wireless sensor network (WSN) is becoming popular in various fields of different industries along with the rapid development of hardware and software. Whereas more and more WSN applications come into use has make it difficult for consumers especially those who do not have professional knowledge to use. So it is urgently necessary and significant to offer services which do not need professional knowledge to satisfy consumers’ requirements from the users’ point of view. Therefore, service oriented architecture (SOA) is introduced as a method to do our research from the users’ point of view. After asimple overall introduction of WSN which include the system architecture, hardware, software and supported technologies, we pay our emphasis on the power consumption modeling for WSN and get some formulations following the operation cycle. Last but not least, SOA method is analyzed and some SOA based WSN applications are introduced as examples to further understand of SOA based WSN for readers.
33
Daniluk, Damian. "Emulation mit der High Level Architecture : Ein Konzept zur Kopplung von multiagentenbasierten Steuerungssystemen und Materialflusssimulatoren /." Saarbrücken : VDM Verlag Dr. Müller, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2996227&prov=M&dok_var=1&dok_ext=htm.
Full text
34
RAPPEL, REBECCA SANTOS SOUZA. "DEMOLAN: A TOOL TO DESCRIBE AND SIMULATE THE ARCHITECTURE OF HIGH LEVEL LANGUAGES ORIENTED COMPUTERS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1992. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14351@1.
Full textAbstract:
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>FUNDAÇÃO DE APOIO À PESQUISA DO ESTADO DO RIO DE JANEIRO<br>DEMOLAN (Descrição de Máquinas Orientadas para Linguagem de Alto Nível) é uma ferramenta para avaliação de arquiteturas de computadores a nível de concepção. O projetista não só verifica se o projeto está correto, mas também tem a facilidade de experimentar uma série de alternativas de projeto. DEMOLAN além de ser uma linguagem para a especificação e descrição de arquiteturas de computadores orientados para linguagens de alto nível, é também um compilador que permite gerar um simulador da arquitetura descrita na linguagem DEMOLAN. A comprovação do funcionamento do sistema DEMOLAN foi feito a partir da descrição de três estilos diversos de arquiteturas: SECD (uma máquina orientadora para o LISP), PLM (uma máquina orientadora para o PROLOG) e SPLM (uma máquina orientadora para a linguagem Student-PL).<br>DEMOLAN (Description of Hight-Level Language Oriented Machines) is a tool for computer architecture evaluation at a conception level. The user not only verifies the design, but also is able to try anternative project. DEMOLAN is a language for high-level language computer especification and description, and also a compiler that enables the creation of an architecture sumilator. To demontrate the DEMOLAN system, three diferent styles of architecture were described: SECD (a LISP oriented machine), PLM (a prolong oriented machine) and SPLM (a Student-PL language oriented machine).
35
Young, Stephen Alexander. "Multi-level Control Architecture and Energy Efficient Docking for Cooperative Unmanned Air Vehicles." Thesis, Virginia Tech, 2011. http://hdl.handle.net/10919/31192.
Full textAbstract:
In recent years, significant progress has been made in improving the performance of unmanned air vehicles in terms of aerodynamic performance, endurance, autonomy, and the capability of on-board sensor packages. UAVs are now a vital part of both military actions and scientific research efforts. One of the newest classes of UAV is the high altitude long endurance or HALE UAV. This thesis considers the high-level control problem for a unique HALE mission involving cooperative solar
powered UAVs. Specifically addressed is energy efficient path planning for vehicles that physically link together in flight to form a larger, more energy efficient HALE vehicle.
Energy efficient docking is developed for the case of multiple vehicles at high altitude with negligible wind. The analysis considers a vehicle governed by a kinematic motion model with bounded turn rate in planar constant altitude flight. Docking is demonstrated using a platform-in-the-loop simulator which was developed to allow virtual networked vehicles to perform decentralized path planning and estimation of all vehicle states. Vehicle behavior is governed by a status which is commanded by a master computer and communication between vehicles is intermittent depending on each vehicleâ s assessment of situational awareness. Docking results in a larger vehicle that consumes energy at 21% of the rate of an individual vehicle and increases vehicle range by a factor of three without considering solar recharging.<br>Master of Science
36
Li, Wentong. "High Performance Architecture using Speculative Threads and Dynamic Memory Management Hardware." Thesis, University of North Texas, 2007. https://digital.library.unt.edu/ark:/67531/metadc5150/.
Full textAbstract:
With the advances in very large scale integration (VLSI) technology, hundreds of billions of transistors can be packed into a single chip. With the increased hardware budget, how to take advantage of available hardware resources becomes an important research area. Some researchers have shifted from control flow Von-Neumann architecture back to dataflow architecture again in order to explore scalable architectures leading to multi-core systems with several hundreds of processing elements. In this dissertation, I address how the performance of modern processing systems can be improved, while attempting to reduce hardware complexity and energy consumptions. My research described here tackles both central processing unit (CPU) performance and memory subsystem performance. More specifically I will describe my research related to the design of an innovative decoupled multithreaded architecture that can be used in multi-core processor implementations. I also address how memory management functions can be off-loaded from processing pipelines to further improve system performance and eliminate cache pollution caused by runtime management functions.
37
Jervan, Gert. "High-Level Test Generation and Built-In Self-Test Techniques for Digital Systems." Licentiate thesis, Linköping : Univ, 2002. http://www.ep.liu.se/lic/science_technology/09/73/index.html.
Full text
38
Kapolka, Andrzej. "The extensible run-time infrastructure (XRTI) : an experimental implementation of proposed improvements to the high level architecture." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Dec%5FKapolka.pdf.
Full textAbstract:
Thesis (M.S. in Modeling, Virtual Environments and Simulation)--Naval Postgraduate School, December 2003.<br>Thesis advisor(s): Michael Zyda, Bret Michael. Includes bibliographical references (p. 111-114). Also available online.
39
Hurdus, Jesse Gutierrez. "A Portable Approach to High-Level Behavioral Programming for Complex Autonomous Robot Applications." Thesis, Virginia Tech, 2008. http://hdl.handle.net/10919/32387.
Full textAbstract:
Research in mobile robotics, unmanned systems, and autonomous man-portable vehicles has grown rapidly over the last decade. This push has taken the problems of robot cognition and behavioral control out of the lab and into the field. Two good examples of this are the DARPA Urban Challenge autonomous vehicle race and the RoboCup robot soccer competition. In these challenges, a mobile robot must be capable of completing complex, sophisticated tasks in a dynamic, partially observable and unpredictable environment. Such conditions necessitate a behavioral programming approach capable of performing high-level action selection in the presence of multiple goals of dynamically changing importance, and noisy, incomplete perception data.
In this thesis, an approach to behavioral programming is presented that provides the designer with an intuitive method for building contextual intelligence while preserving the qualities of emergent behavior present in traditional behavior-based programming. This is done by using a modified hierarchical state machine for behavior arbitration in sequence with a command fusion mechanism for cooperative and competitive control. The presented approach is analyzed with respect to portability across platforms, missions, and functional requirements. Specifically, two landmark case-studies, the DARPA Urban Challenge and the International RoboCup Competition are examined.<br>Master of Science
40
Lesmeister, Micah, and Theodore Elhourani. "AN OPEN ARCHITECTURE AND MIDDLEWARE FOR COLLECTIVE ROBOT TEAMS." International Foundation for Telemetering, 2004. http://hdl.handle.net/10150/605783.
Full textAbstract:
International Telemetering Conference Proceedings / October 18-21, 2004 / Town & Country Resort, San Diego, California<br>In this paper we propose an open multi-robot architecture that dramatically reduces the time to deployment and increases the utility value to the mainstream non-technical user. We describe a multi-robot behavior-based coordination architecture and argue its suitability in the context of general-purpose robot teams operating in dynamic and unpredictable environments. We then formalize and describe a command fusion module for the coordination of high-level behaviors of the system. The command fusion module is interfaced to our middle-ware/compiler that generates behavior selection tips from a user specified abstract description of a scenario. Finally, we utilize an example search and rescue scenario to illustrate the overall process and give preliminary results of the experiments performed on actual robots.
41
Pohlman, Lukas. "Implementation av centraliserad Multihop Routing med High Level Architecture : En empirisk undersökning av kontextspecifika heuristiker för effektiv grafsökning." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-174925.
Full textAbstract:
I detta arbete har en trådad simulator tagits fram enligt standarden High Level Architecture (HLA). Simulatorn är kapabel att avgöra den kortaste vägen från alla noder till alla andra noder i ett radionätverk med 200 noder på i genomsnitt 263 millisekunder. Tidigare var det endast möjligt att simulera kommunikation mellan två noder i ett nätverk som hade direkt förbindelse med varandra. I och med detta tillägg kan kommunikationssignalen reläas fram genom nätverket om en direkt förbindelse inte är möjlig. Simulatorn, eller federatet som det kallas i HLA, bygger på en centraliserad routingalgoritm och kan konfigureras till att beräkna specifika vägar på begäran alternativt beräkna alla möjliga vägar genom nätverket utan att någon efterfrågan behövs. Simulatorn använder sig av en A*-algoritm som kan använda en av två heuristiker där den ena heuristiken tar fram den kortaste vägen mellan två noder i nätverket och den andra heuristiken tar fram den väg med bäst signalkvalitet mellan två noder.<br>This paper presents a threaded simulator designed according to the standard High Level Architecture (HLA). The simulator is capable of determining the shortest path from all nodes to all other nodes in a radio network with 200 nodes in 263 milliseconds on average. It was previously only possible to simulate communication between two nodes which had direct connection. As of this addition, the communication can be relayed through other nodes in the network if direct connection is not possible. The simulator, or federate as it is called in HLA, implements a centralised routing algorithm and can be configured to find specific paths on the basis of requests alternatively find all paths through the network without the need for any request. The simulator uses an A* (A-star) algorithm which can use one of two heuristics, one of which returns the shortest path and the other returns the path with the best signal quality.
42
Park, Jaebok. "A FRAMEWORK TO MODEL COMPLEX SYSTEMS VIA DISTRIBUTED SIMULATION – A CASE STUDY OF THE VIRTUAL TEST BED SIMULATION SYSTEM US." Doctoral diss., University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2339.
Full textAbstract:
As the size, complexity, and functionality of systems we need to model and simulate con-tinue to increase, benefits such as interoperability and reusability enabled by distributed discrete-event simulation are becoming extremely important in many disciplines, not only military but also many engineering disciplines such as distributed manufacturing, supply chain management, and enterprise engineering, etc. In this dissertation we propose a distributed simulation framework for the development of modeling and the simulation of complex systems. The framework is based on the interoperability of a simulation system enabled by distributed simulation and the gateways which enable Com-mercial Off-the-Shelf (COTS) simulation packages to interconnect to the distributed simulation engine. In the case study of modeling Virtual Test Bed (VTB), the framework has been designed as a distributed simulation to facilitate the integrated execution of different simulations, (shuttle process model, Monte Carlo model, Delay and Scrub Model) each of which is addressing differ-ent mission components as well as other non-simulation applications (Weather Expert System and Virtual Range). Although these models were developed independently and at various times, the original purposes have been seamlessly integrated, and interact with each other through Run-time Infrastructure (RTI) to simulate shuttle launch related processes. This study found that with the framework the defining properties of complex systems - interaction and emergence – are realized and that the software life cycle models (including the spiral model and prototyping) can be used as metaphors to manage the complexity of modeling and simulation of the system. The system of systems (a complex system is intrinsically a "system of systems") continuously evolves to accomplish its goals, during the evolution subsystems co-ordinate with one another and adapt with environmental factors such as policies, requirements, and objectives. In the case study we first demonstrate how the legacy models developed in COTS simulation languages/packages and non-simulation tools can be integrated to address a compli-cated system of systems. We then describe the techniques that can be used to display the state of remote federates in a local federate in the High Level Architecture (HLA) based distributed simulation using COTS simulation packages.<br>Ph.D.<br>Other<br>Engineering and Computer Science<br>Modeling and Simulation
43
Alghamdi, Turki. "Enhancing Load Balancing Efficiency Based on Migration Delay for Distributed Virtual Simulations." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/32558.
Full textAbstract:
Load management is an essential and important factor for distributed simulations running on shared resources due to load imbalances that can caused considerable performance loss. High Level Architecture (HLA) -based simulation is a framework that works to facilitate the design and management of distributed simulations. HLA coordinates the interaction between simulation entities (federates). However, HLA-based simulation standards do not present the ability to manage resources or help detect load imbalances that could directly cause decrease of performance. Focusing on this constraint, a migration-aware dynamic balancing system has been designed for HLA simulations to offer an efficient load-balancing scheme that works in large-scale environments. This system presents some limitations on estimating costs and benefits, so we propose an enhancement to this existing load balancing system, which improves the accuracy of estimating the number of migrations for the next load redistribution. The proposed scheme detects the load imbalances by evaluating the recourses overhead. The scheme classifies the recourses based on the overhead as overloaded and underloaded, followed by matching the highest overloaded recourses with the lowest underloaded recourses. Furthermore, the proposed scheme aims to precisely estimate the number of migrations by evaluating and analyzing the recourses to obtain the best number of migrations. Therefore, certain migrations that do not contribute to an improvement in the simulation performance are avoided. This avoidance is based on comparing time delay and time gain. Moreover, to be considered for migration, the overall sum of the time gains should be larger than the overall sum of the time delays. The proposed scheme has shown an improvement on decreasing the execution time.
44
Ishebabi, Harold. "Architecture synthesis for adaptive multiprocessor systems on chip." Phd thesis, Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4131/.
Full textAbstract:
This thesis presents methods for automated synthesis of flexible chip multiprocessor systems from parallel programs targeted at FPGAs to exploit both task-level parallelism and architecture customization. Automated synthesis is necessitated by the complexity of the design space. A detailed description of the design space is provided in order to determine which parameters should be modeled to facilitate automated synthesis by optimizing a cost function, the emphasis being placed on inclusive modeling of parameters from application, architectural and physical subspaces, as well as their joint coverage in order to avoid pre-constraining the design space. Given a parallel program and a set of an IP library, the automated synthesis problem is to simultaneously (i) select processors (ii) map and schedule tasks to them, and (iii) select one or several networks for inter-task communications such that design constraints and optimization objectives are met. The research objective in this thesis is to find a suitable model for automated synthesis, and to evaluate methods of using the model for architectural optimizations. Our contributions are a holistic approach for the design of such systems, corresponding models to facilitate automated synthesis, evaluation of optimization methods using state of the art integer linear and answer set programming, as well as the development of synthesis heuristics to solve runtime challenges.<br>Aktuelle Technologien erlauben es komplexe Multiprozessorsysteme auf einem Chip mit Milliarden von Transistoren zu realisieren. Der Entwurf solcher Systeme ist jedoch zeitaufwendig und schwierig. Diese Arbeit befasst sich mit der Frage, wie On-Chip Multiprozessorsysteme ausgehend von parallelen Programmen automatisch synthetisiert werden können. Die Implementierung der Multiprozessorsysteme auf rekonfigurierbaren Chips erlaubt es die gesamte Architektur an die Struktur eines vorliegenden parallelen Programms anzupassen. Auf diese Weise ist es möglich die aktuellen technologischen Unzulänglichkeiten zu umgehen, insbesondere die nicht weitersteigende Taktfrequenzen sowie den langsamen Zugriff auf Datenspeicher.
Eine Automatisierung des Entwurfs von Multiprozessorsystemen ist notwendig, da der Entwurfsraum von Multiprozessorsystemen zu groß ist, um vom Menschen überschaut zu werden.
In einem ersten Ansatz wurde das Syntheseproblem mittels linearer Gleichungen modelliert, die dann durch lineare Programmierungswerkzeuge gelöst werden können. Ausgehend von diesem Ansatz wurde untersucht, wie die typischerweise langen Rechenzeiten solcher Optimierungsmethoden durch neuere Methode aus dem Gebiet der Erfüllbarkeitsprobleme der Aussagenlogik minimiert werden können. Dabei wurde die Werkzeugskette Potassco verwendet, in der lineare Programme direkt in Logikprogramme übersetzt werden können. Es wurde gezeigt, dass dieser zweite Ansatz die Optimierungszeit um bis zu drei Größenordnungen beschleunigt. Allerdings lassen sich große Syntheseprobleme auf diese weise wegen Speicherbegrenzungen nicht lösen.
Ein weiterer Ansatz zur schnellen automatischen Synthese bietet die Verwendung von Heuristiken. Es wurden im Rahmen diese Arbeit drei Heuristiken entwickelt, die die Struktur des vorliegenden Syntheseproblems ausnutzen, um die Optimierungszeit zu minimieren. Diese Heuristiken wurden unter Berücksichtigung theoretischer Ergebnisse entwickelt, deren Ursprung in der mathematische Struktur des Syntheseproblems liegt. Dadurch lassen sich optimale Architekturen in kurzer Zeit ermitteln.
Die durch diese Dissertation offen gewordene Forschungsarbeiten sind u. a. die Berücksichtigung der zeitlichen Reihenfolge des Datenaustauschs zwischen parallelen Tasks, die Optimierung des logik-basierten Ansatzes, die Integration von Prozessor- und Netzwerksimulatoren zur funktionalen Verifikation synthetisierter Architekturen, sowie die Entwicklung geeigneter Architekturkomponenten.
45
Oliveira, Thiago José Silva. "Um Ambiente para Simulação e Testes de Comunicação entre Multi-Robôs através de Cossimulação." Universidade Federal da Paraíba, 2016. http://tede.biblioteca.ufpb.br:8080/handle/tede/9286.
Full textAbstract:
Submitted by Fernando Souza (fernandoafsou@gmail.com) on 2017-08-21T13:50:24Z
No. of bitstreams: 1
arquivototal.pdf: 2220137 bytes, checksum: 5d830e5d1ba6396c3e9ff56a19b08deb (MD5)<br>Made available in DSpace on 2017-08-21T13:50:24Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 2220137 bytes, checksum: 5d830e5d1ba6396c3e9ff56a19b08deb (MD5)
Previous issue date: 2016-02-26<br>Multi-Robot System (MRS) consisting of multiple interacting robots, each running a specific control strategy, which is not driven centrally. Technical challenges arise from the need to develop complex, software-intensive products that take the constraints of the physical world into account. Make tools, methodologies and teams from different fields can work together is not an easy task to accomplish. Co-simulation represents on technique of validation in heterogeneous systems. Its fundamental principle is to provide support to execute different simulators in a cooperative way. A known standard is the High Level Architecture (HLA) that is a pattern described in IEEE 1516 series and has been developed to provide a common architecture to distributed model and simulation. Using HLA, several simulators and real applications could be simulated together. That way, this work presents a project for Multi-Robot Systems (SMR) simulation using ROS co-simulation with a network simulator, the OMNeT++, using HLA. The main goal is make the simulations more realistic, where the data exchange will be performed by using a simulated network, as if we had real robots interacting through a conventional network. To this end, an interface was developed between ROS and OMNeT++ using HLA. Experiments demonstrate that the packet losses were correctly simulated, adding realism to simulations.<br>Sistemas Multi-Robôs (SMR) consistem em múltiplos robôs interagindo, cada um executando uma estratégia de controle específica, que não é conduzida de forma centralizada. Alguns desafios surgiram da necessidade de desenvolver produtos que levem o mundo real em consideração. Fazer com que ferramentas, metodologias e equipes de diferentes áreas possam trabalhar juntas não é uma tarefa simples de ser realizada. Cossimulação representa uma técnica para validação de sistemas heterogêneos. Seu princípio fundamental é prover suporte à execução de diferentes simuladores de forma cooperativa. Um dos padrões para tal é conhecido como High Level Architecture (HLA), que é um padrão descrito no IEEE 1516 e tem sido desenvolvido para dispor uma arquitetura para modelagem e simulação distribuídos. Utilizando HLA, vários simuladores e aplicações reais podem ser simulados juntos. Sendo assim, este trabalho apresenta um projeto para simulação de Sistemas Multi-Robôs (SMR) utilizando ROS cossimulado com um simulador de redes de computadores, o OMNeT++ através do HLA. Seu principal objetivo é tornar as simulações mais próximas da realidade, onde os dados irão ser trocados através de uma rede simulada, como se tivéssemos robôs reais interagindo através de uma rede convencional. Para tal, foi desenvolvida a interface entre o ambiente ROS e o OMNeT++ com o HLA. Experimentos demonstraram que a perda de pacotes foi simulada corretamente, adicionando ao ambiente mais realismo
46
Gupta, Vishakha. "Coordinated system level resource management for heterogeneous many-core platforms." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42750.
Full textAbstract:
A challenge posed by future computer architectures is the efficient exploitation of their many and sometimes
heterogeneous computational cores. This challenge is exacerbated by the multiple facilities for data movement
and sharing across cores resident on such platforms. To answer the question of how systems software should treat heterogeneous
resources, this dissertation describes an approach that (1) creates a common manageable pool for all the
resources present in the platform, and then (2) provides virtual machines (VMs) with multiple `personalities',
flexibly mapped to and efficiently run on the heterogeneous underlying hardware. A VM's personality is its execution
context on the different types of available processing resources usable by the VM. We provide mechanisms for
making such platforms manageable and evaluate coordinated scheduling policies for mapping different VM personalities on
heterogeneous hardware.
Towards that end, this dissertation contributes technologies that include
(1) restructuring hypervisor and system functions to create high performance environments that enable flexibility
of execution and data sharing,
(2) scheduling and other resource management infrastructure for supporting diverse application needs and
heterogeneous platform characteristics, and
(3) hypervisor level policies to permit efficient and coordinated resource usage and sharing.
Experimental evaluations on multiple heterogeneous platforms, like one comprised of x86-based cores with attached
NVIDIA accelerators and others with asymmetric elements on chip,
demonstrate the utility of the approach and its ability to efficiently host diverse applications
and resource management methods.
47
Sartipi, Kamran. "Software Architecture Recovery based on Pattern Matching." Thesis, University of Waterloo, 2003. http://hdl.handle.net/10012/1122.
Full textAbstract:
Pattern matching approaches in reverse engineering aim to incorporate domain knowledge and system documentation in the software architecture extraction process, hence provide a user/tool collaborative environment for architectural design recovery. This thesis presents a model and an environment for recovering the high level design of legacy software systems based on user defined architectural patterns and graph matching techniques.
In the proposed model, a high-level view of a software system in terms of the system components and their interactions is represented as a query, using a description language. A query is mapped onto a pattern-graph, where a module and its interactions with other modules are represented as a group of graph-nodes and a group of graph-edges, respectively. Interaction constraints can be modeled by the description language as a part of the query. Such a pattern-graph is applied against an entity-relation graph that represents the information extracted from the source code of the software system. An approximate graph matching process performs a series of graph edit operations (i. e. , node/edge insertion/deletion) on the pattern-graph and uses a ranking mechanism based on data mining association to obtain a sub-optimal solution. The obtained solution corresponds to an extracted architecture that complies with the given query.
An interactive prototype toolkit implemented as part of this thesis provides an environment for architecture recovery in two levels. First the system is decomposed into a number of subsystems of files. Second each subsystem can be decomposed into a number of modules of functions, datatypes, and variables.
48
Hill, Maxwell G. G. "An Advanced Commanding and Telemetry System." International Foundation for Telemetering, 1990. http://hdl.handle.net/10150/613760.
Full textAbstract:
International Telemetering Conference Proceedings / October 29-November 02, 1990 / Riviera Hotel and Convention Center, Las Vegas, Nevada<br>The Loral Instrumentation System 500 configured as an Advanced Commanding and Telemetry System (ACTS) supports the acquisition of multiple telemetry downlink streams, and simultaneously supports multiple uplink command streams for today’s satellite vehicles. By using industry and federal standards, the system is able to support, without relying on a host computer, a true distributed dataflow architecture that is complemented by state-of-the-art RISC-based workstations and file servers.
49
Silva, Junior José Cláudio Vieira e. "Verificação de Projetos de Sistemas Embarcados através de Cossimulação Hardware/Software." Universidade Federal da Paraíba, 2015. http://tede.biblioteca.ufpb.br:8080/handle/tede/7856.
Full textAbstract:
Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2016-02-16T14:54:49Z
No. of bitstreams: 1
arquivovotal.pdf: 4473573 bytes, checksum: 152c2f0d263c50dcbea7d500d5f7f5da (MD5)<br>Made available in DSpace on 2016-02-16T14:54:49Z (GMT). No. of bitstreams: 1
arquivovotal.pdf: 4473573 bytes, checksum: 152c2f0d263c50dcbea7d500d5f7f5da (MD5)
Previous issue date: 2015-08-17<br>Este trabalho propõe um ambiente para verificação de sistemas embarcados heterogêneos
através da cossimulação distribuída. A verificação ocorre de maneira síncrona entre o
software do sistema e o sistema embarcado usando a High Level Architecture (HLA) como
middeware. A novidade desta abordagem não é apenas fornecer suporte para simulações,
mas também permitir a integração sincronizada com todos os dispositivos de hardware
físico. Neste trabalho foi utilizado o Ptolemy como uma plataforma de simulação. A
integração do HLA com Ptolemy e os modelos de hardware abre um vasto conjunto de
aplicações, como o de teste de vários dispositivos ao mesmo tempo, executando os mesmos,
ou diferentes aplicativos ou módulos, a execução de multiplos dispositivos embarcados para
a melhoria de performance. Além disso a abordagem de utilização do HLA, permite que
sejam interligados ao ambiente, qualquer tipo de robô, assim como qualquer outro simulador
diferente do Ptolemy. Estudo de casos são apresentado para provar o conceito, mostrando
a integração bem sucedida entre o Ptolemy e o HLA e a verificação de sistemas utilizando
Hardware-in-the-loop e Robot-in-the-loop.<br>This work proposes an environment for verification of heterogeneous embedded systems
through distributed co-simulation. The verification occurs in real-time co-simulating the
system software and hardware platform using the High Level Architecture (HLA) as a
middleware. The novelty of this approach is not only providing support for simulations,
but also allowing the synchronous integration with any physical hardware devices. In this
work we use the Ptolemy framework as a simulation platform. The integration of HLA
with Ptolemy and the hardware models open a vast set of applications, like the test of many
devices at the same time, running the same, or different applications or modules, the usage
of Ptolemy for real-time control of embedded systems and the distributed execution of
different embedded devices for performance improvement. Furthermore the use of HLA
approach allows them to be connected to the environment, any type of robot, as well as
any other Ptolemy simulations. Case studies are presented to prove the concept, showing
the successful integration between Ptolemy and the HLA and verification systems using
Hardware-in-the-loop and Robot-in-the-loop.
50
Chiluvuri, Nayana Teja. "A Trusted Autonomic Architecture to Safeguard Cyber-Physical Control Leaf Nodes and Protect Process Integrity." Thesis, Virginia Tech, 2015. http://hdl.handle.net/10919/56572.
Full textAbstract:
Cyber-physical systems are networked through IT infrastructure and susceptible to malware. Threats targeting process control are much more safety-critical than traditional computing systems since they jeopardize the integrity of physical infrastructure. Existing defence mechanisms address security at the network nodes but do not protect the physical infrastructure if network integrity is compromised. An interface guardian architecture is implemented on cyber-physical control leaf nodes to maintain process integrity by enforcing high-level safety and stability policies.
Preemptive detection schemes are implemented to monitor process behavior and anticipate malicious activity before process safety and stability are compromised. Autonomic properties are employed to automatically protect process integrity by initiating switch-over to a verified backup controller. Subsystems adhere to strict trust requirements safeguarding them from adversarial intrusion. The preemptive detection schemes, switch-over logic, backup controller, and process communication are all trusted components that are separated from the untrusted production controller.
The proposed architecture is applied to a rotary inverted pendulum experiment and implemented on a Xilinx Zynq-7000 configurable SoC. The leaf node implementation is integrated into a cyber-physical control topology. Simulated attack scenarios show strengthened resilience to both network integrity and reconfiguration attacks. Threats attempting to disrupt process behavior are successfully thwarted by having a backup controller maintain process stability. The system ensures both safety and liveness properties even under adversarial conditions.<br>Master of Science