OMGSystemsModelingLanguageOMGSysMLPPT学习课件PPT课件

1、Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved1Topics SysML Status SysML Language Architecture SysML Language Detail Requirements Structure Parametric Models Allocation Summary Questions第1页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved2*Where weve come

2、fromA Historical Perspective 第2页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved3A Unifying Systems Language 第3页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved4SysML Contents Summary Structure e.g., system hierarchy, interconnection Behaviour e.g., fu

3、nction-based behaviour, state-based behaviour Properties e.g., parametric models, time property Requirements e.g., requirements hierarchy, traceability Verification e.g., test cases, verification results Cross-Cutting e.g., allocation of entities for workflow第4页/共36页Copyright 1998-2008 ARTiSAN Softw

4、are Tools Ltd. All Rights Reserved5ibd Block Anti-Lock Controller1BlockAnti-Lock ControllerBlockPropertyd1 : Traction DetectorBlockPropertym1 : Brake ModulatorBlockPropertyd1 : Traction DetectorBlockPropertym1 : Brake Modulatorc1:modulator interfaceuseinteractionpar constraint StraightLineVehicleDyn

5、amics Parametric Diagram: AccelerationEquationFca: BrakingForceEquationtftlbff: DistanceEquationvx: VelocityEquationavf = (tf*bf)*(1-tl)F = mav = dx/dta = dv/dtThe Four Pillars of SysML (ABS Example)1. Structure4. Parametrics2. BehaviorVehicle SystemSpecificationBraking SubsystemSpecificationrequire

6、mentid#102txtThe vehicle shall stop from60 mph within 150ft on aclean dry surface.Stopping Distancerequirementid#337txtThe Braking subsystem shallprevent wheel lockup underall braking conditions.Anti-Lock Performancereq Package Vehicle Specifications BrakingderiveReqt3. Requirementsbdd Package Vehic

7、le ABSBlockLibrary:ElectronicProcessorBlockAnti-LockControllerBlockLibrary:Electro-HydraulicValveBlockTractionDetectorBlockBrakeModulatord1m1definitionGrippingSlippingLossOfTraction/RegainTraction/stm Tire Tractionstate machineDetect Loss Of TractionTractionLossModulate Braking Forceact PreventLocku

8、pactivity/function第5页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved6Requirements Requirements represents a text based requirement Includes id and text properties Can add user defined properties such as verification method Can add user defined requirements categories (e.g. f

9、unctional, interface, performance, .) Requirements hierarchy describes requirements contained in a specification Requirements relationships include DeriveReqt, Satisfy, Verify, Refine, Trace, Copy Graphical, tabular and tree notation specified第6页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. A

10、ll Rights Reserved7User Requirements Flow DownActivitySet Desired SpeedActivityDecrement SpeedActivityShift GearActivityMaintain SpeedActivityEngage CCActivityDisengage CCBlockCruise Control SystemActivitySuspend CCActivityResume CCActivityIncrement SpeedrequirementtxtThe CCS must allow a driver to

11、enable the vehicle to maintain a desired speed.REQ_CCS_01requirementtxtThe CCS must allow cruise control to be engaged and disengaged. When engaged the cruisecontrol system is available to accept driver instructions (such as set and increment). Whendisengaged, the cruise control system will not resp

12、ond to any driver inputs.REQ_CCS_02requirementtxtThe CCS must allow cruise control to be suspended (via toggle or brake application) and resumed(via toggle only). This feature should be available only when cruise control is active. Whensuspended, the cruise control system shall memorize the desired

13、speed, but the cruise controlsystem is inactive (i.e. suspended) and must relinquish control of the throttle pedal back to thedriver. The only commands which can be accepted whilst suspended are resume, disengage orset.REQ_CCS_03requirementtxtThe failsafe state for the CCS is disengaged - any errors

14、 encountered by the cruisecontrol system shall be logged (along with the systems configuration data) and thesystem shall be disengaged.REQ_CCS_04requirementtxtOnce the CCS is engaged, to activate cruise control the driver can set the desired speed. Oncethis is set the CCS shall take over control of

15、the throttle.REQ_CCS_05requirementtxtWhen cruise control is engaged, the driver must be able to increment or decrement thedesired speed (in increments of 1 MPH). The driver must also have the ability to changethe gear selection whilst the cruise control is active.REQ_CCS_06requirementtxtThe CCS must

16、 provide displayed outputs to the driver. This will enable the driver to determinethe current desired speed before resuming cruise control.REQ_CCS_07Maintain SpeedtestCasePackage Maintain Speed - with flowsDisplay SpeedCruise Control System - block operationrequirementtxtWhen cruise control is engag

17、ed, the driver must be able to increment thedesired speed in increments of 1 MPH.REQ_CCS_06arequirementtxtWhen cruise control is engaged, the driver must be able to decrementthe desired speed in increments of 1 MPH.REQ_CCS_06brequirementtxtWhen cruise control is active, the driver must be able to ch

18、ange the gearselection.REQ_CCS_06creq Package Cruise Control System Reqts with linksderiveReqtderiveReqtderiveReqtrefinesatisfysatisfysatisfysatisfysatisfysatisfysatisfyverifysatisfysatisfysatisfysatisfysatisfysatisfy第7页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved8Activit

19、ies Activity used to specify the flow of inputs/outputs and control, including sequence and conditions for coordinating activities Secondary constructs show responsibilities for the activities using swim lanes SysML extensions to Activities Support for continuous flow modeling Support probabilistic

20、choice Alignment of activities with Enhanced Functional Flow Block Diagram第8页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved9Analysis Model of Vehicle SysML additions on this chart streaming activities consume inputs after initialization continuous flowsStart Up VehicleDrive

21、 VehicleShut Down VehicleAD Operate Vehicle第9页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved10select first gearmove from stoppedSteer VehiclecoastShift GearAccelerate VehicleBrake VehicleOperate Cruise ControlstoppedAD Drive VehicleAnalysis Model of Vehicle SysML additions

22、on this chart streaming activities consume inputs after initialization continuous flows第10页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved11Automotive DomainDriverPress Engage ButtonPress Set ButtonPress Increment ButtonPress Decrement ButtonPress Suspend/Resume ButtonPress

23、Disengage ButtonCruise Control SystemDo Initialisation testsLog ErrorEngage CCSet Desired SpeedMaintain SpeedSpeedMsgEMUMessageThrottleMessageIncrement SpeedDecrement SpeedSuspend CCResume CCLog ErrorDisengage CCbrake appliedCCerrorSpeedvalueTypeblockblockOKerrorwait until.if suspendedEngagedOperati

24、ngAD Operate Cruise ControlAnalysis Model of Vehicle SysML additions on this chart streaming activities consume inputs after initialization continuous flows第11页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved12Analysis Model of Vehicle SysML additions on this chart streaming

25、activities consume inputs after initialization continuous flowsMaintain SpeedSpeedMsgEMUMessageThrottleMessageCruise Control Unitload profile for current gearCallibrate againstcurrent EMU DataCalculate requiredthrottle positionsend EMU throttleposition messageblockCruise Control IOUpdate CC Displayb

26、lock第12页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved13SysML Blocks Provides a unifying concept to describe the structure of an element or system Hardware Software Data Procedure Facility Person第13页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved14B

27、lock Definition Diagram forVehicle Structural Components Parts shown by black-diamond notation, or by Parts Compartment Values compartment shows properties of the block Flowports compartment shows block interfacebdd Package Structure Automotive Domain BreakdownBlockAutomotive DomainBlockVehicleBlock

28、EnvironmentBlockBaggageBlockWeatherBlockForeign ObjectBlockSatelliteBlockRoadBlockOther VehicleBlockPedestrianBlockCyclistBlockFixed ObstacleBlockTreeBlockWallDriverMaintainerPassenger*1Pass*1Main*1Veh*1Env11Drv*1Cargo*1Wthr*1FO*1Sat*1Rd第14页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Ri

29、ghts Reserved15Block Definition Diagram forVehicle Structural Components Parts shown by black-diamond notation, or by Parts Compartment Values compartment shows properties of the block Flowports compartment shows block interfacebdd Package Vehicle Main SubsystemsBlockLighting SubsystemBlockChassis S

30、ubsystemBlockCruise Control SystemBlockPower SubsystemBlockBrake SubsystemBlockBody SubsystemBlockInterior SubsystemBlockVehicleBlockSteering SubsystemBlockElectrical Subsystem11SteerSys11PowSys11BrakeSys11BodySys11InteriorSys11LightSys11ChasSys11CC Sys11ElecSys第15页/共36页Copyright 1998-2008 ARTiSAN S

31、oftware Tools Ltd. All Rights Reserved16Block Definition Diagram forVehicle Structural Components Parts shown by black-diamond notation, or by Parts Compartment Values compartment shows properties of the block Flowports compartment shows block interfacebdd Package Vehicle CC DriverInterfacesBlockGea

32、r SelectorBlockBrake PedalBlockAccelerator PedalBlockpartsAccPedal : Accelerator PedalBodySys : Body SubsystemBrakeSys : Brake SubsystemCC Sys : Cruise Control SystemChasSys : Chassis SubsystemElecSys : Electrical SubsystemGearSel : Gear SelectorInteriorSys : Interior SubsystemLightSys : Lighting Su

33、bsystemPowSys : Power SubsystemSteerSys : Steering SubsystemVehicleBlockpartsABS : Anti-Locking Braking SystemBrkPed : Brake PedalBrkSens : Brake Assembly Sensor *Brake SubsystemBlockCruise Control SystemDriver1111CC Sys1111GearSel11AccPedal11BrakeSys11BrkPed第16页/共36页Copyright 1998-2008 ARTiSAN Soft

34、ware Tools Ltd. All Rights Reserved17Block Definition Diagram forVehicle Structural Components Parts shown by black-diamond notation, or by Parts Compartment Values compartment shows properties of the block Flowports compartment shows block interfacebdd Block Cruise Control SystemBlockCC Display Pan

35、elBlockToggle ButtonBlockCANBlockCC IO CardBlockCC MotherboardBlockInc SpeedBlockoperationsload gear profile (in gear : Integer)calibrate ()calculate throttle position ()handle EMU message ()Cruise Control UnitBlockDec SpeedBlockPush ButtonBlockoperationsupdate display ()partsCC Disp : CC Display Pa

36、nelDec : Dec SpeedEng/Dis : Engage/Disengage CCInc : Inc SpeedSet : Set SpeedSus/Res : Suspend/Resume CCCruise Control IOBlockpartsCCIO : Cruise Control IOCCUnit : Cruise Control UnitCruise Control SystemBlockSet SpeedBlockSuspend/Resume CCBlockEngage/Disengage CC11CCUmb11CCUio11CANbus11Inc11Dec11CC

37、Unit11CCIO11Set11Sus/Res11Eng/Dis11CC DispallocatedFromClass cThrottle ControllerClass pAccelerationProfileClass pCalibration ManagerClass cSpeedMonitorallocatedFromClass eCruiseControlPanelClass eEMUIFClass eTransmissionMonitorClass eBrakePedalMonitor第17页/共36页Copyright 1998-2008 ARTiSAN Software To

38、ols Ltd. All Rights Reserved18Unit and Item Types Unit types normally based on Real SI Units and Dimensions defined in SysML appendixbdd Package Vehicle DefinitionsBlockvaluesMFR : Mass Flow Rate *Press : Pressure *Temp : Temperature *LiquidValueTypeunitDegreeCelsiusTemperatureValueTypeunitPascalPre

39、ssureValueTypeunitKilogramPerSecondMass Flow RateValueTypeElectrical SignalUnitKilogramPerSecondUnitNewtonMetreUnitRevolutionsPerMinuteDimensionElectricCurrentRangeDimensionRotational SpeedValueTypeunitWattElectric PowerValueTypeCANValueTypeunitNewtonMetreTorqueValueTypedimensionElectricCurrentRange

40、operationsSend ()unitAmpereAnalogueValueTypedimensionElectricPotentialDifferenceoperationsSend ()unitVoltDigitalBlockvaluesMFR : Mass Flow Rate *Press : Pressure *Temp : Temperature *FuelFlowSpecificationflowPropertyListout FuelReturn : Fuelin FuelSupply : FuelFPump-ICEngFlowSpecificationflowPropert

41、yListin TorqueIn : Torqueout TorqueOut : TorqueTorqueSpecValueTypedimensionRotational SpeedunitRevolutionsPerMinuteRPMValueTypedimensionVelocityunitMeterPerSecondSpeedValueTypeunitNewtonForce第18页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved19Item Flows Distinct from what c

42、an flow via the port specification Supports top down description of flows without imposing behavioural method (e.g. activities, state, interactions) Behaviour is not driven from itemFlows but needs to be consistent with it Is aligned with behaviour thru refinement and allocation Can be allocated fro

43、m an object node, message, or signal from a behavioural diagram Properties of item flow can be specified and constrained in parametric diagram第19页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved20IBD for Vehicle Non-Atomic PortsI/O is specified using FlowSpecificationFlowSpec

44、ification consists of properties stereotyped FlowPropertyisConjugate promotes reuse of flowSpecifications Atomic FlowPortsIn this case the port is directly typed by the item type (Block or ValueType)Direction property specify the direction of flowibd Block Automotive DomainBlockAutomotive DomainBloc

45、kPropertyCargo : BaggageBlockPropertyEnv : EnvironmentBlockPropertyFO : Foreign ObjectBlockPropertySat : SatelliteBlockPropertyWthr : WeatherBlockPropertyRd : RoadBlockPropertyVeh : VehicleDriverMaintainerPassenger第20页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved21IBD for

46、Vehicle Non-Atomic PortsI/O is specified using FlowSpecificationFlowSpecification consists of properties stereotyped FlowPropertyisConjugate promotes reuse of flowSpecifications Atomic FlowPortsIn this case the port is directly typed by the item type (Block or ValueType)Direction property specify th

47、e direction of flowibd Block Vehicle High Level SystemsBlockVehicleBlockPropertyBodySys : BodySubsystemBlockPropertyBrakeSys : BrakeSubsystemBlockPropertyCC Sys : Cruise ControlSystemBlockPropertyChasSys : ChassisSubsystemBlockPropertyInteriorSys : InteriorSubsystemBlockPropertyLightSys : LightingSu

48、bsystemBlockPropertyPowSys : PowerSubsystemBlockPropertySteerSys : SteeringSubsystemBlockPropertyElecSys : ElectricalSubsystemBody-ChassisBody-LightingPower-ChassisBrake-CC SystemPower-CC SystemSteer-ChassisBody-InteriorInterior-LightingBrake-LightingChassis-BrakeElec-LightingPower-ElecCCSystem-Elec

49、Interior-Elec第21页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved22IBD for Vehicle Non-Atomic PortsI/O is specified using FlowSpecificationFlowSpecification consists of properties stereotyped FlowPropertyisConjugate promotes reuse of flowSpecifications Atomic FlowPortsIn this

50、 case the port is directly typed by the item type (Block or ValueType)Direction property specify the direction of flowibd Block Vehicle Driver Interface ConnectionsBlockVehicleBlockPropertyPowSys : Power SubsystemCCIF : RS232CCIF : AnalogueGearShiftIF : ForceAccelIF : ForceBlockPropertyAccPedal : Ac

51、celeratorPedalThrotIF : ForceBlockPropertyBrakeSys : Brake SubsystemCCIF : DigitalBlockPropertyBrkPed : Brake PedalBlockPropertyCC Sys : Cruise ControlSystemEMUIF : RS232TransmIF : AnalogueBrakeIF : DigitalBlockPropertyGearSel : Gear SelectorTransmIF : ForceDriverDriverSelect : ForceItemFlowAccel :

52、ForceItemFlowBrakeEngaged : DigitalItemFlowEMU : EMU MessageSet Throttle : AnalogueMessageGear : AnalogueItemFlow第22页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved23Internal Block Diagram for CCnShows parts (structural children) n and ports (interaction points on blocks and

53、 parts)nSupports integration of behavior and structurenPort typesnStandard PortsnSpecify a set of operations and/or signalsnTyped by a UML interfacenFlow PortsnSpecify what can flow in or out of block/part nTyped by a flow specificationibd Block Cruise Control System connectionsblockCruise Control S

54、ystemBrakeIF : DigitalTransmIF : AnalogueEMUIF : RS232Power : Electric PowerpartCCUnit : Cruise Control UnitpartmultidropBusCANbus : CANpartboardCCUio : CC IO CardCCDispIFBrakeIF : DigitalCANIFEngDisIFSetIFSusResIFTransmIF : AnalogueEMUIF : RS232IncIFDecIFpartboardCCUmb : CCMotherboardCANIFpartCCIO

55、: Cruise Control IOpartCC Disp : CC DisplayPanelCCIF : RS232partEng/Dis :Engage/Disengage CCCCIF : DigitalpartSet : Set SpeedCCIF : DigitalpartSus/Res :Suspend/Resume CCCCIF : DigitalpartInc : Inc SpeedCCIF : DigitalpartDec : Dec SpeedCCIF : DigitalDriverSpeed : SpeedPress : DigitalItemFlow : EMU Me

56、ssage : AnalogueMessageBrake Engaged : DigitalItemFlowGear : AnalogueItemFlowPress : DigitalItemFlowPress : DigitalItemFlowPress : DigitalItemFlowPress : DigitalItemFlow第23页/共36页Copyright 1998-2008 ARTiSAN Software Tools Ltd. All Rights Reserved24Avionics - Topology of Processing ElementsAvionics Sy

57、stemIMS Processing ElementN1UART2UART1I/OI/OIMS Processing ElementN2I/OI/OIMS Processing ElementN3I/OIMS Processing ElementN4I/OIMS Processing ElementN5I/OIMS Processing ElementN6I/OData Bus 1 : STANAG 3910Data Bus 2 : 1553BIMS Processing ElementN1UART2UART1I/OI/OUART2UART1I/OI/OIMS Processing Eleme

58、ntN2I/OI/OI/OI/OIMS Processing ElementN3I/OI/OIMS Processing ElementN4I/OI/OIMS Processing ElementN5I/OI/OIMS Processing ElementN6I/OI/OData Bus 1 : STANAG 3910Data Bus 2 : 1553BEquipmentINU/GPSEquipmentRADAREquipmentDEPEquipmentFLIREquipmentHMS Controls第24页/共36页Copyright 1998-2008 ARTiSAN Software

59、Tools Ltd. All Rights Reserved25Avionics - Internals of a Processing ElementAvionics SystemN1 : Processing ElementCPU : CPU CarduProcessor : PowerPC 750Memory : MemoryBootstrap : NVMApplication : RAMBackplane : PCI BusC3910 : STANAG 3910 I/F CardC1553B : MILSTD 1553B I/F CardCSerial : Serial I/F Car

60、dI/O : STANAG 3190 ConnectorI/O : MILSTD 1553B ConnectorUART1UART2UART324vN1 : Processing ElementCPU : CPU CarduProcessor : PowerPC 750Memory : MemoryBootstrap : NVMApplication : RAMBackplane : PCI BusC3910 : STANAG 3910 I/F CardC1553B : MILSTD 1553B I/F CardCSerial : Serial I/F CardI/O : STANAG 319