Model-Based Engineering - AADL

4星(超过85%的资源)
所需积分/C币:36 2014-05-18 16:39:04 1.62MB PDF
51
收藏 收藏
举报

AADL Model-Based Engineering
AADL: Components and connections Component type identifier r……… Component Category ·data subprogram component category · thread application extends [component type] features · thread group features ·port process flow specification port group properties parameter memory device atform access subprog ocessor/virt processor bus/virt bus implements · systen abstract composite type is one of Properties Package standard Component implementation publ user defined component classifier identifier private extends icomponent implementation component classifier refines type subcomponents Propel rty set connections m■■■a口 call sequences Connections property types modes◆ data property definitions flow implementation end-to-end flows event property values properties, event data port group access modes mode transitions mode configurations more details ■■■■■■■■■■■■■■■ A Software Engineering Institute Carnegie Mellon AADL Introduction Peter Feiler, June 2009 c 2009 Carnegie P ellon University Application Components System hierarchical organization of components System Process: protected address space process Thread group: organization of threads in processes Thread group Thread: a schedulable unit of concurrent execution Thread冖气 Data: potentially sharable data data typing data Subprogram: callable unit of sequential code < Subprogram AADL Introduction Software Engineering Institute CarnegieMellon Peter Feiler,'une 2009 c 2009 Carnegie Mellon University Execution Platform Components Processor- provides thread scheduling and execution services rocessor Virtual processor -hierarchical schedulers partitions rtual Processor Memory -provides storage for data and source code Memory Bus provides physical connectivity between hardware components (Bus Virtual bus-virtual channels& protocols irt Bus Device -interface to external environment, physical components levice A Software Engineering Institute Carnegie Mellon AADL Introduction Peter Feiler, June 2009 c 2009 Carnegie P ellon University System Type System system GPS features speed data: in data port metric_speed ISEI:: BaseType = UInt16ii geo_db: requires data access realtime geoDB s__control_data: out data port state controli flows speed control: flow path [type] extends speed data ->control_datai features properties sEI:: redundancy = duali flows end gPS; properties speed data GPS s control data geo db AADL Introduction Software Engineering Institute CarnegieMellon Peter Feiler, June 2009 c 2009 Carnegie Mellon University System Implementation system implementation GPS secure implementation] extends subcomponents refines type decoder: system PGP_ decoder basici subcomponents encoder: system PGP_encoder basici calIs connections receiver: system GPsreceiver basici flows connec七i。ns modes cl: data port speed data decoder. ini properties C2: data port decoder. out recelver·1n c3: data port receiver out encoder. ini C4: data port encoder. out-> control datai flows speed_control: flow path speed_data - cl decoder. fs1 ->c2 -> receiver. fs1 c3 - decoder. fs1 >C4->s control datai modes none properties arch: redundancy scheme = Primary Backup end GPSi Software Engineering Institute Carnegie Mellon AADL Introduction Peter Feiler, June 2009 c 2009 Carnegie Mellon University Some Standard Properties Dispatch_Protocol=> Periodic Thread Period => 100 ms Compute Deadline => value(Period) Compute Execution Time=> 10 ms. 20 ms Code to be executed on dispatch Compute Entrypoint=> speed control Source Text = "waypoint. java Source Code size=>12 KB File containing the application code Thread Swap Execution Time = 5 us. 10 us; Processor Clock Jitter=>5 ps Allowed_Message Size=>1 KB Protocols is a user Bus Propagation Delay=>1ps. 2ps, defined property Bus Properties: Protocols=> CSMA, 2 AADL Introduction Software Engineering Institute CarnegieMellon Peter Feiler, June 2009 8 c 2009 Carnegie Mellon University Latency Impact of Partitions Sensor Request for new page New page content display ············· anager Latency contribution ge Conten Manager Partition period per partition hop Flight Manager Flight Director Software Engineering Institute Carnegie Mellon AADL Introduction Peter Feiler, June 2009 c 2009 Carnegie Mellon University Flow Sources, paths, sinks Brake Cruise Control Throttle Pedal actuator device brake pedal £ eatures brake_status: out data port bopl_typei f1。ws 1Ow1:f1。ws。 urce brake_ status; encs system cruise control features brake status: in data port i throttle_setting: out data port f1。ws brake flow 1: flow path brake status throttle_ setting end device throttle actuator Features throttle_setting: in data port float/typei flows Flowl: flow sink throttle_setting A Software Engineering Institute Carnegie Mellon AADL Introduction Peter Feiler,{u∷e2009 c 2009 Carnegie Me!on University

...展开详情
试读 76P Model-Based Engineering - AADL
立即下载
限时抽奖 低至0.43元/次
身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
sayhikids 仅仅是一个overview,马扁子
2020-06-04
回复
jiajia_041720110 很好,对AADL说的很清楚
2017-11-21
回复
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
关注 私信
上传资源赚钱or赚积分
最新推荐
Model-Based Engineering - AADL 36积分/C币 立即下载
1/76
Model-Based Engineering - AADL第1页
Model-Based Engineering - AADL第2页
Model-Based Engineering - AADL第3页
Model-Based Engineering - AADL第4页
Model-Based Engineering - AADL第5页
Model-Based Engineering - AADL第6页
Model-Based Engineering - AADL第7页
Model-Based Engineering - AADL第8页
Model-Based Engineering - AADL第9页
Model-Based Engineering - AADL第10页
Model-Based Engineering - AADL第11页
Model-Based Engineering - AADL第12页
Model-Based Engineering - AADL第13页
Model-Based Engineering - AADL第14页
Model-Based Engineering - AADL第15页
Model-Based Engineering - AADL第16页

试读结束, 可继续读4页

36积分/C币 立即下载