áӭֽƱ
ǰλãPC > >

ʵʱϵͳǶʽɿԷ԰pdf

ʱ䣺2019-06-27 06:52 Դδ֪ ༭admin

1.վ֤ûϴĵԣԤȶݶֱزķⱾվ

ʽѧλDZڵʦָ½ео ȡõоɹ֪رԱעлĵ ⣬вѾ׫доɹҲ ΪõӿƼѧѧλ֤ʹùIJϡ һͬͬ־Աоκι׾ ȷ˵ʾл⡣ ǩ ڣ ʹȨ ѧλȫ˽ӿƼѧйرʹѧλ Ĺ涨ȨйزŻͽĵĸӡʹ ̣ıĺͽġȨӿƼѧԽѧλ ȫ򲿷ݱйݿмԲӰӡӡ ɨȸֶα桢ѧλġ ܵѧλڽܺӦش˹涨 ǩ ʦǩ ڣ ժҪ ժ Ҫ żı仯չеԽԽĹܣ ģвϱƣӶҲϱߣΪϵͳİȫԺͿɿԴ µսʵʱϵͳһܹⲿ¼һʱ䷶ΧӦ ϵͳǶʽӦ㷺ɿǺʵʱϵͳҪָ꣬ ɿԷDZ֤ɿԵЧֶΡʵʱǶ ʵʱϵͳǶʽҪʹɿԷԳʹ ͳķʵ⣬ϵͳʱԼǶʽʵ֡ ʵʱϵͳǶʽɿоѵ㣬оɿԷԷ ӦһԶ֤ʵʩĿʵԡԴͳ ΪʹùʵʱϵͳǶʽʵʱԽпɿԷ ͨʹ淽ʵʱϵͳǶʽԽģʹа 桢桢ʵʱ棬һĴԡĵҪо£ 1ʵʱϵͳǶʽĿɿԷоͨԱĿǰɿ ԷóʵʱϵͳʱϷоơ ⽫ϸʵʱϵͳʱϵԭ򣬽ķ ʵʱϵͳƹҪǿĻڡ 2 ʵʱϵͳǶʽɿԲɷоͨԱ ԲɷָʹģͶԣʹ ɷʽвԡĽʵʱϵͳ桢桢ʵʱ ʹ棬ϸ̽ʹɹ̡ 3 ʵʱϵͳǶʽɿԷ̼ߵʵ֡ ʱɡʹɡִлĴ ׼ԼơԽݵ̽ռʾɿԵķ 4 ɿо ADS-B ϵͳĿʵϱĵо ϸ󣬽ɿָϵ̽пɿԷԡ ؼʣʵʱϵͳǶʽɿԷɿԲԣɿԻ I ABSTRACT ABSTRACT Computer software undertakes an increasing number of functions and its scale and complexity keep on increasing due to the development and variation of the demand of computer. This change brings new challenges for the security and reliability of computer system. Real-time system is a system can timely response to an external event trigger and it is widely used in embedded systems. Reliability is an important indicator of real-time systems, software reliability analysis and testing is an effective means to ensure and improve software reliability. Real-time and imbedibility are key character of real-time system embedded software which makes its reliability analysis and testing needs not only traditional reliability analysis and testing methods but also requires a combination of timing and embedded environments for analysis testing due to the tightly coupling characteristics between its real-time requirements and the hardware and software of embedded software. This thesis does some analysis and research on the method of analysis and testing (aims at difficulties in the research of real-time system embedded software) and finally verifies it by a specific example. This thesis does reliability analysis with method of software fault tree analysis in real-time system software; it’s based on the traditional reliability analysis testing method. The method of usage profile will be used for real-time system embedded software modeling; function profile, fault profile and real-time profile are included in usage profile. It has certain innovation. Main contents of this thesis are as follows: 1. Research on the reliability analysis method of real-time system embedded software. Do some Analysis and comparison of current methods of software reliability analysis, It will get important advantages to propose fault tree analysis method in real-time systems timeout failure analysis. This thesis will detail the cause of real-time systems timeout failure analysis, and then links need to be strengthened are presented combines with the method of software fault tree analysis in real-time system software design process. 2. Research on the reliability analysis method of real-time system embedded software. Do some Analysis and comparison on the reliability of the test method used to generate. The usage profile is more operational than the operational profile and usage II ABSTRACT model profile. This thesis creatively brings the real-time system fault profile and real-time profile into profile areas and then discusses the process of the generation of usage profile in detail. 3. Design and implementation of analysis testing process and auxiliary tools of real-time system embedded software reliability. This part includes the generation of overtime fault tree, generation of testing profile and test cases, construction of test execution environment, realization of test execution incentive, detection and collection of test data, analysis and evaluation of reliability. 4. The practice in ADS-B ground decoding system project. With the theoretical study of this thesis, the needs of the tested object will be analyzed detailed, reliability quality indicators will be established, and then the reliability analysis and testing will be started according to the process. Keywords: real-time systems, embedded software, reliability analysis, reliability testing, reliability environment III Ŀ¼ Ŀ ¼ һ 1 1.1 о 1 1.2 о״ 2 1.2.1 ɿԵо뷢չ 2 1.2.2 ʵʱϵͳǶɿо뷢չ 2 1.3 Ҫо 3 1.4 Ľṹ 4 ڶ ʵʱϵͳǶʽɿ 5 2.1 ʵʱϵͳ 5 2.1.1 ʵʱϵͳķ 5 2.1.2 Ƕʽʵʱϵͳ 6 2.1.3 ǶʽʵʱϵͳERTOS 7 2.2 ɿ 9 2.2.1 ɿԹ̻ 10 2.2.2 ɿԷ11 2.2.3 ɿԲ 12 2.3 ʵʱǶԶɿоӰ 14 2.4 С 15 ʵʱϵͳǶʽɿԷ 16 3.1 ϵͳ 16 3.2 ϵͳ 17 3.2.1 ϵͳ 17 3.2.2 ʵʱϵͳǶʽɿָϵ 21 3.2.2.1 ʱָ 21 3.2.2.2 ָ 22 3.3 ϵͳоؼ 23 3.3.1 23 3.3.2 ʹ潨ģ 24 3.3.3 ʵʱϵͳǶʽʱԼ 25 3.3.3.1 ̬ʱ 26 IV Ŀ¼ 3.3.3.2 ̬ʵʱ⼼ 26 3.4 С 28 ʵʱϵͳǶʽɿԷʵ 29 4.1 ڹɿԷϵͳʵ 29 4.1.1 ʵʱϵͳǶʽ 29 4.1.2 ʵʱϵͳǶʽʱʵ 30 4.1.3 ʵʱϵͳǶʽʱС 33 4.2 ʹɿԲϵͳʵ 34 4.2.1 ʹ湹ʵ 34 4.2.1.1 ʹ湹 34 4.2.1.2 ʵʱϵͳǶʽʹ 37 4.2.1.3 ʹ潨ģɿָ 38 4.2.2 ʵ 39 4.2.3 ִģʵ 41 4.2.3.1 ģʱ 41 4.2.3.2 ʲ 42 4.2.3.3 ڴز 43 4.2.3.4 CPU ز 44 4.2.3.5 жϲ 44 4.2.3.6 ӿݲ 45 4.2.4 ɿģʵ 46 4.2.4.1 Nelson ģ 46 4.2.4.2 ʧЧݵռ 46 4.3 ʵʱϵͳǶʽɿԷԻʵ 48 4.3.1 Թʵ 49 4.3.2 Դʵ 50 4.3.3 ͨģʵ 51 4.4 С 52 ADS-B ϵͳʵ֤ 53 5.1 ADS-B ϵͳ 53 5.2 ADS-B ϵͳĿɿԷ֤ 54 5.3 ADS-B ϵͳɿԲ֤ 56 5.3.1 ʹ潨 56 V Ŀ¼ 5.3.2 60 5.3.3 ִ 62 5.3.3.1 ִл 62 5.3.3.2 Լγ 63 5.3.3.3 Դ׼ 64 5.3.3.4 ִй 66 5.3.4 Խɿ 67 5.3.4.1 ռ 67 5.3.4.2 ɿ 69 5.3.4.3 ADS-B ɿԽ 69 5.4 С 70 71 6.1 ȫܽ 71 6.2 չ 72 л 73 ο 74 ˶ڼȡõоɹ 77 VI ͼĿ¼ ͼĿ¼ ͼ2-1 ǶʽԻ 7 ͼ2-2 ɿԹ̻ 10 ͼ2-3 ɿԲ 12 ͼ3-1 ϵͳƿͼ 18 ͼ3-2 ʵʱǶʽɿԷ 19 ͼ3-3 ʵʱϵͳǶʽɿԲ 20 ͼ3-4 ʵʱϵͳǶʽɿָϵ 21 ͼ3-5 24 ͼ3-6 ʹҪԪ 25 ͼ3-7 Keil uVision4 ¼ʱ 28 ͼ4-1 ʵʱϵͳʱ 33 ͼ4-2 С 34 ͼ4-3 ʹ湹 35 ͼ4-4 ûʹʾ 35 ͼ4-5 ģʽʹ 36 ͼ4-6 ʹͼ 37 ͼ4-7 ʵʱϵͳʹģʽ 37 ͼ4-8 Ӧʱ 38 ͼ4-9 ʱ 38 ͼ4-10 39 ͼ4-11 м 40 ͼ4-12 UML ͼ 41 ͼ4-13 ׮λʾͼ 42 ͼ4-14 ʧЧ 47 ͼ4-15 ʵʱϵͳǶʽԹ 50 ͼ4-17 ͨģ 51 ͼ5-1 ADS-B ϵͳܹ 53 ͼ5-2 ADS-B ϵͳ 56 ͼ5-3 ADS-B ģʽ 57 ͼ5-4 ADS-B 57 VII ͼĿ¼ ͼ5-5 ADS-B ϵͳ 58 ͼ5-6 ADS-B ʵʱ 59 ͼ5-7 ʾ 62 ͼ5-8 XML ʾ 62 ͼ5-9 ADS-B ɿԲԻ 63 ͼ5-10 ADS-B ģⷢϵͳ 64 ͼ5-11 ִйչʾ 67 ͼ5-12 ʵʱʾ 67 ͼ5-13 ʧЧʾ 68 ͼ5-14 Ӧʱ估ʱʾ 68 ͼ5-15 Էʾ 69 VIII Ŀ¼ Ŀ¼ 2-1 ǶʽʵʱϵͳǶʽʵʱϵͳҪ 6 2-2 ʵʱϵͳ 8 4-1 ʧЧ 48 4-2 ʧЧʱ 48 5-1 ADS-B ϵͳĿƹϵ 54 5-2 ADS-B ϵͳ 60 5-3 ADS-B ϵͳ() 61 5-4 ϵͳADS-B ʽ 64 IX Ӣд Ӣȫ Ӣĺ ADS-B Automatic Dependent Surveillance – 㲥ʽԶؼ Broadcast UML Unified Modeling Language ͳһģ I/O Input/Output / JTAG Joint Test Action Group ϲΪ֯ ERTOS Embedded Real-Time Operating System Ƕʽʵʱϵͳ CPU Central Processing Unit 봦 RTOS Real-Time Operating System ʵʱϵͳ SFTA Software Fault Tree Analysis SFMEA Software Failure Mode and Effects ʧЧģʽӰ Analysis MTTF Mean Time To Failure ƽʧЧǰʱ MTBF Mean Time Between Failure ƽϼʱ GUI Graphical User Interface ͼûӿ ARM Advanced RISC Machines ָ FPGA Field Programmable Gate Array ֳɱ UDP User Datagram Protocol ûݱЭ RTC Real-Time Clock ʵʱʱ UUP User Usage Profile ûʹ MUP Mode Usage Profile ģʽʹ PUP Procedure Usage Profile ʹ UP Usage Profile ʹ ATC Air Traffic Control нͨ A/D Analog to Digital Converter ģת CPR Compact Position Reporting λñ XML Extensible Markup Language չ X һ һ 1.1 о 20 50 ߼ԵУǶԼ [1] ԽԽ ںϵͳܹʵʱĿ봦ɻݣ ڹ򣬼ܹʶ𣬷ʿƣϵͳܹ ʵʱЭУڹҵ򣬼ܹʵʱļ ʵֹ̿ϵͳڵվơҽеװͨϵͳжŹ ӦáӦõ࣬ȻĹעͬӦöϵ ͳҪһеϵͳ纽ҽ ʧЧƲشʧ ARIANE5 ״40 ֮Ի٣ɴ 5 Ԫľʧ ʹÿƻòƴ꣬ԭԲοϵͳַתʱ 磬̬δķ͸ػļϵͳTherac 25 ͷ ǣɻ⵽ˣԭϵͳưȫԷ ȱݣ˳ķ䡣սڼĨDߡ ʧЧ28 ٱը70 ǧֱʧǧԪЩϵͳ ɿ˲صʧɿѾΪ ӵָ꣬Ҫϼǿ ĿɿԣҪϸȡ̣Աˮ ƽڲԵϱ֤ɿϵͳʧЧоʽ ʧЧɿԵķܹԵ ߺͽϵͳɿԡ ʵʱϵͳǶʽǼһ֧ⲿӦʱҪ ǶʽϵͳУӲ豸Ѿڳ죬ͬʱóIJϵͳ ʹϵͳһɿȶĻĸԣƽ̨еӦ Ҫǿ󣬿ɿԸߣȶǿǶʽڼǿӲԡʵ ʱԣǶʽԵIJܲôͳIJԷǶʽò ƷòƷĹ㷺Ӧãעɿ⡣Ƕʽʵʱϵͳ רԼǿǶʽϵͳĿɿоĿǰϵͳ ʵʱϵͳǶʽĿɿԷԽоձܹõķ Ҫ塣 1 ӿƼѧ˶ʿѧλ 1.2 о״ 1.2.1 ɿԵо뷢չ ̵ķչԼǿҪɿԵķչ ׶Σ һ׶Σ1950-1966 ꣩ڴڼ䣬ڳ׶Σûרְ [2] ijԱûпõ淶ûɿԹ̵ĸ 1959 꿪 ʼӲչѸͣĿɿȻӡ ڶ׶Σ1967-1989 ꣩Լɿõ㷺ע Ѹͷչɿģڷչǰˡ1967 ꣬Hudon ״ Եĸй״̬еĴ壬ģ [3] [4] 1972 ꣬M.L.Shooman Shooman ģ Jelinski Moranda J-M [5] ģ ǵģ;ʧЧʣȹϵͬʱ ޳µĴ1972 ꣬һBayes ģͱʧЧ [6] ʱֲָ 1975 ꣬J.D.Musa ִʱģͣP.B.Moranda Possion ģͣM.L.Shooman ɷģͣN.F.Schneidewind NHPP ģ֮͡԰ټƵģͱٽɿԵķչ ׶Σ1990 񣩡18 ĩDɿԷּίԱᡬ ٰйɿԹ̵Ĺʻ飬ɿԻþ޴չ1995 ꣬ Mei-hua Chen ȷıʾɿԵģӦǸʵϢԿɿ оijԡ19 ͳKaterina ϽչԽ ɿ޹IJ衣 ڹ⣬ڶԿɿԵоͺ󡣻̵ɿԷ оϵͳоΪ׶ζҦһƽɿԤ ơɿۺϷȡɹ̽˶̬Ӳϵķ ʽ̿ԪɿơɿԵļ⡢ɿģͷ [7] شףģɿģ ׺ȶʵʱϵͳĿɿ [8] ̽ΪĿɿԵԪпɿ ½һǶʽʹ湹췽 1.2.2 ʵʱϵͳǶɿо뷢չ ǶʽϵͳӦΪĵӲɲüļרϵͳڼ 豸ϵͳ1970 ꣬ҵ翪ʼоǶʽϵͳɿԣ 2 һ [9] Ƕʽϵͳģо 1990 Ժ󣬾òƷòƷǶʽϵ ͳ¶ɿ⣬ǻо ΪɿϵеǶʽɿԷʵʩڡ ӲɿԷҵЧǶʽɿԷ·Ϊ ̬ģͷ̬ģͷpetri ̬ģͷɿԿ [10] ͼ¼ȡ̬ģͷGO ̬Markov ǶʽɿԲԵķչҪڶʹ÷ı] ꣬T.Downs ԲԹֱӽģ ۵õĺѧߵĹ㷺֧ [12] Ӧá1993 ꣬John Musa һIJ ѧ б㷺չͬ꣬J.A.whittaker ͳƲԵʹģ [ 13] ɷ̶Թ̼о K.H.Chang[14]ĿɿԲԡUML Ϊҵ繫ϵͳһģ [15] ׼ ǶʽרԼǿڵķԻԾϵͳ ơҵΪ̲ڣڿһܹǶʽ Ի¹RT-LAB/ATB RT-TesterбGESTE[16] ǶʽϵͳбIJͬ²Իĸı䣬Щı ϵģͨõǶʽԻɡΪЧĽ ͨǶʽƿҪǶʽϵͳзơлʵ ʻIJ죬ԼƣоǶʽ] ȫʵķԻʵķԻȫֵķԻ ʵʱϵͳǶʽɿԵо˵һĿɿ ӿɿԷ潨ģԻҪϸ 1.3 Ҫо ΧʵʱϵͳǶʽĿɿԽзооݰ (1) ʵʱϵͳǶʽĿɿԷоӦʵʱϵͳǶʽ ĿɿԷоʵʱϵͳɳʱأͨԳʱϽй ϵͳҪǿƵģ顣 (2) ʵʱϵͳǶʽģоϸоʹĽģ ʹиĽʹ桢棬ʵʱ档 ɸʹṹɡ 3 ӿƼѧ˶ʿѧλ (3) ʵһʵʱϵͳǶʽɿԷ̼Ի ԷԵ̣ʵַ̹Թ̹ݵʵʱ ԽԻԹʵ֡Դ ʵ֡ͨŵʵ֡ (4) ADS-B ϵͳ֤еоԼƵIJ Ӧһʵнз֤ 1.4 Ľṹ ҪоʵʱϵͳǶʽĿɿԷԣһ ߣҪṹ£ һ£оо壬ڹо״Ҫ оݡ ڶ£ʵʱϵͳǶʽɿۡʵʱϵͳĻԡ Լϵͳص㣻ɿԷԵĻ뷽˵ ʵʱǶԶĿɿоӰ졣 £ϵͳԼؼʵʱϵͳϵͳ幦 ģ飬ʵʱϵͳǶʽĿɿָ꣬оϵͳʵֵĹؼ £ɿԲ̼Իʵ֡ϵڶµۣ µƣģоʵַԻаķ ԹԼԴʵ֡ £ADS-B ϵͳ֤ǰ½ڷӦڱ ϵͳ鷽ȷԡ £ܽȫĹָĹס㼰о 4 ڶ ʵʱϵͳǶʽɿ ڶ ʵʱϵͳǶʽɿ ʵʱϵͳһܹ޶ʱ䷶Χ޶ܵļϵͳǶ ʽʵʱϵͳʵʱϵͳһ֧пɿоҪá ʵʱϵͳΪϸ֣̽Ƕʽʵʱϵͳص㣬оǶʽ ʵʱϵͳҪԡȻɿۣصɿԹ ̡ۡ̽оʵʱǶԶɿоӰ켰 ǶʽɿԲԻ 2.1 ʵʱϵͳ ʵʱϵͳҪܹⲿ¼ʱӦ䴦¼ѵʱ ¼õȷ߼ͬҪϵͳʱͬ [18] ΪʧЧ 2.1.1 ʵʱϵͳķ Ӧ÷ʽӦûʵʱԳ̶ȣʵʱϵͳжַ෽ʽ 1. ʵʱϵͳӦãΪ  ʵʱ̿ϵͳָһϵͳܹûӰ ƵĵĹ̡  ʵʱϢϵͳָʵʱϢʵʱϵͳ 2. ʵʱϵͳӦûΪ  Ӧʵʱϵͳܹͨʵ˻ʵʱϵͳɻƱ ϵͳݴϵͳǶӦʱûرߵҪ  ǶʽʵʱϵͳǶ뵽һĶϵͳУִⲿ IJء 3. ʵʱҪij̶ȣΪ  ʵʱϵͳʵʱԲ̫ߵϵͳӦʱ뼶(s)ϣ ߲ѯ  һʵʱϵͳӦʱҪǿϵͳӦʱں뼶(ms)뼶(s) ý岥š  ǿʵʱϵͳӦʱҪܸߣں(ms)΢뼶(μs)ػ ơ 5 ӿƼѧ˶ʿѧλ 2.1.2 Ƕʽʵʱϵͳ ӦʵʱϵͳǶʽʵʱϵͳʵʱϵͳ֧Ƕʽʵ ʱϵͳӦĿǰľòƷлù㷺ӦáǶʽϵͳǶij ĶϵͳУִⲿIJء ǶʽϵͳķչҪĻǶԡܻԡ רԡǶָϵͳǶ뵽ϵͳУû޷ֱӲ ܻǶʽϵͳĸĿģǶʽϵͳǶʽĴڣ ൱ڵϵͳڰ˼ܹ֤ϵͳܻרָǶ ʽϵͳԲͬӦÿڿԼ£ϵͳӲǿ üģϵͳҲǿԲüġ ǶʽϵͳǶIJβͬǶ뷽ʽһǶ룬 ǶʽϵͳǶϵͳֻṩӿⲿϵͳ صãڶDzʽǶ룬ԹʽǶϵͳ һֹܣоƬʽǶ룬ǶоƬļܣ [19] д洢I/O ӿڣʵרŵĹܣɶȷdzĸ ǶʽʵʱϵͳȣǶʽʵʱϵͳרԼԣ Ҫ±2-1 ʾ 2-1 ǶʽʵʱϵͳǶʽʵʱϵͳҪ ϵͳ Ƕʽʵʱϵͳ Ƕʽʵʱϵͳ dzרãۺϿdzߴ硢 ר һרãһֻǴ ġ۸񡢴ٶ л Ƕ뵽Ӧ ʹ ʵʱҪ ϸ һ ʽ 濪ʽ ͨʽ Էʽ Էʽ ͨԷʽ Ӳɲü ɲü Ӳɲü ɲüϵͳü һֻṩӿڸ ûĽ ṩӿû ṩûӿ 6 ڶ ʵʱϵͳǶʽɿ ϱУ濪ʽָǶʽϵͳûṩıд棬 ĿĿ֮֡ǶʽϵͳĿĿ [20] Ƕʽϵͳл Ҫƻд Ƕʽ롢ǶʽϵĻԣԼӶַĿ ҪĿ ԷʽָĿǰ£ͨԹ߻ ɽԹߵĿKeil uVision4 ǶʽĿеʵʱ ԡԿԶȡйijЩĴеֵ鿴Ƕʽ״̬ Ŀ֮һַʽӡӡJTAG JLINK ӣͼ2-1 ʾ ߡ Ŀ JTAGJLINK ͼ2-1 ǶʽԻ ǶʽʵʱϵͳûΪʵֵӲǰ ӲԶһָ꣬ԽӲ ϿԡǶʽϵͳзУռ4/5 ߣ ӲĽԣԹռܴء 2.1.3 Ƕʽʵʱϵͳ ERTOS ʵʱϵͳǶʽĹҪⲿ¼ʱܹʱӦ شʵʱԴҪǶʽʵʱϵͳ ǶʽʵʱУֲƣ  ѯϵͳѯϵͳҲΪѭϵͳϵͳɶӳ ɣÿϵͳӲһ֡Щһ˳ ռCPUƶϵͳ  ǰ̨ϵͳжϵͳں̨һѯ Poling ʽ CPU ǰ̨ʵʱ񵽴жϣȻ󽫸 ת̨ǰ̨жϼ̨ʵʱ  Ƕʽʵʱϵͳʵʱϵͳṩƣṩͬ жϻƣʹơչַܹ CPU Ķ ϵͳʵʱԵҪ 7 ӿƼѧ˶ʿѧλ ѯϵͳǰ̨ϵͳʵֵǶʽϵͳʵʱԷdzڴ͵ĸ ϵͳûƣӹ˵ RTOS Ƕʽϵͳſɳ֮Ϊ ǶʽʵʱϵͳǶʽʵʱϵͳ㷺ڸ uClinux Windows CE VxWorks μC/OS-II ںպϵͳ¡ͨϵͳȡǶ ʽʵʱϵͳѯϵͳǰ̨ϵͳҪ±2-2 ʾɱɼ ǶʽʵʱϵͳǶʽϵͳܹʵָӦãӦ϶Ӧ ERTOS ˽ʵʱܵϡ 2-2 ʵʱϵͳ ϵͳ Ƕʽʵʱϵͳ Ƕʽѯϵͳ Ƕʽǰ̨ϵͳ һ ȷʽ ӵ ˳ִ ʵʱԴʩ ͬжϻ ˳ִл жϻ ¼Ӧ ǿ ǿ ʵֹܸӶ RTOS ǶʽʵʱϵͳḶ́ʵʱϵͳڣʼִп гû󻮷Ϊ񣬰ղͬÿ񱻷 ӦȼRTOS ȼ㷨ȸУַʽ֤ ҪִУܹϺõı֤ʵʱԡ ǶʽʵʱϵͳʵʵʱҪµҪأ (1) һιܽϵһijʵʱϵͳӦóưֽΪ ֮ĹȼÿרõļĴ ջռ䡣 (2) ʵʱں ʵʱںǶʽʵʱϵͳʵֵĺģΪϵͳҪܰ ΪCPU ʱ䣬֮ͨţлʵʱں źĹϢСʱȶϵͳҪõϵͳ (3) ʵʱϵͳǶʽϵͳںһؼǹ֮ȣȷ ijʱ䡢ijǷֵijСijó CPU ȼ 8 ڶ ʵʱϵͳǶʽɿ ʵʱϵͳʵʱں˲ȡҪ ȼйǷԸı䣬㷨ɷΪ̬ȷ ʽ붯̬̬ȷʽ յȹǷÿɰ᷽ʽ㷨Ϊɰȷʽǰ ȷʽ (4) ϵͳж жϵͳӲƣжϵķ֪ͨͨ봦첽¼ 룬ϵͳ쳣ijȡжʹCPU ʱʱѯǷϵͳҪ¼CPU ֻ¼ʱŴӶ CPU ԸЧϵͳ¼ (5) ʱӽ ǶʽϵͳͨĶʱṩһ̶ʱϵͳʱӾ ʱжϣʱɾϵͳһΪ10ms 200ms 䡣ʱӽ ڲϵͳںеӦҪǶʱʱʱʱʱʱΪϵͳʱ ϵͳʱӽԽ죬ԽĶ⿪ (6) Դ ԴйҪʹõԴӲԴԴDZ 飬ҲݽṹȵȣӲԴǴӡʾȡ ԴָܹͬʹõϵͳԴһĴӡΪ ֹݵIJһ£ںṩ˻ʹùܡ 2.2 ɿ ɿԽ˿ɿԹֱ̣ϵͳʧЧо IEEE ѧĽ綨ɿָл£ڲʱ ΧڣϵͳᵼϵͳʧЧĸʡû [21] ϵͳڲ״̬תϵͳдڴĿ Ҳ˵ڹ ʱ价ִضܵ ޶ָϵͳлзʽлָϵͳеڲ ⲿӲصIJϵͳݿϵͳǶӦ CPUٻ cacheڴ桢/ӿӦӲз ʽָҪÿԪأйеʹ ʣγɵһ͸صIJģ͡ ʱֱʾʽʱ䣬ָճеʱ䣻ʱʱ䣬ָ 9 ӿƼѧ˶ʿѧλ еʱ䣬ȴʱ䵫ͣʱ䣻ִʱ䣬ֳΪ CPU ʱ䣬ָϵͳйпƴռõʱ䡣ɿһʹ CPU ʱ䡣 2.2.1 ɿԹ̻ ɿԹ̽ʹ۷ÿѧԼѧ淶ָ ɿĿԼɿԡҪֵ̽ʧЧءα֤ [22] ĿɿԣԼĿɿԳ̶ ɿԹҪ ͼ2-2 ʾ ȡ ʵ ս ʹά ɿԷ ɿ ɿ ɿ ɿ ɿ ɿ ʵ ά ɿĿ ɿԼ ɿ ɿԲ ɿ ʶ Ԥ Լ ȡ ٷ ɿԶ/ɿԹ̹ ͼ2-2 ɿԹ̻ (1) ɿȡɿԹ̴ʹýǶɿԵĿ꼰 ɿԵĿ꼰ӦĹܼתΪɿ [23] ָϵ 䵽ģ顣 (2) ɿԷơĿǰɿԵķݴơܴ ԼơɿԷǼϵͳϵIJɺֶΣΪϵͳ ƵĿɿṩݣݷóϵͳڡؼڣʵʩӦ ǿɿԵĴʩ (3) ɿԲԼǼǷɿҪÿ ʾûʵʩһɿǶɿָ꼰ƵҪֶΡ ɿԹһģͣ  ɿԲģ͡ģڲͬв˲ͬ˵е Ϊ棬еijΪɿģͣеֱӳΪԷĿĶ 10 ڶ ʵʱϵͳǶʽɿ ɷʹ÷ʽIJݣijƴģΪɿԲģ ͡  ɿģ͡ΪɿԤģͣǿɿ Ҫۻûر˵ɿģһָɿģͣ ͳƷʽݣӦɿָ Ԥ⡣ ɿָĶʽӦȡʱӦ ɿָָɿԲɿĿꡣ ɿָУһЩͨõɿָ꣬ɿҪط Ϊ˳ԡݴԡ׻ָԡʧЧʡʧЧʡ ϷʡϽʡƽʧЧʱ䡢Ըʡͨʡƽ ʱ䡢ƽ޸ʱȡʵʱϵͳǶʽĿɿָҪ صָ꣬еָݾӦɸѡӦ ָꡣ 2.2.2 ɿԷ ɿԲϵͳķϵͳԶĿ ҳƹеĹؼڡȫҪԻڡϵͳʧЧڣͨ ЩڵԤͿƣϵͳʧЧĿǰҵձʹ ʧЧģʽӰͬʱPetri ԼPetri ӦҲ ɿԷõƳ硣 1 (SFTA)ǹ㷺ʹõɿԷͨϵͳ ƵܵϵͳʧЧԭ򣬽ҵϵͳĴڣָ ϵͳƸĽڿڣʹȷҪصƵĻڣ [24] ƺڻɺͨһϸָ޸ ҪǽĹؼ¼תΪϵͳֹ 2 ʧЧģʽӰ ʧЧģʽӰ(SFMEA) ¶ϵķһ 㷨вķÿһֹܵʧЧģʽÿһʧЧģʽϵͳӰԼ س̶ȡSFMEA ķϵͳܼģʽĹϡ ϵԭ򡢷ϵӰ졢ĽʩSFMEA տڻ 11 ӿƼѧ˶ʿѧλ ϸƽ׶Σѡϵͳϸ 3 Petri Petri һϵͳģϵͳͼηǷǾ̬ķ ʽ˵״̬תƵĹ̡λáǨpetri ĻҪءλñʾϵ ͳֲ״̬ϵͳԴ״̬е״̬Ǩʾʹϵͳ״̬仯 ¼緢ϢԴ״̬¼תƹϵPetri Ҫ 꾡ķʹ൱СϵͳҲˡ˸ָĽģͣ綨 [25] ʱPetri Petri Petri ȡ 2.2.3 ɿԲ ɿԲֱʧЧģûʵʹеIJԡ һڷ󣬶ɿԵ߾һЧ Բ޶ЧķӰɿԵȱݣɿ ͬʱɿɿԲΪݣͨһϵеļ ߼㷨ĿǻȡɿԳ̶ȣжϵͳǷﵽû ĿɿԲԹһɷΪ湹졢ԷƶִкͲ ׶Σͼ2-3 ʾ Ԥڽ о ˵ Է ƻ ׼ ִ 湹 ƶ ﵽĿꣿ δﵽ ع ֹ ͼ2-3 ɿԲ (1) ĹʧЧϵڱʽһ£ ȱݱϡһáͬ УǶʽĿ껷ͿУ伤ϵ ͬȱк㲻ܱһ 㱻ģıʽӰɿԲԵ 12 ڶ ʵʱϵͳǶʽɿ ׼ȷԡ (2) ԷƶĿɿȷɿĿ꣬ݿɿĿ ɲԼƻȷлɿĿָûɿԵ һͨɿԡMTTF MTBF (3) ׼ɲļһĸ Ҫ׼Ի (4) ִСղԷ˳ִв¼ִйִ̡н ִʱԼʧЧʱȣжϲǷԤڵĽ (5) ɿģ͵ҪԻȡݣݽз Է档ԽĿɿҪӦ ֯عԡ ɿԲݵҵҪƳֲģͣ淽Լ ʹģͷ 1潨ģ һֲַ÷ģָͣɿԲе޶ 1993 ꣬Musa 棺  ͻ档ͻʹòĿͻȺ  û档ûǻڿͻIJͬûȺ塣  ϵͳģʽ档ϵͳģʽǻûIJͬʹģʽ  档ÿϵͳģʽµĹ  档һҪһͬϵͳ ڲͬĴʽ иֵĸʹƿͨûĵ飬ϵͳķר ԼݾƲƷĸʽйơɣDz ض㷨ʹòĸҪ󣬼ʹøʸߵķ ʹøԽϵ͵ķٵIJIJο ൱ģеIJοԺϲΪһΣʹӦԼ򻯡 2 ʹģͽģ ʹģͽģһͳƲԷʹģ͵ıʾжʽ Markov ģ͵۱㷺оͬʱڹб㷺Ӧá ɷģ÷Markov ̡ɷһ [26] ̣һ״̬һ״ֻ̬˿״̬أ֮ǰ״̬޹ Markov ģͿʹ״̬ģɢMarkov Markov ģʹ 13 ӿƼѧ˶ʿѧλ Բʾ״ִ̬ʱϵͳ״̬ôͷı߱ʾ״̬ת״̬ תñϵĸʱʾ״̬תƸʷֲ״̬תӦ걸ԣ ͬһ״̬г߸ʺΪD1 Markov ijʼ״̬ʼȷÿ״̬һ״̬һ״̬ ģ͵Ľ״̬ʱ״̬תгֵı״̬γɵ·γһ еIJйɲмݲм ĸơ 2.3 ʵʱǶԶɿоӰ ʵʱϵͳǶʽµԣʹöķͨķ Ծнϴ졣 (1) ӦÿǶʽӦ򺭸Ǻպ졢 ȸ棬ͬӦвͬӲѡͬǶʽϵͳʹ ҪԲͬϵͳвIJԷʽͨǶʽԷҪ չܸõIJԡ (2) Host/Target ʽǶʽ뿪IJ𣬵 ԿɷϲԡĿϲԡĿԡ (3) ӲĽܽϡǶʽĿӲݵĽ ҪӿԼ佻ĻǶʽһضӦÿǶ ʽϵͳأֲϵͳǶʽĿɿоҪ Ӳϵһ𣬴ϵͳۺϿǡ (4) ޵ڴԴǶʽϵͳڴӦѡãܴڸĿռ 洢ݡɿԲԵݲܽ϶ĴϵͳУӦʱ 䵽洢ռ䡣 (5) ޵ CPU ԴCPU ӦǶʽļ㴦ɿ ԽʹǶʽϵͳCPU Ӱϵͳ ɲҪʧЧӰԽ׼ȷԡ (6) ޶Ӧʱ䡣ʵʱϵͳ¼ĴҪ޶ʱ䴦 ʱ䳬ʱʹ߼ȷϵͳҲǴʧЧ״̬Ҳͬ ǣҪʹȷҪڹ涨ʱԼ˳ ʱȡ [27] ǶʽɿԲԻձַʽ 1ȫʵ ڶ ʵʱϵͳǶʽɿ

“ԭĵ”ǰΪ“ĵͶ׬Ǯ”վΪ“ĵC2Cģʽ”ûϴĵֱ()ûվֻмƽ̨վĵõϴ()Сɽ100%(ԭ)

http://ammanphoto.com/yunxingpoumian/113.html
������QQ΢������������΢��
|ϵ|Ȩ|վͼ|
Copyright © 2002-2019 ֽƱ Ȩ