Formal Requirement Formulation and Synthesis in System Engineering

William Brace (Corresponding author), Eric Coatanea

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

1 Citation (Scopus)


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.
Original languageEnglish
Title of host publicationDS 58-4: Proceedings of ICED 09, the 17th International Conference on Engineering Design
Subtitle of host publicationVol. 4, Product and Systems Design, Palo Alto, CA, USA, 24.-27.08.2009
PublisherDesign Society
Number of pages11
ISBN (Electronic)978-1-904670-08-7
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
Event17th International Conference on Engineering Design, ICED 09 - Palo Alto, CA, USA, Palo Alto, United States
Duration: 24 Aug 200927 Aug 2009
Conference number: DS 58-4


Conference17th International Conference on Engineering Design, ICED 09
Country/TerritoryUnited States
CityPalo Alto
Internet address


  • systems engineering
  • SysML
  • formal requirements
  • model-based design


Dive into the research topics of 'Formal Requirement Formulation and Synthesis in System Engineering'. Together they form a unique fingerprint.

Cite this