1.6.1 xFFBD: towards a formal yet functional modeling language for system designers-Reference-Cited by-同舟云学术

1.6.1 xFFBD: towards a formal yet functional modeling language for system designers

Published:2012-07 Issue:1 Volume:22 Page:170-183
ISSN:2334-5837
Container-title:INCOSE International Symposium
language:en
Short-container-title:INCOSE International Symposium

Author:

AIZIER Bruno¹,LIZY-DESTREZ Stéphanie²,SEIDNER Charlotte³,CHAPURLAT Vincent⁴,PRUN Daniel⁵,WIPPLER Jean-Luc⁶

Affiliation:

1. ENSTA; Bretagne 2 rue François Verny 29806 CEDEX 9 Brest France

2. ISAE - SUPAERO; 10 avenue Édouard Belin Toulouse 31055 CEDEX 4 France

3. L'UNAM - University of Nantes - IRCCyN; 1 rue de la Noë 44300 Nantes France

4. LGI2P Parc scientifique Georges Besse; 30035 Nîmes CEDEX 1 France

5. ENAC - LII; 7 avenue Édouard Belin BP 54005 31055 Toulouse France

6. LUCA Ingénierie; 1 Chemin de Pechmirol 31320 Mervilla France

Publisher

Wiley

Subject

Automotive Engineering

Reference22 articles.

1. A System Modeling and Analysis Framework for Risk Analysis;Aloui;Socio-technical Systems, The best of France: Forum Académique et RobAFIS, INCOSE INSIGHT,2008

2. Chapurlat V. Aloui S. 2006 “How to Detect Risks with a Formal Approach?”

3. Chapurlat V. Roque M. 2009 “Interoperability Constraints and Requirements formal Modelling and Checking Framework”

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Annotated functional decomposition;Computer Applications in Engineering Education;2021-03

2. Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach;INCOSE International Symposium;2016-07

3. A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics;Complex Systems Design & Management;2015

4. 1.3.3 Extending eFFBD formalism to task model;INCOSE International Symposium;2014-07

5. Well, You didn’t Say not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior;Procedia Computer Science;2013