Formal Requirement Formulation and Synthesis in System Engineering

DS 58-4: Proceedings of ICED 09, the 17th International Conference on Engineering Design, Vol. 4, Product and Systems Design, Palo Alto, CA, USA, 24.-27.08.2009

Year: 2009
Editor: Norell Bergendahl, M.; Grimheden, M.; Leifer, L.; Skogstad, P.; Lindemann, U.
Author: Brace, William Ainoo; Coatanéa, Eric
Series: ICED
Section: Product and Systems Design
Page(s): 131-142


Requirement engineering is a specific branch of system engineering and includes activities such as eliciting, analyzing, verifying, and implementation. In software engineering, requirement engineering is one of the steps which might result at the end of the formal process to automate synthesis of code. Requirement engineering is also used to improve the rigor of the analysis performed, and to make the reasoning steps explicit. Such type of formal description has not been attained in system engineering. This is due to the fact that knowledge in system engineering is still more empirical and concepts are not defined with the precision and uniformity of software engineering. Requirement engineering has to spend the gap between the informal world of customer needs, and the formal world of system behavior. In addition, the role of computer in early design has to be intensified due to increase in productivity requirements and competitiveness. In this article, we provide an approach aimed at diminishing this gap by formalizing the needs for design progressively, and to intensify computer use by integrating our approach in SysML and formalizing the specification representation.

Keywords: system engineering, SysML, formal requirements, model-based design


Please sign in to your account

This site uses cookies and other tracking technologies to assist with navigation and your ability to provide feedback, analyse your use of our products and services, assist with our promotional and marketing efforts, and provide content from third parties. Privacy Policy.