Dissertations / Theses on the topic 'V8'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 21 dissertations / theses for your research on the topic 'V8.'
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.
Fried, Tomáš. "Klikový mechanismus závodního motoru V8." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2017. http://www.nusl.cz/ntk/nusl-318521.
Full textŠimíček, Petr. "Sací a výfukové potrubí motoru V8." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2017. http://www.nusl.cz/ntk/nusl-318645.
Full textŠebesta, Radek. "Návrh moderního spalovacího motoru konstrukce V8." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2011. http://www.nusl.cz/ntk/nusl-229724.
Full textHildingsson, Åsa. "V8 - Bibliotekssamverkan i Västerbottens inland : bibliotekariernas upplevelser efter projektavslutet." Thesis, Umeå universitet, Sociologiska institutionen, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-120153.
Full textTeixeira, Renata Maria. "Tempo redescoberto nas fotografias de Aristides Pedro da Silva, V8." [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/284680.
Full textDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes
Made available in DSpace on 2018-08-12T14:59:38Z (GMT). No. of bitstreams: 1 Teixeira_RenataMaria_M.pdf: 24156441 bytes, checksum: 5d73d26b00b0c04145030d03bd102895 (MD5) Previous issue date: 2008
Resumo: Esta pesquisa propõe uma compreensão do conjunto de fotografias de Aristides Pedro da Silva, V8, que por mais de meio século colecionou e produziu imagens sobre Campinas (SP), conquistando com isso grande notoriedade. De um salão de cabeleireiros popular a um shopping center, do Mercado Municipal às mais diversas instituições públicas, passando por residências de todas as classes sociais, muitas dessas imagens figuram nas paredes como espectros de uma Campinas de outrora. Inventariando-se três vértices - traços biográficos do fotógrafo e colecionador, análise das fotografias e da circulação da obra - entrecruzados com três eixos temáticos - a fotografia, a cidade e a memória, o trabalho foi desenvolvido primordialmente utilizando-se dos recursos metodológicos da História Oral. Os depoentes (ou testemunhas) revolveram suas memórias reconstruindo histórias sobre V8 e suas fotografias, mas também sobre eles e a Cidade. O resultado é um mosaico carregado de subjetividades, já que as imagens além de registro histórico datado são limiares para reflexões sobre a própria existência, especialmente quando se toma como fio condutor a construção e a demolição. V8 revela-se então na figura singular do narrador, em meio à "audiência surda" de uma sociedade que adere ao ideal moderno do progresso impulsionado pela industrialização. Suas fotografias viram souvenir, enquanto se abafa seu discurso humanista.
Abstract: This research proposes an understanding of the group of Aristides Pedro da Silva's pictures that for more than half century collected and produced images about Campinas (SP), conquering with this a big notoriety. From a simple beauty parlor to a Shopping Mall, from the Municipal market to the most diverse public institutions, going through houses belonging to all social classes, many of these images are on the walls as specters of a no longer existing Campinas. Ranging among three vertexes: biographic traces of the photographer and collector, analysis of the pictures and of the circulation of the work - crossed with three thematic axles: photograph, the city and the memory, the work was developed primordially using the oral history's methodological resources. The witnesses revolved their memories reconstructing stories about V8 and his pictures, but also about themselves and the city. The result is a mosaic full of subjectivities, regarding that, besides being a dated historical register are parameters for reflection upon existence itself, especially when it concerns to construction and demolition. V8 thus reveals himself in the role of the narrator within the "deaf mass" of a society that adheres itself to the modern ideal of progress propelled by the industrialization. His pictures become souvenirs while his humanist discourse gets muffled.
Mestrado
Mestre em Multimeios
Huber, Nikolaus. "Porting Zephyr RTOS to the LEON/GRLIB SoC SPARC v8 architecture." Thesis, Luleå tekniska universitet, Rymdteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-76055.
Full textDet övergripande målet med examensarbetet är att porta Zephyr realtidsopera-tivsystem (OS) till LEON processorplattformen. LEON processorn är ursprungligendesignad för och förekommer ofta i datorsystem inom rymd p.g.a. sina feltolerantaegenskaper. LEON är kompatibel med den öppna SPARC v8 instruktionsuppsät-tningen vilken också tillåter utökning och anpassningar. Rapporten ger läsaren enöverblick av vilka steg som är nödvändiga för att skapa en fungerande arkitektur-port av ett OS. Vidare beskriver rapporten mer i detalj designen kring trådväxlingoch avbrottshantering, samt hur dessa anpassas för att utnyttja LEON specifikautökningar av SPARC till att nå högre prestanda. GR716 LEON3-FT introducerarpartitionering av SPARC registerfönster för att kunna minska tiden det tar opera-tivsystemet att växla trådar. Denna funktion har inte använts tidigare i något OS,och är därför av särskilt intresse att studera och karakterisera. Resultaten visar atttrådväxlingstiden minskat signifikant, samtidigt som determinismen blivit bättreoch därigenom är det nu enklare att designa system med hårda realtidskrav.
Antoniotti, Mattia. "Optimization of the AdBlue e vaporation module for Scania V8 engines." Thesis, KTH, Maskinkonstruktion (Inst.), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-209417.
Full textAvgasefterbehandlingssystem har utvecklats för att reducera utsläppen ifrån lastbilar, och det är ett lagkrav att en lastbil ska ha ett efterbehandlingssystem. Lagkraven för avgasemissioner skärps gradvis, vilket resulterar i att efterbehandlingssystemet ständigt måste förbättras och utvecklas för att möta de nya lagkraven. I de flesta heavy-duty-lastbilar som säljs på Euro 6 marknader är ett SCR-system installerat ihop med ljuddämparen för att hantera NOx-utsläppen. En vätska kallad AdBlue, det vill säga Urea, sprayas in i efterbehandlingssystemet där det förångas. Urea är en vätska baserad på bl.a. urinämne som utsöndras till ammoniak, vilket sedan fungerar som reduceringsmedel. Ett viktigt steg i reduktionsprocessen av kväveoxiden är när ammoniak reagerar med NOx och omvandlas till kväve och vatten. Det är mängden ammoniak som bestämmer det slutliga resultatet av kväveoxidreduktionen. Om urean inte är tillräckligt uppblandad med avgaserna bildas avlagringar utmed flödeskanalen. Detta ökar tryckfallet, vilket i sin tur leder till ökad bränsleförbrukning, avlagringarna kan över tid även skada efterbehandlingssystemet. Förångningsmodulen som används i Scanias ljuddämpare (kallad large), utvecklad för V8-motorer, består av en rör-i-rör konfiguration. Rören tillverkas i rostfritt stål 1.4509 och när AdBlue sprayas på insidan av innerröret bildas en film av urea som förångas när den möter rörets varma väggyta. För att uppnå en varm förångningsyta leds en delmängd av avgaserna om på utsidan av innerröret för att bibehålla hög temperatur på röret och undvika nedkylning av urean. Förångningsrörets nuvarande design består av 144 utvändiga värmeflänsar (med längden 0,355 m) som lasersvetsas fast på röret. Designen medför en dyr och komplicerad tillverkningsprocess. Den totala längden svets uppgår till 52 m. Syftet med examensarbetet är att analysera och förbättra värmeöverföringen från avgaserna till röret för largeljuddämparen. En förbättrad värmeöverföring skulle leda till att temperaturfallet som uppkommer på grund av AdBlue-doseringen blir lägre. Ett lägre temperaturfall skulle då leda till en minskad risk för avlagringar. I studien undersöks olika material och tillverkningsmetoder för att eventuellt reducera tillverkningskostnaden av förångningsenheten med bibehållen eller förbättrad prestanda. Driftfallen har ett brett spektrum där mängden energi (överförd värme) varierar och studien är inriktad på de värsta förhållandena för urea-utsöndring, dvs. ett lågt massflöde och låga flödestemperaturer. Rostfritt stål har bra korrosionsbeständighet och tämligen bra värmeledningsförmåga i kombination med ett rimligt pris. Kopparlegeringar har en mycket högre värmeledningsförmåga än rostfritt stål, vilket motiverar en undersökning av förångringsrör tillverkade i kopparlegering belagda med rostfritt stål. I studien undersöks olika utformning av värmeflänsar, både genom FEA och CFD-analyser, där 62 olika utformningar har tagits fram och jämförs. Flänsarnas höjd visade sig vara den parametern som påverkar temperaturfallet mest. En ökning från 7,5 mm till 11 mm av flänstoppens höjd gav en kraftig förbättring av förångningsenhetens värmeöverföringsförmåga. En annan viktig faktor visade sig vara avståndet mellan flänsarna. Med dagens flänsutformning, men med en utökad höjd till 11 mm, skulle man uppnå en förbättrad prestanda med nästan 40 % (vid 300℃ och 800 kg/h) om man dessutom minskade antalet flänsar med hälften. Beroende på design och driftspunkt är rörtjockleken och materialets värmeledningsförmåga andra faktorer som påverkar temperaturfallet. Det är dock oftast fördelaktigt med en tjockare rörvägg och ett material med högre värmeledningsförmåga. Flera prototyper med olika utformning har testats fysiskt i en specialtillverkad testrigg. Slutresultatet påvisade en bra korrelation med simuleringarna vid jämförelse av olika materialval, men det fysiska testet hade svårare att hantera geometrisk utformning på flänsarna.
Sharjeel, Khilji Muhammad. "Design and Implementation of aHeterogeneous Multicore Architectureusing Field Programmable Technology." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-121697.
Full textEdlund, Angelica. "V8-bibliotekens innovativa kollaboration : – En kvalitativ intervjustudie bland bibliotekarier i Västerbottens inland." Thesis, Umeå universitet, Sociologiska institutionen, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-133034.
Full textOber, Michael David. "An assessment of the activity of staphylococcal protease V8 in the presence of guanidine hydrochloride." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/546137.
Full textDepartment of Chemistry
Harbor, Neville. "The development and integration of systems models for the simulation of V8 engine performance attributes." Thesis, University of Nottingham, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.408446.
Full textGustavsson, Andreas. "Hur enkel- & dubbelportsturbin i kombination med två olika avgassamlare påverkar gasväxlingsprestanda på en Scania V8." Thesis, KTH, Maskinkonstruktion (Inst.), 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-100746.
Full textAvgassamlarsystemet på Scanias V8 består av en samlare per cylinderbank och en tvåportsturbo (8-2-2). En studie i simuleringsprogrammet GT-Power har visat på betydande prestandaförbättringar och minskad cylindervariation med två avgassamlare per bank och enkelportsturbin (8-4-1). Detta examens arbete utreder varför dessa prestandaskillnader finns och hur väl simuleringar stämmer med verkligheten. Arbetet inleddes med simuleringar i GT-Power. Dessa har fokuserat på hur avgassamlarvolym och pulser påverkar turbinverkningsgrad och gasväxlingsmedeltryck. För att verifiera GT-Power simuleringar har motorprov med fyra olika gasväxlingskoncept genomförts. Resultat från GT-Power simuleringar säger att en större avgassamlarvolym ger bättre turbinverkningsgrad även ett jämt pulsflöde till turbinen är positivt för verkningsgraden. Vid motorprov har enkelportsturbo som mest 4 % högre verkningsgrad än dubbelportsturbo vilket stämmer väl med simuleringar. Den mindre avgassamlarvolymen med 8-2 system påverkar enkelportsturbon positivt vid 1200 varv/min vilket kan bero på lägre avgasenergiförluster. Avgassamlarsystem 8-4-1 har vid prov vid 1900 varv/min 400 mbar bättre gasväxlingsmedeltryck än 8-2-2, att jämföra med en simulerad skillnad på 600 mbar vid samma varvtal. Genomgående har 8-4 system ca 1 % bättre volymetrisk verkningsgrad och omkring 30° C lägre temperatur före turbin. Tendenser från GT-Power simuleringar stämmer väl med motorprov, framförallt vid 1500 och 1900 varv/min. Skillnader i gasväxlingsmedeltryck och cylindervariation är inte så stora mellan koncepten som enligt simuleringarna, vilket inte beror på turbinverkningsgrad utan pulsöverföring mellan cylinderbankerna med enkelportsturbo. Motorprov visar att två avgassamlare per bank och enkelportsturbin med variabel geometri, 8-4-1, ger lägst gasväxlingsmedeltryck och minst spridning mellan cylindrar. 8-4-1 avgassamlarsystem är det mest optimala för V8an.
Galiana-Arnoux, Delphine. "Étude des mécanismes de régulation de l'épissage des exons v8, v9 et v10 alternatifs du gène codant pour la protéine CD44." Nantes, 2004. http://www.theses.fr/2004NANT2021.
Full textWang, Bingjie. "Novel function of human beta-defensin 2 : protecting epidermal barrier against pathogenic proteases." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28756.
Full textLauri, Boström Olle. "WebAssembly for Web Developers." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-100437.
Full textRice, Kelly C. "Regulation of the colonization and invasive phenotypes by protease activity in Staphylococcus aureus, analysis of fibronectin-binding protein (FNBP) and V8 protease as paradigms of this concept." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/NQ63692.pdf.
Full textAustin, Beth Ann. "2-crossing critical graphs with a V8 minor." Thesis, 2012. http://hdl.handle.net/10012/6464.
Full textArroyo, Guevara Alan Marcelo. "On 2-crossing-critical graphs with a V8-minor." Thesis, 2014. http://hdl.handle.net/10012/8494.
Full textCharif, Hana. "FALLSTUDIE Involvering av leverantör vid utveckling av motorvärmare : För V8 motorer." Thesis, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29312.
Full textEn motorvärmare är en värmare för kylvätska till motorer. Dessa finns i fordon och i detta fall riktas det till motorvärmare i v8 motorer som finns i Företagets lastbilar. Syftet med detta examensarbete är att effektivisera produktutvecklingen genom att optimera samarbetsformerna med leverantörer. Detta sker genom att sänka produktutvecklingens kostnader och utvecklingstid. Samarbetsformen av leverantör kan variera under produktutvecklingen. Beroende på om de skall vara delaktiga i projektet helt och hållet, delvis eller inget. Problemet är hur en rekommendation för samverkan ska se ut. För att kunna ta reda på detta så behöver man veta vilka variabler som påverkar samarbetet mellan företag och leverantör. Detta görs för att kunna ge en rekommendation om det bästa möjliga sättet för vilket ett samarbete med en leverantör bör ske för att uppnå en effektiv produktutveckling (PU) och hög produktprestanda. Via forskning i form av läsning av böcker och artiklar kunde en jämförelse göras mellan de olika teorierna om PU-processen och samarbete & involvering av leverantör i ett företags PUprocess, med företagets verkliga PU-process och dess samarbete & involvering av leverantören i ny produktutveckling (NPU). Detta har gjorts för att ta reda på vilka variabler som har påverkat och påverkar samarbetet mellan företag och leverantör, och för att ta reda på under vilken fas i företagets NPU en leverantör bör bli involverad. Resultatet visade att företaget inte har tillämpat en gemensam utvecklingsrelation, detta innebär att man inte använt sig utav organisatoriska möjliggörare (Garengo & Panizzolo, 2013) utan endast teknologiska och metodologiska möjliggörare. Företagets kommunikationskanal har inte tillämpats genom face to face möten, utan kommunikationen har främst skett genom email eller telefonsamtal. Denna låga kommunikationskanal har resulterat i ett lågt kunskapsutbyte (Thomas, 2013) vilket har påverkat NPU-effektiviteten i form av förseningar av projektplan. Man har inte heller tillämpat att inte lita på tillit gentemot leverantören (Smets, Oorschot, & Langerak, 2013) och inte hållit en konstant nivå av formell kontroll. Det har även gjorts en fallstudie om utvecklingen av motorvärmare. Denna fallstudie gjordes och tillämpades för att kunna gå igenom hela företagets verkliga NPU-process steg för steg, och därefter studera hur samarbetet har varit mellan förtaget och leverantören. Denna studie har haft vissa specifikationer som har satt gränser för arbetet, bl.a. ska motorvärmaren designas så att den uppfyller vissa krav och kundernas krav. Huvudprincipen är att ersätta den nuvarande motorvärmaren som ingår i dagens V8 motorer med en som har en ny design som tar hänsyn till monterbarhet, demonterbarhet, kvalitet, tillverkningskostnad och är bakåtkompatibel. Examensarbetet har tagit hänsyn till produktutvecklingsmetoden från boken ”Product Design and Development” (Ulrich & Eppinger, 2012) vid utvecklingen av motorvärmare. Detta har skett med undantag för vissa punkter som t.ex. hur tidsplaneringen för projektet tagits fram, vilket bestäms av projektledaren som lägger fram tidsplaneringen för utvecklingen av hela v8 motor. Enligt slutsatsen så bör företaget vid NPU tillämpa en konstant nivå av formell kontroll vid samarbete med leverantören vid utvecklingsfasen och inte enbart vid serieproduktion (Smets, Oorschot, & Langerak, 2013), samt att inte lita på tillit gentemot leverantören. Företaget bör 5 (80) även använda face to face möten som kommunikationskanal för att åstadkomma hög informationsutbyte (Thomas, 2013). Vid NPU med en komplex produkt eller vid kort projekttid så bör företaget involvera leverantörer vid tidig fas av NPU-process (Zhao, Cavugsil, & Cavusgil, 2014), för en effektiv projektkvalitet gällande produktsnabbhet till marknad. Samt att tillämpa organisatorisk möjliggörare med hjälp av gästingenjör eller platsingenjör (Garengo & Panizzolo, 2013). Däremot vid en ny produktnyhet som är väldigt viktig för företaget så bör företaget undvika att involvera leverantörer vid NPU-process (Zhao, Cavugsil, & Cavusgil, 2014) genom att använda sig av istället enbart teknologisk utvecklingsrelation i en sen fas av processen (Garengo & Panizzolo, 2013).
NCG projekt
Wang, Chia-Chun, and 王家駿. "Distributed Cloud Services Architecture for the Internet of Things System Prototype Based on the Google V8 Engine." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/7ea7ru.
Full text國立高雄第一科技大學
電腦與通訊工程研究所
105
Although the Internet of Things have been discussed for a long time, most products or design prototypes are often lack of integration. So in this study, we will propose a prototype of a lightweight solution. This solution is using a flexible cloud server as medium to communicate between objects and their applications. The proposed lightweight solution can apply to local-side server. All devices use this server to connect to the network, and that network can store logs, push instantly messages and handle controls instantly. And the complexity of this proposed solution is low. A new real-time web interface is introduced.
Gouveia, Inês Pinto. "Non-intrusive observation and runtime verification of cyber-physical systems." Master's thesis, 2017. http://hdl.handle.net/10451/30815.
Full textO recente desenvolvimento dos Sistemas Ciber-Físicos (SCF) e o aumento na utilização de veículos autónomos em diversos domínios (e.g., espaço, aéreo, aquático, automóvel) levou ao surgimento de novas preocupações, nomeadamente no que diz respeito a propriedades de segurança e confiabilidade e a restrições temporais. Durante décadas, numerosas vulnerabilidades tem posto em risco diversas aplicações e sistemas e, como tal, os Sistemas Ciber-Físicos não são excepção à regra. Tais acontecimentos resultaram numa tendência para a adopção de técnicas de Verificação em Tempo de Execução (VTE) para sistemas embebidos quando a respectiva criticalidade dita a necessidade de garantir operação correcta no domínio dos valores e no domínio do tempo. A VTE é baseada em infraestruturas de monitorização de eventos e na posterior verificação de correcção desses eventos de acordo com a especificação do sistema, tanto online (on-the-fly) como offline (onde primeiro os eventos são guardados em estruturas de memória e só depois analisados). Este tipo de detecção de erros vem contrastar com técnicas de verificação e de teste em fase de desenvolvimento onde são usados casos de teste estáticos, antes do sistema ser instalado e posto a funcionar normalmente no seu ambiente de execução. Embora essenciais, estas técnicas não estudam todos os casos ou problemas inerentes do sistema, que podem ser causados por factores imprevisíveis. A VTE pode ser usada na fase de desenvolvimento de forma a aperfeiçoar os casos de teste e em tempo de execução pós-desenvolvimento com o intuito de garantir bom funcionamento durante todo o período de vida do sistema. No entanto, metodologias de VTE convencionais, como a instrumentação de código, impõem penalizações no desempenho e na pontualidade, sendo inapropriadas para sistemas críticos. Em Sistemas Ciber-Físicos com requesitos de tempo-real, estas perturbações podem ser devastadoras dada a escassez de recursos computacionais disponíveis, por um lado, as perturbações que podem originar no escalonamento das acções a realizar em tempo-real, por outro, e também o compromisso em realizar as metas temporais impostas pela especificação funcional do sistema. O objectivo desta tese é conceber uma solução para lidar com faltas acidentais e ataques intencionais que afectem a memória dos SCFs e a informação nela contida por meio de Verificação Não-Intrusiva em Tempo de Execução (VNITE), a ser realizada através do desenho de um observador e entidade de monitorização de caixa preta. A razão inerente a escolha da implementação do observador como uma caixa preta, isto é, de ser visto em função das suas entradas e saídas e não do seu funcionamento interno, advém do facto de um observador transparente poder ser facilmente atacado e modificado de forma a afectar negativamente a sua operação, com o objectivo de providenciar dados erróneos ou mesmo de influênciar indirectamente o sistema a ser monitorizado. Uma abordagem inovadora para a problemática da monitorização é materializada através da projecção das acções de monitorização diretamente em mecanismos existentes na infraestrutura de processamento, como os barramentos de sistema e de cache. Uma tal abordagem permite a monitorização de um sistema sem qualquer impacto na execução, sendo adequada para o presente e futuro dos SCF e capaz de ser implementada sem insersão de código ou qualquer alteração na arquitectura do sistema base, ou seja, ligando apenas um componente de observação e monitorização diretamente aos referidos barramentos, sem a modificação de componentes já existentes no sistema. A inserção do observador dentro do processador é indesejável uma vez que iria requerer a sua modificação, não só no momento de implementação mas também sempre que a arquitectura do processador fosse modificada. Ao inserir uma entidade observadora num sistema, há que ter em conta determinados factores. Dado que a forma de observação depende do tipo de arquitectura do processador, do seu modelo de programação, do seu repositório de instruções e da convenção de chamada a funções, conclui-se que a entidade de monitorização será dependente de todos estes factores. O combate a problemas de segurança em memória pode ser realizado a diferentes níveis ou granularidades, dependendo de quão detalhado é o nosso conhecimento do funcionamento do sistema e das aplicações a correr no mesmo. Neste trabalho serão introduzidas soluções para a detecção e resolução parcial ou completa de faltas acidentais e ataques intencionais, focadas na compreensão limitada das especificidades do ambiente analisado, usando uma granularidade de monitorização ao nível da função. Acesso ao código fonte nem sempre é possível, tanto por uma questão de protecção da lógica e engenharia usada por parte das empresas que desenham as aplicações, como para esconder software malicioso, por exemplo, em plugins. Da mesma forma, os ficheiros binários são normalmente disprovidos de símbolos (stripped) pelas mesmas razões, impedindo a inversão da engenharia e ainda reduzindo os requesitos de utilização de espaço de memória em disco, dado que as informações adicionais em ficheiros não desprovidos de símbolos ocupam consideravelmente mais espaço. Em tal ambiente, além de ser impossível ou demasiado difícil a instrumentação de código (que já por si é intrusiva e indesejável), é também difícil a monitorização a um nível de granularidade fina. Assim, o observador necessita de estar preparado para interceptar apenas eventos menos específicos, como a utilização incorrecta de alguns espaços de memória ou o mau uso de endereços de retorno. Para a concepção da entidade observadora e de monitorização, é assumido que a maioria das aplicações (senão todas) são constituídas por chamadas a funções. A partir desta hipótese elaboramos um esquema que verifica se cada função está a executar correctamente, não havendo corrupção do espaço de endereçamento atribuído à mesma, nomeadamente secções de memória específicas com limites bem definidos, como é o caso de: quadros de memória reservados para uma função (e de algumas das subsecções em que se divide); zonas de memória alocadas dinamicamente e registos críticos do processador, como, por exemplo, o registo que guarda o endereço de retorno de uma função. Secções de dados de ficheiros binários do tipo ELF são também exemplos de zonas de memória bem delimitadas. Um observador não-intrusivo responsável pela detecção de eventos e comportamentos maliciosos e pela tomada de acções de acordo com o que é observado, interno ao sistema a observar, irá tirar então partido das instruções e dados que circulam no baramento de sistema e nos barramentos de cache, analisando-os total ou parcialmente de forma a compreender se algum comportamento erróneo/não autorizado está a ser efectuado que poderá por em causa a integridade de diversas zonas de memória. Esta abordagem é inserida no campo de lógica reconfigurável, tirando partido de arquitecturas System-on-a-Chip (SoC) de forma a realizar observação diretamente na maquinaria (hardware), em baixo nível e de forma eficaz. O conceito de VNITE pode também ser adaptado a sistemas Compartimentados no Espaço e no Tempo (CET), cada vez mais utilizados devido à crescente complexidade dos sistemas num vasto domínio de aplicações. Para além das limitações inerentes de pontualidade, problemas acrescidos no domínio da segurança da operação (safety) e da informação (security) estão também presentes em sistemas CET, maioritariamente devido ao uso de sistemas operativos genéricos, sendo já histórica a sua suscetibilidade a problemas comuns e a vulnerabilidades conhecidas que nunca foram cabalmente resolvidas, como por exemplo transbordos de buffer (buffer overflows). O objectivo deste trabalho é, então, a análise de requesitos para a construção de um observador não intrusivo, nomeadamente a nível dos factores em que depende e das possíveis vulnerabilidades que o observador será capaz de proteger, tendo em consideração vulnerabilidades comuns em sistemas operativos, e o desenho/concepção de um observador capaz de fornecer protecção contra as falhas de segurança analisadas, garantindo propriedades de segurança e confiabilidade e respeitando restrições temporais. Após concretização, concluiu-se que ainda muito trabalho necessita de ser feito nesta vertente de forma a ter uma solução viável que vá completamente de acordo à ideia inicial. No entanto, é uma solução fazível e necessária.
The recent extensive development in Cyber-Physical Systems (CPS) and the increase in usage of autonomous vehicles throughout several domains (spacial, avionic, terrestrial and aquatic) has lead to the emergence of new concerns regarding safety, security and timeliness properties. This has resulted in a tendency to adopt Runtime Verification (RV) techniques for embedded systems, when their criticality dictates the need to guarantee correct operation in the time and values domain. RV is based on event observation and monitoring infrastructures and on-the-fly or posterior event correction verification against a given system specification. However, conventional RV methodologies, such as source code instrumentation, impose performance and timeliness penalties due to their intrusive nature, being inappropriate for (real-time) critical systems. In CPSs with real-time requirements these disturbances can be devastating given the lack of computational resources and the necessity to fulfil temporal goals due to their functional specification. For decades, numerous vulnerabilities have put systems and applications at risk and CPSs are no exception. We intent to deal with accidental faults and intended attacks that compromise the integrity of data stored on memory by means of Non-Intrusive RV, to be accomplished through the design of a black-box observer and monitoring entity. This is materialized through the introduction of monitoring actions directly in existing resources present in the processing infrastructure. Such an approach allows for system monitoring with no impact on execution, being adequate for CPSs. A non-intrusive observer entity that is responsible for detecting malicious events and act accordingly, while taking into consideration common operating system vulnerabilities is in order. Thus, the goal of this thesis is to design such an observer, capable of performing function-level memory protection on well-delimited memory zones. For this purpose we perform a requirements analysis on relevant architectural characteristics and from that devise an on-chip online solution of our own. After completion, it was concluded that much work still needs to be done in order to have a viable solution that goes completely towards the initial idea. However, it is a feasible and necessary solution.