好文档就是一把金锄头!
欢迎来到金锄头文库![会员中心]
电子文档交易市场
安卓APP | ios版本
电子文档交易市场
安卓APP | ios版本

Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法.ppt

21页
  • 卖家[上传人]:m****
  • 文档编号:587210989
  • 上传时间:2024-09-05
  • 文档格式:PPT
  • 文档大小:815KB
  • / 21 举报 版权申诉 马上下载
  • 文本预览
  • 下载提示
  • 常见问题
    • Explicit Connectors in Component BasedSoftware Engineering for DistributedEmbedded SystemsDietmar Schreiner, Karl M. GöschkaVienna University of TechnologyInstitute of Information SystemsDistributed Systems Group2007赁甄蕾忙穿遣炙族瑞摈拇孔芥茸常悲斗馒登唤篙番课晌侍箕洞煞涣肋昨支Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法 Overview•This talk is about–Component Based Software Engineering•components•connectors•contracts–Embedded Systems Software•distributed•dependable •resource constrained–Software Development Process•Model Driven Development•Validation and Verification of Composition Models僚敷反看示熊茸琉棕热参伎膝排袖符晕撰坡漾妨粪陪礼晒详龟御豺钞塔岿Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法2 Contribution•We show –how to simplify the development of component based distributed embedded applications by introducing explicit component connectors within model driven SE (UML 2).–how to support validation of communication properties at model level. –which types of contracts are required for model level validation of communication within composed structures.浚围厂蠢捞崎垃鞘累裙痘脂诡悄毋吧畜秆空舰圆情憾弧皑颠摘摘厕押缅沏Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法3 Outline•Overview of the Automotive Embedded Systems Domain.•Component Based Software Engineering and Model Driven Development for distributed embedded systems.•Contract Types in Composition Models.•Example Composition with Explicit Connectors and Contracts. 碉同抢痕线瑰驾熄舌握涨汰钎便横怀址陪谆杭庄渍漂缮场宁癸颁蒂脑徽精Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法4 Automotive Embedded SystemsOverview•Today's vehicle networks are truly distributed electronic systems (70+ nodes (=ECUs) [1]).•Cars contain numerous (10+) heterogeneous time or event driven bus systems–CAN, LIN, FlexRay, MOST•x-by-wire•steering aids, ABS, ESP(DSC)•remote window and lock control•engine control•airbag control•navigation systems•entertainment systems [1] P. Hansen. New s-class mercedes: Pioneering electronics. The Hansen Report on Automotive Electronics, 18(8):1–2, October 2005.‘庐衷驭柴毁峻滩摇胖锯橇免摘铃艇谋闰棘虹雏昂玖往眶蓄枉掘但屎软壤刀Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法5 Automotive Embedded SystemsTypical Properties•Software is mission critical–highly dependable–hard real-time–typically statically scheduled and bound•Lifetime is rather long (10-14 years)–modular design–exchangeable components (modules)•Systems are produced in high quantities (56.3 million cars in 2005)–costs have to be small–bug fixes are extremely expensive潮撅义完闷司汁筑陶增劫需痛漫祷距诞褐钦皑锄咙讽笛稼触赖游沮尺虹纱Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法6 Outline•Overview of the Automotive Embedded Systems Domain.•Component Based Software Engineering and Model Driven Development for distributed embedded systems.•Contract Types in Composition Models.•Example Composition with Explicit Connectors and Contracts.抠睹拍苯像褥垣煮垦青诉超黍寅椅绪唐涵戒侮惦皖吏淘隆昔腹变膜锑抹两Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法7 Component Based Software EngineeringOverview•Components are considered to be–trusted element of execution–with a well defined usage description•contracts–component contracts–interface contracts–conforming to a component model•interaction standard•composition standard•deployment standard•CBSE is a well known paradigm in classical software engineering.–Applications are built by •assembling components •deploying composed structures within a system environment 薄额优喇硼信讹区产艘方瑚宏伏侣欣级毡删渗氟闹垦家卑墙搏版透篇匪瞬Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法8 Component Based Software EngineeringComponent Composition•Association (connection) of provided and required interfaces–interaction and communication implicit–validation is typically an interface type check, sometimes also a protocol check•Distributed Interaction (Communication)–Fat Components–Light Weight Components + MiddlewareAdapter盘畔谬柞闰据霞檀纹专僻苗亦汰鄙凉捞夜燃温罩卿锅笺争碾怪赐诅伸厚员Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法9 Component Based Software EngineeringCOMPASS[2] Metamodel[1] COMPASS – Component Based Automotive System Software, http://www.infosys.tuwien.ac.at/compass‘扁逞杨培雾朋蘸剃毒灭眺耸驹删癌骇缴箱铣誊猫灯童戏进某琴谦稗痘返蔬Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法10 Component Based Software EngineeringExplicit Connectors•First class architectural entities embodying component interaction–life cycle differs from that of a component•at composition time connectors are abstract representations of interaction properties•connectors “materialize” after the components’ deployment has been specified–connector fragments are component like artefacts•Hide matters of communication and distribution from the application components–simplifies application components–application development no longer requires detailed communication subsystem know-how, when using OTS connector–communication properties are bound to the connectors蔽厨郧昏肩蕉锈沛逻战窝撼赋疗驮顽壕碰僚熔语翱坞榨田梢呐姥隔啼尊拌Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法11 Component Based Software EngineeringConnector Fragmentation•Connectors are fragmented if…–components are deployed over process/address space boundaries.–components are deployed over different nodes.•Separation into connector fragments is referred to as deployment anomaly.•Emerging contracts provide more detailed communication properties柏治囤姬笨励涅狼耗术源贵樱嗽述升蟹疾阉荧胖貌治坠戮沦斧翼鲸乾砧拉Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法12 Component Based Software EngineeringExplicit Connector Example (RPCA)证翘仍埂蛀虏屈旨滴慨米圣洛侨擅场嚼稠尝颠戴痔杆磅些妆钥灯疽罪枕咀Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法13 Outline•Overview of the Automotive Embedded Systems Domain.•Component Based Software Engineering and Model Driven Development for distributed embedded systems.•Contract Types in Composition Models.•Example Composition with Explicit Connectors and Contracts.脓姬门孤袜婉们拦卡弃蔑荔敌笨贝沮固陈削腆锚宁踩秽肘失否糕仕拯仅加Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法14 Component Based Software EngineeringContracts•Specify provided and required attributes of associated model elements.•Five main categories:–Component Contract•e.g. memory footprint, ECU restrictions–Interface Contract•e.g. operation signatures, temporal properties of operations–Port Contract•e.g. behavior protocols –Connector Contract•e.g. resource requirements, channel attributes (latency, …)–Platform Contract•e.g. bus timing (in time-driven busses), ECU attributes廓箍潦峭邵二瞄镍劲藩暂别灸伙戍敞是滑烃盒茎囤阔壮恒赂熟宏衬枝剁锈Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法15 Component Based Software EngineeringContracts•Modeled as artifacts associated with related model elements•Simple type hierarchy for contracts allows easy extensions (e.g. interface contracts)•Content of contracts is not predefined. COMPASS contracts are XML documents.江龋涧绿踞门饺袖该玖呕僚号死足胖宵束泄紧复滔宽痉傻吸披哎说嚣凯纶Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法16 Outline•Overview of the Automotive Embedded Systems Domain.•Component Based Software Engineering and Model Driven Development for distributed embedded systems.•Contract Types in Composition Models.•Example Composition with Explicit Connectors and Contracts.饿嚷汪扎拔纯迄笆八剃滓鳖舟关们末酮酵涪面检枝燕苗咐曾玲哨谊楷示纶Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法17 ExampleCompositionComponent Contract• Memory Usage• ECU restrictionsComponent Contract• Memory Usage• ECU restrictionsInterface Contract• Interface Type• Operation Signatures• WCETInterface Contract• Interface Type• Operation Signatures• WCET 松春煞庆弥纠胎郧鼻陈陇吴肯谚议烽读挠惧啥娃崔脱辰恫逞衰溯嗜盈理珍Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法18 ExampleDeployment SpecificationPlatform Contract• Memory Provision• ECU specificationPlatform Contract• Memory Provision• ECU specificationPlatform Contract 犹压影番戒敝瘸眩题仍旷尝羔林肮探婆氰如稗域汛徽媳厅陡讽羹匡背誊敞Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法19 ExampleConnector TransformationConnector Contract Calculated Interface ContractProvides properties of the server component but extends them by the communication subsystem’s constraints.• WCET of operation at server is 0.01s• WCET of connector fragments is 0.01s• BusCycle length = 0.1s (has to be consumed)• •provided execution time = 0.12s !! Violation of Contract !版暗颧利他恃搀娃庸谣惩虫纷鹃隧崭舞冈抛栖拼品夺昭雌继违仔珊挨剔候Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法20 Conclusion•The introduction of explicit connectors–allows the usage of OTS embedded connectors encapsulating communication logic•eliminates needs for heavy weight middleware•simplifies the development of application components•provides information on required system resources–allows a model level validation of compositional constraints beyond simple type checks•Future Work–Generate custom tailored middleware from application models and connector building blocks. –Develop a more precise meta-model for contracts.Thank You !采便爪沙歧蓑肮佛串咱亭柞鹊申鬃季尸颤脉觅歇燎拈梗吨棚卓舰哩撮莉氟Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法Explicit Connectors in Compoent Based Software Engineering for显式连接器在基于组件的软件工程方法21 。

      点击阅读更多内容
      关于金锄头网 - 版权申诉 - 免责声明 - 诚邀英才 - 联系我们
      手机版 | 川公网安备 51140202000112号 | 经营许可证(蜀ICP备13022795号)
      ©2008-2016 by Sichuan Goldhoe Inc. All Rights Reserved.