981 resultados para Embedded systems
Resumo:
Diseo e implementacin de un prototipo de vehculo controlado mediante conexin inalmbrica Wi-Fi basado en sistemas empotrados.
Resumo:
En lactualitat, els sistemes electrnics de processament de dades sn cada cop ms significatius dins del sector industrial. Sn moltes les necessitats que sorgeixen en el mn dels sistemes dautentificaci, de lelectrnica aeronutica, dequips demmagatzemament de dades, de telecomunicacions, etc. Aquestes necessitats tecnolgiques exigeixen ser controlades per un sistema fiable, robust, totalment dependent amb els esdeveniments externs i que compleixi correctament les restriccions temporals imposades per tal de que realitzi el seu propsit duna manera eficient. Aqu s on entren en joc els sistemes encastats en temps real, els quals ofereixen una gran fiabilitat, disponibilitat, una rpida resposta als esdeveniments externs del sistema, una alta garantia de funcionament i una mplia possibilitat daplicacions. Aquest projecte est pensat per a fer una introducci al mn dels sistemes encastats, com tamb explicar el funcionament del sistema operatiu en temps real FreeRTOS; el qual utilitza com a mtode de programaci ls de tasques independents entre elles. Donarem una visi de les seves caracterstiques de funcionament, com organitza tasques mitjanant un scheduler i uns exemples per a poder dissenyar-hi aplicacions.
Resumo:
The problem of software (SW) defaults is becoming more and more topical because of increasing amount of the SW and its complication. The majority of these defaults are founded during the test part that consumes about 40-50% of the development efforts. Test automation allows reducing the cost of this process and increasing testing effectiveness. In the middle of 1980 the first tools for automated testing appeared and the automated process was implemented in different kinds of SW testing. In short time, it became obviously, automated testing can cause many problems such as increasing product cost, decreasing reliability and even project fail. This thesis describes automated testing process, its concept, lists main problems, and gives an algorithm for automated test tools selection. Also this work presents an overview of the main automated test tools for embedded systems.
Resumo:
Sulautettujen jrjestelmien tekemisess kytettvt metodit ovat moninaiset. Tm johtuu siit, ett sulautettuja jrjestelmi on tuhansia erilaisia, sek laitteiston ja ohjelmiston rakentamisen eroavaisuuksista. Sovellukset vaihtelevat knnykist aina avaruusluotaimiin. Nihin projekteihin on sovellettu metodeita joita ei ole alun perin suunniteltu laitteiston ja ohjelmiston yhteissuunnitteluun ja toteuttamiseen. Ohjelmistotuotannon menetelmist oikean valinta nimenomaan tietylle sulautetulle jrjestelmlle on haasteellista. Viimeisimpin ovat tulleet erilaiset kettert menetelmt ja niitkin on olemassa useita erilaisia. Ketteri ja perinteisempi ohjelmistotuotannon menetelmi esitelln tss kandidaatin tyss. Tss tyss on tarkoituksena selvitt mitk olisivat parhaiten soveltuvia sulautetun jrjestelmn projektille.
Resumo:
Sulautettujen jrjestelmien projekti voidaan toteuttaa monella tavalla. Projektiin liittyy aina ohjelmiston, sek laitteiston kehittminen. Ohjelmiston suunnittelulla on suuri painoarvo ja tm nkyy erityisesti varsinkin kulutuselektroniikassa. Kannettavien laitteiden rjhdysmisesti lisntynyt myynti ja kytt ovat tuoneet markkinoille lis rahaa ja mielenkiintoa. Tst johtuen markkinoille tulee joka vuosi entist kehittyneempi laitteita. Laitteiston kehittymisen sek asiakkaiden vaatimusten lisntyess ohjelmistojen koko on kasvanut. Tm on luonut tarpeen mys sulautettujen jrjestelmien projekteille ottaa kyttn jokin tietty metodi ohjelmistojen tuotannossa. Ongelmana on kuitenkin se, ett sulautettujen jrjestelmien projekteihin on sovellettu metodeita, joita ei ole alun perin suunniteltu laitteiston ja ohjelmiston yhteissuunnitteluun ja toteuttamiseen. Miten voidaan valita oikea metodi sulautettujen jrjestelmien projektiin? Tss tyss esitelln perinteisi ohjelmistotuotannon metodeita, sek keskitytn eri ketterien metodien tutkimiseen. Tm ty selvitt mik vaikuttaa metodin valintaan sulautetun jrjestelmn projektille. Tss tutkimuksessa pdytn siihen johtoptkseen, ett sulautetuin jrjestelmn suunnittelussa ja toteutuksessa ketterien menetelmien kytt parantaa projektin mahdollisuutta onnistua tyttmn asiakkaan vaatimukset. Ketterien menetelmien kytt ei poista tarvetta kehitt menetelm, joka lhtkohtaisesti ottaa huomioon laitteiston ja ohjelmiston yhteissuunnittelun.
Resumo:
The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moores law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach dont provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of snippets to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.
Resumo:
Rakennusautomaatiossa tulee esiin sovelluksia, joissa jrjestelmn ohjaus-, st- tai valvontaratkaisun toteuttaminen ohjelmoitavilla logiikoilla ei ole riittvn edullista. Tllin vaihtoehtona on oman laitteen suunnittelu. Tyn tavoitteena oli suunnitella ja toteuttaa kustannustehokas CAN-vyln liitettv vapaasti ohjelmoitava automaatioyksikk. Suunnittelua ohjasivat asiakkaan laatimat vaatimusmrittelyt. Niist laitteen konfigurointimahdollisuudet ja piirilevyn tavoitekoko asettivat suurimmat haasteet laitteen suunnittelulle. Tyn tuloksena toteutettiin asiakkaan tarpeisiin soveltuva automaatioyksikk. Tavoitteisiin pstiin komponenttivalinnoilla ja hydyntmll tehokkaasti mikro-ohjaimen integroituja ominaisuuksia. Niden avulla pystyttiin karsimaan monia yksikit, joita tavanomaisesti toteutetaan erilliskomponenteilla. Tyss perehdyttiin sulautetun jrjestelmn elektroniikan tuotekehitysprosessiin ideasta prototyyppiin. Samalla on kuvailtu valittuja ratkaisuja sek suunnittelussa tapahtuneita virheit ja miten ne on ratkaistu.
Resumo:
Tyn tilaajana toimi Visedo Oy. Tyn tavoitteina oli tutkia Visedo Oy:n ohjelmistokehityksen nykytila, tunnistaa seuraavat parannuskohteet ja antaa ohjeita havaittujen parannuskohteiden korjaamiseksi. Visedo Oy:n tehonmuokkain ohjelmistokehityksen nykytilaa ksiteltiin neljn valitun osa-alueen nkkulmasta: ohjelmistoarkkitehtuurityyli, komponenttipohjainen ohjelmistokehitys, ohjelmistotuotelinjojen kehitysmenetelmt ja ohjelmistovariaatioiden hallinta. Valituilla osa-alueilla havaittujen parannuskohteiden perusteella annettiin korjausehdotuksia: ohjelmistoarkkitehtuurin rakenteeseen, komponenttien jakautumiselle, komponenttien koostamiselle ja komponenttien versioinnille. Lisksi ehdotettiin uudenlaista ohjelmistotuotelinja rakennetta, joka yhdist kerros- ja komponenttipohjaiset arkkitehtuurityylit mahdollistaen ominaisuuksiltaan eroavien tehonmuokkain ohjelmistojen hallinnan.
Resumo:
Thse numrise par la Division de la gestion de documents et des archives de l'Universit de Montral
Resumo:
Dans l'apprentissage machine, la classification est le processus dassigner une nouvelle observation une certaine catgorie. Les classifieurs qui mettent en uvre des algorithmes de classification ont t largement tudi au cours des dernires dcennies. Les classifieurs traditionnels sont bass sur des algorithmes tels que le SVM et les rseaux de neurones, et sont gnralement excuts par des logiciels sur CPUs qui fait que le systme souffre dun manque de performance et dune forte consommation d'nergie. Bien que les GPUs puissent tre utiliss pour acclrer le calcul de certains classifieurs, leur grande consommation de puissance empche la technologie d'tre mise en uvre sur des appareils portables tels que les systmes embarqus. Pour rendre le systme de classification plus lger, les classifieurs devraient tre capable de fonctionner sur un systme matriel plus compact au lieu d'un groupe de CPUs ou GPUs, et les classifieurs eux-mmes devraient tre optimiss pour ce matriel. Dans ce mmoire, nous explorons la mise en uvre d'un classifieur novateur sur une plate-forme matrielle base de FPGA. Le classifieur, conu par Alain Tapp (Universit de Montral), est bas sur une grande quantit de tables de recherche qui forment des circuits arborescents qui effectuent les tches de classification. Le FPGA semble tre un lment fait sur mesure pour mettre en uvre ce classifieur avec ses riches ressources de tables de recherche et l'architecture paralllisme lev. Notre travail montre que les FPGAs peuvent implmenter plusieurs classifieurs et faire les classification sur des images haute dfinition une vitesse trs leve.
Resumo:
One of the fastest expanding areas of computer exploitation is in embedded systems, whose prime function is not that of computing, but which nevertheless require information processing in order to carry out their prime function. Advances in hardware technology have made multi microprocessor systems a viable alternative to uniprocessor systems in many embedded application areas. This thesis reports the results of investigations carried out on multi microprocessors oriented towards embedded applications, with a view to enhancing throughput and reliability. An ideal controller for multiprocessor operation is developed which would smoothen sharing of routines and enable more powerful and efficient code I data interchange. Results of performance evaluation are appended.A typical application scenario is presented, which calls for classifying tasks based on characteristic features that were identified. The different classes are introduced along with a partitioned storage scheme. Theoretical analysis is also given. A review of schemes available for reducing disc access time is carried out and a new scheme presented. This is found to speed up data base transactions in embedded systems. The significance of software maintenance and adaptation in such applications is highlighted. A novel scheme of prov1d1ng a maintenance folio to system firmware is presented, alongwith experimental results. Processing reliability can be enhanced if facility exists to check if a particular instruction in a stream is appropriate. Likelihood of occurrence of a particular instruction would be more prudent if number of instructions in the set is less. A new organisation is derived to form the basement for further work. Some early results that would help steer the course of the work are presented.
Resumo:
Embedded systems, especially Wireless Sensor Nodes are highly prone to Type Safety and Memory Safety issues. Contiki, a prominent Operating System in the domain is even more affected by the problem since it makes extensive use of Type casts and Pointers. The work is an attempt to nullify the possibility of Safety violations in Contiki. We use a powerful, still efficient tool called Deputy to achieve this. We also try to automate the process
Resumo:
Embedded systems, especially Wireless Sensor Nodes are highly prone to Type Safety and Memory Safety issues. Contiki, a prominent Operating System in the domain is even more affected by the problem since it makes extensive use of Type casts and Pointers. The work is an attempt to nullify the possibility of Safety violations in Contiki. We use a powerful, still efficient tool called Deputy to achieve this. We also try to automate the process
Resumo:
Tagungsband - Vortrge vom Automation Symposium 2006
Resumo:
Der Anteil dezentraler eingebetteter Systeme steigt in zahlreichen Andwendungsfeldern, wie der Kfz-Elektronik oder der Anlagenautomatisierung [ScZu03]. Zudem steigen die Anforderungen and die Flexibilitt und den Funktionsumfang moderner automatisierungs-technischer Systeme. Der Einsatz agentenorientierter Methoden ist diesbezglich ein geeigneter Ansatz diesen Anforderungen gerecht zu werden [WGU03]. Mit Agenten knnen flexible, anpassungsfhige Softwaresysteme entwickelt werden, welche die Verteilung von Informationen, Aufgaben, Ressourcen oder Entscheidungsprozessen der realen Problemstellung im Softwaresystem widerspiegeln. Es ist somit mglich, die gewnschte Flexibilitt des Systems, bezglich der Struktur oder des Verhaltens gezielt zu entwerfen. Nachteilig ist jedoch der Indeterminismus des Verhaltens des Gesamtsystems, der sich aufgrund von schwer vorhersagbaren Interaktionen ergibt [Jen00]. Dem gegenber stehen statische Softwaresysteme, welche zwar einen hohen Determinismus aufweisen aber wenig flexibel in Bezug auf nderungen der Struktur des Systems oder des Ablaufs des realen Prozesses sind. Mit der steigenden Komplexitt der Systeme ist allerdings selbst mit einem statischen Entwurf die Vorhersagbarkeit immer weniger zu gewhrleisten. Die Zahl der mglichen Zustnde einer Anlage wird mit der Bercksichtigung von allen mglichen Fehlern, Ausfllen und externen Einflssen (dynamische Umgebung) so gro, da diese mit vertretbarem Aufwand kaum noch erfassbar sind und somit auch nicht behandelt werden knnen. Das von der DFG gefrderten Projekt AVE [AVE05], welches in Kooperation mit dem Institut fr Automatisierungs- und Softwaretechnik der Universitt Stuttgart bearbeitet wird, beschftigt sich in diesem Kontext mit dem Konflikt, die Vorteile der Flexibilitt und Anpassungsfhigkeit von agentenorientierter Software mit den spezifischen Anforderungen der Domne der Echtzeitsysteme, wie Zeit- und Verlsslichkeitsanforderungen, zu verknpfen. In einer detaillierten Analyse dieser Anforderungen wurde untersucht, wie die Eigenschaften der Anpassungsfhigkeit und Flexibilitt prinzipiell die Anforderungen an Echtzeit- und Verlsslichkeitseigenschaften beeinflussen und wie umgekehrt Anforderungen an Echtzeit- und Verlsslichkeitseigenschaften die Anpassungsfhigkeit und Flexibilitt beschrnken knnen. Aufbauend auf diesen Erkenntnissen werden Methoden und Konzepte fr den Entwurf und die Implementierung von Agentensystemen auf gngiger Automatisierungshardware, insbesondere Speicher Programmierbare Steuerungen (SPS), entwickelt. In diesem Rahmen wird ein Konzept fr die Modellierung von Sicherheit in Agentensystemen vorgestellt, welches insbesondere den modularen Charakter von Agenten bercksichtigt. Kernaspekt ist es, dem Entwickler einen Rahmen vorzugeben, der ihn dabei untersttzt ein mglichst lckenloses Sicherheitskonzept zu erstellen und ihm dabei genug Freiheiten lsst den Aufwand fr die Strategien zur Fehlererkennung, Fehlerdiagnose und Fehlerbehandlung je nach Anforderung fr jedes Modul individuell festzulegen. Desweiteren ist besonderer Wert darauf gelegt worden, dass die verwendeten Darstellungen und Diagramme aus der Domne stammen und eine gute Vorlage fr die sptere Implementierung auf automatisierungstechnischer Hardware bieten.
