Abstract
System development and integration with a sufficient maturity at entry into service is a competitive challenge in the aerospace sector. With the ever-increasing complexity of products, this can only be achieved using efficient model-based techniques for system design as well as for system testing. However, natural language requirements engineering is an established technique that cannot be completely replaced for a number of reasons. This is a fact that has to be considered by any new approach. Building on the general idea of model-based systems engineering, we aim at building an integrated virtual verification environment for modeling systems, requirements, and test cases, so that system designs can be simulated and verified against the requirements in the early stages of system development. This paper provides a description of the virtual verification of system designs against system requirements methodology and exemplifies its application in a ModelicaML modeling environment.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Haskins, C. (ed.): Systems Engineering Handbook: A guide for system life cycle processes and activities. In: INCOSE (2006)
Gause, D., Weinberg, G.: Exploring requirements: quality before design. Dorset House Pub., New York (1989)
Loucopoulos, P., Karakostas, V.: System requirements engineering. McGraw-Hill, Inc., New York (1995)
Hull, E., Jackson, K., Dick, J.: Requirements engineering. Springer, Heidelberg (2005)
Estefan, J.: Survey of model-based systems engineering (MBSE) methodologies. Incose MBSE Focus Group 25 (2007)
Helle, P., Mitschke, A., Strobel, C., Schamai, W., Rivière, A., Vincent, L.: Improving Systems Specifications - A Method Proposal. In: Proceedings of CSER 2008 Conference, Los Angeles, CA, April 4-5 (2010)
Davis, A.: Software requirements: objects, functions, and states. Prentice-Hall, Inc., Upper Saddle River (1993)
Santiago Jr., V.A.d.: Natural language requirements: automating model-based testing and analysis of defects. Instituto Nacional de Pesquisas Espaciais, São José dos Campos (2010)
Mich, L., Franch, M., Novi Inverardi, P.: Market research for requirements analysis using linguistic tools. Requirements Engineering 9(2), 151 (2004)
Woodcock, J., Larsen, P., Bicarregui, J., Fitzgerald, J.: Formal methods: Practice and experience. ACM Computing Surveys (CSUR) 41(4), 1–36 (2009)
Helle, P., Schamai, W.: 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)
Groher, I., Reder, A., Egyed, A.: Incremental Consistency Checking of Dynamic Constraints. In: Fundamental Approaches to Software Engineering, pp. 203–217 (2010)
Myers, T., Fritzson, P., Dromey, R.: Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems. In: 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus (2008)
Powell, D.: Requirements evaluation using behavior trees-findings from industry. In: Australian Software Engineering Conference, ASWEC 2007 (2007)
Schamai, W., Fritzson, P., Paredis, C., Pop, A.: 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)
Fritzson, P.: Principles of object-oriented modeling and simulation with Modelica 2.1. Wiley-IEEE Press (2004)
Sheard, S.: Twelve systems engineering roles. In: Proceedings of INCOSE (1996)
Morrell, J., Mawhinney, C., Morris, G., Haga, W., Smolkina, A.: The systems analyst: a post mortem?. In: Proceedings of the Fourth International Conference of the Academy of Business and Administrative Sciences, Quebec City, Canada (2001)
Prasanna, M., Sivanandam, S., Venkatesan, R., Sundarrajan, R.: A survey on automatic test case generation. Academic Open Internet Journal 15 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schamai, W., Helle, P., Fritzson, P., Paredis, C.J.J. (2011). Virtual Verification of System Designs against System Requirements. In: Dingel, J., Solberg, A. (eds) Models in Software Engineering. MODELS 2010. Lecture Notes in Computer Science, vol 6627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21210-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-21210-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21209-3
Online ISBN: 978-3-642-21210-9
eBook Packages: Computer ScienceComputer Science (R0)