Дисертації з теми "Safety related automotive software"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-20 дисертацій для дослідження на тему "Safety related automotive software".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Touloupis, Emmanuel. "A fault tolerant microarchitecture for safety-related automotive control." Thesis, Loughborough University, 2005. https://dspace.lboro.ac.uk/2134/14402.
Повний текст джерелаArno, Matthew G. (Matthew Gordon). "Verification and validation of safety related software." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/33517.
Повний текст джерелаZhang, Yi 1973. "Reliability quantification of nuclear safety-related software." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/28367.
Повний текст джерелаPage 242 blank.
Includes bibliographical references (p. 238-241).
The objective of this study is to improve quality and reliability of safety-critical software in the nuclear industry. It is accomplished by focusing on the following two areas: Formulation of a standard extensive integrated software testing strategy for safety-critical software, and Development of systematic test-based statistical software reliability quantification methodologies. The first step to improving the overall performance of software is to develop a comprehensive testing strategy, the gray box testing method. It has incorporated favorable aspects of white box and black box testing techniques. The safety-critical features of the software and feasibility of the methodology are the key drivers in determining the architecture for the testing strategy. Monte Carlo technique is applied to randomly sample inputs based on the probability density function derived from the specification of the given software. Software flowpaths accessed during testing are identified and recorded. Complete nodal coverage testing is achieved by automatic coverage checking. It is guaranteed that the most popular flowpaths of the software are tested.
The second part of the methodology is the quantification of software performance. Two Bayesian based white box reliability estimation methodologies, nodal coverage- based and flowpath coverage-based, are developed. The number of detected errors and the failure-free operations, the objective and subjective knowledge of the given software, and the testing and software structure information are systematically incorporated into both reliability estimation approaches. The concept of two error groups in terms of testability is initiated to better capture reliability features of the given software. The reliability of the tested flowpaths of the software and that of the untested flowpaths can be updated at any point during testing. Overall software reliability is calculated as a weighted average of the tested and untested parts of the software, with the probability of being visited upon next execution as the weight of each part. All of the designed testing and reliability estimation strategies are successfully implemented and automated via various software tools and demonstrated on a typical safety-critical software application.
by Yi Zhang.
Ph.D.
Sandahl, Anna. "Flexible and Migration Friendly Implementation of a Safety-Critical Automotive Application." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-72933.
Повний текст джерелаPoorman, Kenneth E. (Kenneth Earl) 1967. "On the complete testing of simple safety-related software." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/36439.
Повний текст джерелаTacy, Adam James. "Use of synchronous concurrent algorithms in the development of safety related software." Thesis, Swansea University, 2005. https://cronfa.swan.ac.uk/Record/cronfa42576.
Повний текст джерелаGupta, Jatin. "Application of Hazard and Operability (HAZOP) Methodology to Safety-Related Scientific Software." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1398983873.
Повний текст джерелаFernández, Díaz Gabriel Alejandro. "Enhancing timing analysis for COTS multicores for safety-related industry : a software approach." Doctoral thesis, Universitat Politècnica de Catalunya, 2018. http://hdl.handle.net/10803/663896.
Повний текст джерелаLa interacción de los sistemas artificiales con el entorno real esta generalmente basado en el uso de sensores y actuadores adecuadamente coordinados, generando entre ellos un "bucle de control dinámico". El tiempo de este bucle caracteriza cuan funcional y aplicable son para los sistemas críticos en tiempo de respuesta. En el caso de los sistemas de control digital, el rendimiento de los procesadores está directamente relacionado con el tiempo de respuesta. La demanda de computación en muchas industrias de Sistemas Críticos Empotrados (SCE), como la industria aeronáutica, aeroespacial, auto motiva y ferroviaria, han experimentado un crecimiento sin precedentes como consecuencia de tener que lidiar con funcionalidades software cada vez más sofisticadas. El uso de características hardware de alto rendimiento en SCE, como las arquitecturas multinucleo, para responder a esos requisitos de rendimiento, dificulta la computación de estimación WCET de forma ajustada. La fuente de esta complejidad viene de la interferencia (contención) cuando los recursos hardware compartidos son accedidos por diferentes tareas que se ejecutan a la vez. Existen varias propuestas para utilizar soporte hardware que elimine o controles conflictos inter-tarea cuando accedan a los recursos hardware compartidos (ej. Time Division Multiple Access(TDMA) en buses, particionado en caches), para simplificar el análisis de tiempo eliminando o controlando los efectos de la contención. Pero, en nuestro mejor saber, ningún procesador multinucleo Commercially-of-the-Shelf (COTS) aporta aislamiento completo o control total de las interferencias inter-tarea. Como consecuencia, el tiempo de ejecución de un software puede ser afectado por carga ejercida sobre los recursos hardware compartidos por las tareas competidoras. Esta tesis ofrece metodologías software para caracterizar y controlar la contención en procesadores multinucleos COTS para que puedan ser factorizados en análisis de tiempo basado en medidas. Para este fin, hemos hecho las siguientes contribuciones. Primero, realizamos un vasto estudio del estado del arte sobre el tema y proponemos una taxonomía que clasifica las propuestas existentes haciendo énfasis en sus logros y suposiciones. Esto ayudara a entender mejor la simbiosis y superposición de los elementos en los trabajos más actuales. Segundo, proponemos una metodología basada en medidas para derivar el mayor retraso que una petición de una tarea puede sufrir cuando aceden recursos arbitrados por FIFO o Round-Robin, algo fundamental para derivar el efecto de la contención en el peor caso Tercero, con el objetivo de derivar estimaciones de WCET que sean "composable" en el tiempo, introducimos las "signatures" y "templates" para abstraer la contención causada y sufrida por las tareas en un procesador multinucleo. Cuarto, presentamos una metodología para derivar estimaciones de WCET durante la Fase Temprana de Diseño, antes que las tareas (unidades de software) sean integradas. Y quinto, reportamos nuestra experiencia con el análisis de tiempo en dos multinucleo COTS basados en ARM.
Härberg, Martin, and Roberto Chiarito. "Design, Measurement and Verification of Scania’s Platform Software Architecture for Safety Related Embedded Systems." Thesis, KTH, Maskinkonstruktion (Inst.), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-185515.
Повний текст джерелаPlattformsarkitekturen för programvaran i de säkerhetsrelaterade inbyggda system som Scania utvecklar har blivit alltmer komplex. Hög komplexitet medför ökad risk för att fel uppstår i programvaran samt att den tid som programvaruutvecklare spenderar med att förstå och debugga (avlusa) källkoden ökar. Detta leder till ökade underhållskostnader, vilket enligt [24] kan utgöra mellan 60 % och 75 % av den totala kostnaden för programvaruutveckling. Syftet med detta examensarbete är att undersöka hur en del av Scanias nuvarande arkitekturdesign kan vidareutvecklas för att minska komplexiteten, utan att kompromissa med någon grundläggande funktionalitet och prestanda. Ett annat mål är att erbjuda en lösning som uppfyller de säkerhetskrav för programvaran som ISO 26262 ställer, vilket Scania förbereder sig för att kunna uppfylla i framtiden. Ett mätverktyg har utvecklats för att kunna jämföra vår programvaruarkitekturlösning med Scanias nuvarande lösning. Detta verktyg mäter kvalitetsmåtten coupling (koppling) och cohesion (samhörighet), vilka tillsammans med andra programvarumått ger en uppskattning av komplexiteten för arkitekturen. Verifieringen av programvaruarkitekturen med avseende på kraven från ISO 26262 har utförts med hjälp av kontraktteori. Examensarbetet har resulterat i alternativa arkitekturlösningar för trycksensorernas drivrutiner samt realtidsdatabasen i en av Scanias styrenheter, där lösningarna både uppfyller kraven från ISO 26262 bättre och har lägre komplexitetän Scanias nuvarande lösning. Detta har uppnåtts genom en omstrukturering av programvaruarkitekturen samt genom att undvika att återanvända gemensamma programvarufunktioner. Huvudslutsatsen som kan dras från examensarbetet är att det finns stor potential för Scania att kunna reducera programvaruarkitekturens komplexitet, samt uppfylla kraven från ISO 26262.
Sammarco, John J. "A normal accident theory-based complexity assessment methodology for safety-related embedded computer systems." Morgantown, W. Va. : [West Virginia University Libraries], 2003. http://etd.wvu.edu/templates/showETD.cfm?recnum=3171.
Повний текст джерелаTitle from document title page. Document formatted into pages; 1 v. (various pagings) : ill. (some col.). Vita. Includes abstract. Includes bibliographical references.
Seidi, Nahid. "Document-Based Databases In Platform SW Architecture For Safety Related Embedded System." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3122.
Повний текст джерелаUllah, Zain. "Performance Evaluation and Optimization of Continuous Integration Based Automated Toolchain for Safety Related Embedded Applications Software." Master's thesis, Universitätsbibliothek Chemnitz, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-225250.
Повний текст джерелаLautner, Erik, and Daniel Körner. "An integrated System Development Approach for Mobile Machinery in consistence with Functional Safety Requirements." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-200666.
Повний текст джерелаAsplund, Fredrik. "Risks Related to the Use of Software Tools when Developing Cyber-Physical Systems : A Critical Perspective on the Future of Developing Complex, Safety-Critical Systems." Doctoral thesis, KTH, Mekatronik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-152672.
Повний текст джерелаDen ökande komplexiteten och storleken på Cyber-Fysiska System (CPS) har lett till att produktiviteten i utvecklingen av CPS har minskat kraftigt. Krav på att CPS ska vara säkra att använda förvärrar problemet ytterligare, då dessa ofta är svåra att säkerställa och samtidigt av stor vikt för samhället. Mjukvaruverktyg, eller egentligen alla insatser för att automatisera utvecklingen av CPS, är en central komponent i många innovationer menade att lösa detta problem. Även om forskningen endast delvis studerat säkerhetsrelaterade konsekvenser av att automatisera produktutveckling, så är det känt att automation har haft en kraftig (och subtil) inverkan på operationella system. Om verktyg ska lösa problemet med en ökande komplexitet hos säkerhetskritiska CPS, så måste verktygens påverkan på produktutveckling, och i förlängningen på det säkra användandet av slutprodukterna, vara känd. Den här boken ger en översikt av forskningsfronten gällande säkerhetsrelaterade konsekvenser av verktygsanvändning. Denna kommer från en litteraturstudie i områdena systemsäkerhet, mjukvaruutveckling och verktygsintegration. Industriella säkerhetsstandarder identifieras som en viktig informationskälla. Då riskerna med användandet av enskilda verktyg har undersökts i stor utsträckning hos producenter av produkter relaterade till transport, studeras flera välkända säkerhetsstandarder från denna domän. Enligt de utvalda standarderna bör automation primärt utvärderas utifrån dess förmåga att självständigt utföra enskilda processteg på ett robust sätt. Automation som stödjer operatörers egna handlingar ses som tämligen oviktig. En konceptuell modell och en referensmodell har utvecklats baserat på litteraturstudien. Den förstnämnda definierar vilka entiteter och relationer som är av vikt för säkerhetsrelaterade konsekvenser av verktygsanvändning. Den sistnämnda beskriver olika aspekter av verktygsintegration och hur dessa relaterar till varandra. Genom att kombinera modellerna och utföra en riskanalys har egenskaper hos verktygskedjor som måste säkerställas för att undvika risk identifierats. Tio sådana säkerhetsrelaterade egenskaper beskrivs. Dessa säkerhetsrelaterade egenskaper möjliggör ett systematiskt sätt att begränsa vad som måste beaktas under studier av risker relaterade till verktygsanvändning. Hypotesen att ett stort antal faktorer relaterade till verktygsanvändning innebär risk kunde därför testas i en empirisk studie. Denna studie identifierade säkerhetsrelaterade svagheter i utvecklingsmiljöer knutna både till höga och låga nivåer av automation. Slutsatsen är att ett brett perspektiv, som inkluderar fler faktorer än de som beaktas av de utvalda standarderna, kommer att behövas i framtiden. Tre möjliga orsaker till att ett bredare perspektiv ändå skulle vara irrelevant analyseras, nämligen egenskaper specifika för CPS-domänen, egenskaper hos säkerhetskritiska CPS och möjligheten att lita på en beprövad, manuell process. Slutsatsen blir att ett bredare perspektiv är motiverat, och att den framtida utvecklingen av utvecklingsmiljöer för CPS sannolikt kommer att öka denna betydelse. Baserat på detta breda perspektiv läggs förslag fram för hur de mentala modellerna som bärs fram av de utvalda säkerhetstandarderna (och andra standarder som dem) kan utvecklas.
QC 20141001
Nordström, Åsa. "The effect of the update of the European standard EN 50128 : - The management of the safety of the software applications for railway applications." Thesis, Uppsala universitet, Signaler och System, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-325580.
Повний текст джерелаKaraca, Özlem [Verfasser], Linus [Akademischer Betreuer] Maurer, Linus [Gutachter] Maurer, and Georg [Gutachter] Pelz. "Pre-Silicon Safety-Related Functional Verification of Automotive Smart Power ICs Using the Fault Injection Technique / Özlem Karaca ; Gutachter: Linus Maurer, Georg Pelz ; Akademischer Betreuer: Linus Maurer ; Universität der Bundeswehr München, Fakultät für Elektrotechnik und Informationstechnik." Neubiberg : Universitätsbibliothek der Universität der Bundeswehr München, 2017. http://d-nb.info/1235493792/34.
Повний текст джерелаTurkerud, Stina Ramdahl. "Software safety issues in the maritime industry, and challenges related to human computer interfaces. Theoretical background and results of a survey among equipment suppliers, yards and classification societies in four European countries." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9520.
Повний текст джерелаThis thesis concerns the safety in user interfaces. In particular it concerns the user interfaces in systems in which safety is critical. I have studied such systems in the maritime industry, where we for instance may find them on the bridges of ships. Computer systems get more and more important in the daily routines of humans, and it is important that this does not go unnoticed. Designers of computer systems need to take human factors into consideration when designing their systems. These considerations might be especially important in complex systems, as these are often safety critical. The bridges on ships are likely to include complex systems for the operator to handle, as they often involve multiple screens, or other factors that increase the complexity of a system. Such factors might include being able to pay attention to several incidents at once. When dealing with complex systems, it is important that the operator knows how to handle the system, and also how to react when an incident occurs. These are factors that need to be considered by the designer when making the system and theories on how to do this are described in the thesis. I have also described standards which consider this, like the ISO 11064 standard, or the Atomos regulation and the ISO 17894 which considers this for the maritime industry in particular. Parts of the industry have made an effort to develop tools to be used to improve the safety. I have studied some of these efforts and presented them in the thesis. Furthermore, I have developed a survey to study how the individual members and different parts of the industry feel and behave towards safety. The survey gave an insight into reality of how safety is being handled in the industry as a whole. In particular it pointed to the main problem of the maritime industry, that the industry is very heterogeneous, and also that the different parts of the industry are in competition with each other. Most of the respondents had not heard about the Atomos regulation or the ISO 17894 standards, efforts that could have been used as a tool to improve the level of safety. The questionnaire also showed that while most of the respondents are satisfied with the level of safety in their organization, they are not satisfied with the level of safety in the overall industry. The thesis consists of six parts. Part I deals with the introduction and general theory from research methods and psychology. Part II deals with usability and related standards. These include ISO 11064, theory on usability and a description of an accident due to poorly designed user interface. Part III describes relevant background from the maritime industry, which involves the ISO 17894 standard, the Atomos regulation and e-navigation, an example of a newly made effort. Part IV gives a description of the development of my questionnaire, and also provides the results and conclusions made from them. Part V provides the conclusions and suggestions for future work, while part VI contains appendices.
Juarez, Dominguez Alma L. "Detection of Feature Interactions in Automotive Active Safety Features." Thesis, 2012. http://hdl.handle.net/10012/6701.
Повний текст джерелаUllah, Zain. "Performance Evaluation and Optimization of Continuous Integration Based Automated Toolchain for Safety Related Embedded Applications Software." Master's thesis, 2016. https://monarch.qucosa.de/id/qucosa%3A20702.
Повний текст джерелаTang, Bo. "Pedestrian Protection Using the Integration of V2V Communication and Pedestrian Automatic Emergency Braking System." Thesis, 2015. http://hdl.handle.net/1805/10057.
Повний текст джерелаThe Pedestrian Automatic Emergency Braking System (PAEB) can utilize on-board sensors to detect pedestrians and take safety related actions. However, PAEB system only benefits the individual vehicle and the pedestrians detected by its PAEB. Additionally, due to the range limitations of PAEB sensors and speed limitations of sensory data processing, PAEB system often cannot detect or do not have sufficient time to respond to a potential crash with pedestrians. For further improving pedestrian safety, we proposed the idea for integrating the complimentary capabilities of V2V and PAEB (V2V-PAEB), which allows the vehicles to share the information of pedestrians detected by PAEB system in the V2V network. So a V2V-PAEB enabled vehicle uses not only its on-board sensors of the PAEB system, but also the received V2V messages from other vehicles to detect potential collisions with pedestrians and make better safety related decisions. In this thesis, we discussed the architecture and the information processing stages of the V2V-PAEB system. In addition, a comprehensive Matlab/Simulink based simulation model of the V2V-PAEB system is also developed in PreScan simulation environment. The simulation result shows that this simulation model works properly and the V2V-PAEB system can improve pedestrian safety significantly.