Model-Based Engineering - AADL

【实例简介】
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 【实例截图】
【核心代码】