scholarly journals Lightweight Consistency Checking for Agile Model-Based Development in Practice.

2019 ◽  
Vol 18 (2) ◽  
pp. 11:1 ◽  
Author(s):  
Robbert Jongeling ◽  
Federico Ciccozzi ◽  
Antonio Cicchetti ◽  
Jan Carlson
Author(s):  
Olivier de Weck ◽  
Daniel Krob ◽  
Li Lefei ◽  
Pao Chuen Lui ◽  
Antoine Rauzy ◽  
...  

2019 ◽  
Vol 123 (1268) ◽  
pp. 1561-1601 ◽  
Author(s):  
G. P. Krupa

ABSTRACTOne of the challenges of modern engineering design is the amount of data that designers must keep track while performing system analysis and synthesis. This task is particularly important in the design process of complex systems such as novel aerospace systems where Modeling and Simulation play an essential role. The Agile philosophy stems from the field of Software Engineering and describes an approach to development in which requirements and solutions gradually develop through collaboration between self-organising cross-functional teams and end users. Agile Model-Based System Engineering (AMBSE) is the application of the Agile philosophy to Model-Based System Engineering. In this paper, AMBSE is accomplished through the application of the Object-Oriented System Engineering Method (OOSEM). OOSEM employs a top-down scenario-driven process that adopts System Modeling Language (SysML) and leverages the object-oriented paradigm to support the analysis, specification, design, and verification of systems. AMBSE assisted by mathematical modelling and safety assessment techniques is applied to the first design iterations of the main aircraft systems, allowing a comprehensive design exploration. The flight control system was chosen to illustrate the procedure in detail, emphasising the synthesis of a six-degrees-of-freedom model augmented by dynamic inversion control for a hypothetical supersonic transport aircraft satisfying class II MIL-F-8785C handling qualities. It is concluded that AMBSE presents promising properties to support future aircraft development within the current regulatory framework for aircraft design, while enabling a smooth transition from conceptual to preliminary design.


Author(s):  
Stefan Kriebel ◽  
Johannes Richenhagen ◽  
C. Schulze ◽  
V. Moyses ◽  
P. Orth ◽  
...  

2012 ◽  
Vol 433-440 ◽  
pp. 2862-2867
Author(s):  
Bin Yang ◽  
Yu Dong Qi ◽  
Xiu We Wang ◽  
Ya Ning Wang

OntoUML is a conceptual modeling language which is built with a lightweight expansion of UML metamodel, but it doesn’t provide mechanism of consistency checking on conceptual model. The correctness of the syntax and semantics of the model still need artificial check. The paper introduced OntoUML briefly and put forward a scheme of consistency checking of OntoUML model based on description logics. By transforming into knowledge base of description logics, the detection of consistencies at the OntoUML model can be realized using existing mature reasoning system.


Author(s):  
Z. Kouba ◽  
J. Lažanský ◽  
Vl. Mařík ◽  
O. Štěpánková ◽  
T. Vlček

Sign in / Sign up

Export Citation Format

Share Document