BehaviorConstraints : public package
Created: 2010-06-17 17:13:15
Modified: 2011-02-03 12:44:12
Project:
Advanced:
<p>This annex contains preliminary extensions to EAST-ADL for the modeling of behavior constraints. It is fully aligned with the language but not yet validated and ready for inclusion in the base specification.<br/></p><p><br/></p><p>The Behavior Constraints Annex extends EAST-ADL with additional constructs for a more fine-grained specification of key behavior attributes. It targets system requirements, vehicle features, system functions, and error models. It can be used to constrain behavior definitions in external models and formalisms (e.g., Simulink, UML, etc). The provision of such behavioral declarations in EAST-ADL is also considered necessary to support the formalization of textual requirements as well as for the reasoning of operational behaviors of vehicle features and environmental situations in early development stages.<br/></p><p><br/></p><p>Constructs contained in this annex are integrated into the EAST-ADL meta-model in a similar way as timing, dependability, and other non-functional constraints. This means that the behavior constraints target directly Behavior::Mode, Behavior::FunctionTrigger, Behavior::FunctionBehavior, and thereby any external behavior models linked by these EAST-ADL definitions. <br/></p><p><br/></p><p>Depending on the system artifacts under constraint, a behavior constraint can be applied either for FAA (Functional Analysis Architecture), or for FDA (Functional Design Architecture), or for environment specification.<br/></p>