model-based development of embedded systems

《model-based development of embedded systems》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、Model-BasedDevelopmentofEmbeddedSystemsFranzHuber,JanPhilipps,OscarSlotoschValidasAGwww.validas.de{huber,philipps,slotosch}@validas.deAbstractWedescribeconceptsandprocessesformodel-baseddevelopmentofembeddedcontrolsystems.Toolsupportforsuchanapproachisprovidedbytheaward-winningAutoFocus/Questt

2、oolsetjointlydevelopedbyTUMünchenandValidasAG.Weoutlinereal-timeextensionsforthemod-elinglanguagesandshowhowtousetimeinformationfortesting.Asmallcasestudydemon-stratestheseextensions.IntroductionSoftwaredevelopmentapproachesthatrelyonmodelingasystembeforeperformingtheactualimplementationworkha

3、vealonghistoryincomputing.Amongthefirstonesweredata(base)modelingapproachesusingtheEntity/Relationshipmodelandsimilarothertechniques.Duringfurtherdevelopment,modelingtechniquesbecameincreasinglycomplete,coveringnotonlydataaspects,butalsostructural/topologicalandbehavioralaspectsofsystems.Typic

4、alrepresentativesofsuchfull-scalemodelingapproachesarestructuredmethods,suchasStructuredAnalysis&Design,orobject-orientedmethodsliketheUML[4].Modelscreatedinsuchamodelinglanguagecanservedifferentpurposes.Theycanberegardedasaconcise,muchmoreformalversionofotherwiseinformallygivensystemrequireme

5、nts.Inthisview,theyserveasapreciseguidelineforthedevelopersthatperformtheactualimplemen-tationwork,andcanfurthermorebeusedasabasisfortestingtheconformanceoftheimple-mentationwiththerequirements.Ifamodelinglanguageisrichenoughtoallowthecreationofcompletemodels(modelsthaten-compassallaspectsofas

6、ystemonanabstract,implementation-independentlevel),anotherpur-poseofsuchmodelsisobvious:Thecreatedmodelscannotonlybeusedtopreciselycapturetherequirementsuponthesystem,buttodescribethesystemindetail,reachinguptoacompletedescriptionofallaspectsofthesystem.Fromsuchacompletedescription,itisbasical

7、lypossible(althoughnotalwaysfeasibleordesiredinpractice)togenerateacompletesystemimplementa-tionautomatically.Animportantadvantageofsuchamodel-basedapproachis(programming)languageindependence:Modelinglanguagesareusuallydrivenbytheapplic