Virtual verification of system designs against system requirements

CEUR Workshop Proceedings

Volumn 644, Issue , 2010, Pages 53-67

  Schamai, Wladimir ^a   Helle, Philipp ^a   Fritzson, Peter ^b   Paredis, Christiaan J J ^c  

^a AIRBUS GROUP INNOVATIONS   (Germany)

^b LINKÖPING UNIVERSITY   (Sweden)

^c GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

MBSE; Model based testing; Modelica; ModelicaML; Requirements; Verification

Indexed keywords

MBSE; MODEL BASED TESTING; MODELICA; MODELICAML; REQUIREMENTS;

EMBEDDED SYSTEMS; MODELS; REQUIREMENTS ENGINEERING; VERIFICATION;

SYSTEMS ANALYSIS;

EID: 84890092427     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. C. Haskins, Ed., Systems Engineering Handbook: A guide for system life cycle processes and activities. INCOSE, 2006.
2. D. Gause and G. Weinberg, Exploring requirements: quality before design. Dorset House Pub, 1989.
3. P. Loucopoulos and V. Karakostas, System requirements engineering. McGraw-Hill, Inc. New York, NY, USA, 1995.
4. E. Hull, K. Jackson, and J. Dick, Requirements engineering. Springer Verlag, 2005.
5. J. Estefan, "Survey of model-based systems engineering (MBSE) methodologies," Incose MBSE Focus Group, Vol. 25, 2007.
6. P. Helle, A. Mitschke, C. Strobel, W. Schamai, A. Rivière, and L. Vincent, "Improving Systems Specifications - A Method Proposal," in Proceedings of CSER 2008 Conference, April 4-5 2008, Los Angeles, CA, 2010.
7. A. Davis, Software requirements: objects, functions, and states. Prentice-Hall, Inc. Upper Saddle River, NJ, USA, 1993.
8. V. A. d. Santiago Júnior, Natural language requirements: automating model-based testing and analysis of defects. São José dos Campos: Instituto Nacional de Pesquisas Espaciais, 2010.
9. L. Mich, M. Franch, and P. Novi Inverardi, "Market research for requirements analysis using linguistic tools," Requirements Engineering, Vol. 9, no. 2, pp. 151-151, 2004.
10. J. Woodcock, P. Larsen, J. Bicarregui, and J. Fitzgerald, "Formal methods: Practice and experience," ACM Computing Surveys (CSUR), Vol. 41, no. 4, pp. 1-36, 2009.
11. P. Helle and W. Schamai, "Specification model-based testing in the avionic domain - Current status and future directions," in Proceedings of the Sixth Workshop on Model-Based Testing 2010, Paphos, Cyprus, 2010.
12. I. Groher, A. Reder, and A. Egyed, "Incremental Consistency Checking of Dynamic Constraints," Fundamental Approaches to Software Engineering, pp. 203-217, 2010.
13. T. Myers, P. Fritzson, and R. Dromey, "Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems," in 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus, 2008.
14. D. Powell, "Requirements evaluation using behavior trees-findings from industry," in Australian Software Engineering Conference (ASWEC07), 2007.
15. W. Schamai, P. Fritzson, C. Paredis, and A. Pop, "Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations," in Proc. of the 7th International Modelica Conference, Como, Italy, 2009.
16. P. Fritzson, Principles of object-oriented modeling and simulation with Modelica 2.1. Wiley-IEEE Press, 2004.
17. M. Prasanna, S. Sivanandam, R. Venkatesan, and R. Sundarrajan, "A survey on automatic test case generation," Academic Open Internet Journal, Vol. 15, 2005.