loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Dallas, Texas, USA
November 14-November 16
ISBN: 0-7695-3043-5
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing requirements analysis approaches: (1) declaratively specifying functional requirements, non-functional requirements, and constraints; (2) operationally modeling the required behavior; and (3) analyzing the requirements models of the behavior for adherence to the constraints. To address these challenges, this paper introduces COBRA patterns that provide UML and goal model templates to be instantiated in tandem to create models that capture system requirements and their constraints. Structural consistency is established through the construction of the goal and UML models. Behavioral consistency is achieved by analyzing the UML models for adherence to the constraints specified in the goal model.
Citation:
Heather J. Goldsby, Sascha Konrad, Betty H.C. Cheng, "Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements," hase, pp.7-14, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.