基于实时系统的时间追踪验证

VIP免费

3.0 侯斌 2024-11-19 4 4 2.51MB 78 页 15积分

侵权投诉



Master’sthesisinControlEngineering



Trace‐basedTimingVerificationofReal‐

TimeSystems



Tangxuhua



FacultyforOptical‐ElectricalandComputerEngineering

UniversityofShanghaiforScienceandTechnology

incooperationwith

Timing‐ArchitectsEmbeddedSystemsGmbH



1st



assessor



Wanhongpin



2nd



assessor



Wangzhengxiang



Advisors



Dr.MichaelDeubzer



AndreasSailer

Matriculationnumber



127680544



Date



March9,2015



I

Abstract

ThethesisservestopushtheprocessoftheprojectZeloS³:Creatingthemodelwhichcan

reflectthetiming‐behaviorofaspecificrealtimeoperatingsystem(RTOS)withTAToolSuite,

usingOn‐chipanalyzertotraceitsrunningprocessandreconstructitwithTAToolSuite,and

finallyusingthecustomizedJavaapplicationtodothecomparisonabouttherunning

behaviorbetweenthem,andfindingoutthereasonthatcausesthedifferences.

Thethesisbeginswiththeintroductionofbasicknowledgeaboutdebuggingtechnologiesin

themarket,andthendoingthecomparisonamongdifferentkindsofdebugging

technologies.Thesecondchapterisabouttheintroductionofthesoftwareandhardware

platformthatareusedinthethesis.Aftercoveringthefoundationalelements,thecoming

chapterisaboutthecontextswitchingresearching.Thefourthchapterisaboutthetasksin

projectZeloS³,themodelingpartandcomparisonpartwillbeintroducedindetailsinthis

chapter.

Thethesiscloseswithasynopsisofboththeexperiencesandproblemsencounteredduring

therealizationprocessandanoutlooktothefuture.



Keywords:RealTimeOperatingSystem,DebuggingTechnology,HardwareTracing,Java



II

Acknowledgments

Bestregardstoallthepeoplewhosupportandhelpmeduringthissixmonths.

Firstandforemost,Iwouldliketogratefullythankmyadvisor,Dr.MichaelDeubzer.Itisyou

thatgivemeachancetofeeltheawesomeandbeautyofGermany.

Furthermore,I’dliketothankmysupervisorAndreassailer,whoisknowledgeableand

patient,givesmehelpsanytimeIneed,givesmedirectionsanytimeIgetlost.

Thankstoallmycolleagues,FelixMartin,MaximilianHempe,andsoon,whogivemehelps

andadvisesintheirbusytime.

Heartfeltthankstomyfamily,youarethereasonwhyIamheretopursuemydream.

Finally,IexpressmydeepappreciationtomygirlfriendAminWangforherencouragement

andlove.TheromantictimeinSwitzerlandwillbeourmutualbeautifulmemoryinourlife.



Tangxuhua

Regensburg,Germany

October2014



III

Contents

1BackgroundKnowledge.......................................................................................................................1

1.1TheIntroductionofEmbeddedSystem........................................................................................1

1.2TheIntroductionofRealTimeOperatingSystem........................................................................1

1.2.1TheMainCharacteristicsofRTOSes......................................................................................2

1.2.2IntroductionofSeveralPopularRTOSProductsOnTheMarket........................................2

1.3TheIntroductionoftheMulti‐CoreSystems...............................................................................3

1.4DebuggingTechnology.................................................................................................................3

1.4.1TheSoftwareDevelopmentEnvironmentinEmbeddedSystem........................................3

1.4.2IntegratedDevelopmentEnvironmentinEmbeddedSoftware.........................................3

1.4.3CommunicationPortsforCrossDebugging.........................................................................4

1.5TheCategroriesofDebuggingStrategies...................................................................................5

1.5.1Software‐basedDebugging...................................................................................................5

1.5.2Hardware‐basedDebugging..................................................................................................7

1.5.3TheComparisonoftheDebuggingTechnologies...............................................................10

2IntroductionoftheSoftwareandHardwarePlatform....................................................................12

2.1IntroductionoftheSoftwarePlatform.......................................................................................12

2.1.1IntroductionofTAToolSuite................................................................................................12

2.1.2IntroductionofOSEK............................................................................................................12

2.1.3IntroductionofErikaOS.......................................................................................................13

2.2IntroductionoftheHardwarePlatform.....................................................................................15

2.2.1IntroductionofExperimentalBoard....................................................................................15

2.2.2IntroductionoftheOn‐chipAnalyzer..................................................................................16

2.3TheComparisonofOn‐chipAnalyzers.......................................................................................19

3DataTracingResearch........................................................................................................................22

3.1DataTracingConfigurationinOS................................................................................................22

3.2IntroductionoftheContextSwitchinginRTOS........................................................................23

3.2.1TheDefinitionofContextSwitching...................................................................................24

3.3DataHandlinginTAInspector....................................................................................................27

3.4SingleTask..................................................................................................................................30

3.4.1RelatedKnowledgeinErikaOS...........................................................................................30

3.4.2CaseStudy.............................................................................................................................31

3.4.3TheComparisonandConclusion........................................................................................33

3.5MultitaskinginNonPre‐emptiveKernel...................................................................................34

3.5.1DataHandling.......................................................................................................................34

3.5.2CaseStudy.............................................................................................................................37

3.5.3TheComparisonandConclusion........................................................................................43

3.6InterruptHandling......................................................................................................................43

3.6.1RelatedKnowledgeinErikaOS...........................................................................................43

3.6.2CaseStudy............................................................................................................................44

3.6.3TheComparisonandConclusion........................................................................................48

3.7TasksinMulti‐coreCondition.....................................................................................................49

3.7.1TaskSchedulingPrincipleinErikaOS..................................................................................49

3.7.2CaseStudy............................................................................................................................49

4ZeloS³Cycle.........................................................................................................................................51



IV

4.1IntroductionofZeloS³andItsObjectives...................................................................................51

4.2TheMainProcessofZeloS³.........................................................................................................51

4.3MyRoleinThisProject................................................................................................................52

4.3.1ModelDesigning...................................................................................................................52

4.3.2JavaProgramming...............................................................................................................56

5Outlook..............................................................................................................................................69

6Conclusion.........................................................................................................................................70

7Appendix.............................................................................................................................................72



1

1BACKGROUNDKNOWLEDGE

Thedebuggingprocessforembeddedsystemsisanimperativestepinasystemdesigning.

Thevastarrayofembeddedsystems,andtheeverincreasingcomplexityofthesystems

structuremakedebuggingagrowingchallenge.Differentdomainsimposedifferent

requirementsonthesystemsandasembeddedsystemspervadeoursociety,

newrequirementsareintroduced.

1.1THEINTRODUCTIONOFEMBEDDEDSYSTEM

Embeddedsystems,refertothededicatedapplication‐orientedcomputersystems,whose

hardwareandsoftwarepartscanbetailoredfortheconsiderationoffunctionality,reliability,

cost,powerconsumption,etc.

Itgenerallyconsistsoffourparts:anembeddedmicroprocessor,peripheralhardware

devices,embeddedoperatingsystemsandapplicationsusedinembeddedoperating

systemstoperformspecificfunctions.Withthedevelopmentofsocialeconomyand

informationtechnology,embeddedsystemshavebeenusedmorewidelyinourlives,and

playamoreandmoreimportantroleinthefieldofmilitary,academicsanddaily

lives.Prospectsfortheembeddedsystemscan’tbeunderestimated.

Comparedtogeneral‐purposecomputersystems,embeddedsystemshavethefollowing

characteristics:

Embeddedsystemsareoftenapplication‐oriented.Thebiggestdifference

betweenembeddedCPUandgeneral‐purposeembeddedCPUisthatembeddedCPUis

normallyforspecificusergroups.Ithascharacteristicssuchaslow‐powerconsumption,small

size,highintegrationandisabletointegratealotoftaskswhichshouldbefinishedby

general‐purposeCPUboardintothechip,itmakesembeddedsystemssmaller,easierfor

mobilecapability.

Anembeddedsystemistheproductofadvancedcomputertechnology,semiconductor

technology,electronictechnologyandspecificApplicationsindifferentindustries.It

determinesthatitisaninnovativeknowledgeintegratedsystems.

Embeddedsystemdoesnothavebootstrappedcapabilityfordevelopment,evenafterthe

designing,theuserusuallycan’tmodifytheprogramfunction,itonlycanbedevelopedwith

thespecificdevelopmenttoolsandenvironment.

1.2THEINTRODUCTIONOFREALTIMEOPERATINGSYSTEM

“Real‐timesystemsarecharacterizedbythesevereconsequencesthatresultiflogicalaswell

astimingcorrectnesspropertiesofthesystemarenotmet.”[2]

RealtimeoperatingsystemsbelongtoRealtimesystem.TherearetwotypesofRTOS:soft

andhard.Thepurposeofthesoftoperatingsystemistogetabalancebetweenthetask

executionspeedandmeetingthetimerequirements.AnRTOSthatcanusually

orgenerallymeetadeadlineisasoftreal‐timeOS,butifitcanmeeta

deadlinedeterministicallyitisahardreal‐timeOS.[2]

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

15 积分 4人已下载

立即下载 VIP免费下载

摘要：

Master’s thesis in Control Engineering Trace‐based Timing Verification of Real‐Time Systems Tang xuhua Faculty for Optical‐Electrical and Computer Engineering University of Shanghai for Science and Technology in cooperation with Timing‐Architects Embedded Systems GmbH 1st assessor Wan hongpi...

展开>> 收起<<

基于实时系统的时间追踪验证.pdf

共78页,预览8页

还剩页未读，继续阅读

基于实时系统的时间追踪验证

相关推荐

开通VIP享超值会员特权

作者详情

相关内容

推荐作者

热门标签

举报选择: