scholarly journals Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

2014 ◽  
Vol 80 ◽  
pp. 188-209 ◽  
Author(s):  
M. Sijtema ◽  
A. Belinfante ◽  
M.I.A. Stoelinga ◽  
L. Marinelli
Konstruktion ◽  
2020 ◽  
Vol 72 (11-12) ◽  
pp. 76-83
Author(s):  
Jens Pottebaum ◽  
Iris Gräßler

Inhalt Unscharfe Anforderungen, verschiedene Lösungs-alternativen oder eingeschränkt gültige Simulationsmodelle sind Beispiele für inhärente Unsicherheit in der Produktentwicklung. Im vorliegenden Beitrag wird ein modellbasierter Ansatz vorgestellt, der das industriell etablierte Denken in Sicherheitsfaktoren um qualitative Aspekte ergänzt. Modelle der Informationsqualität helfen, die Unsicherheit von Ent- wicklungsartefakten beschreibend zu charakterisieren. Mittels semantischer Technologien wird Unsicherheit so wirklich handhabbar – nicht im Sinne einer Berechnung, sondern im Sinne einer qualitativen Interpretation. Dadurch entsteht wertvolles Wissen für die iterative Anforderungsanalyse, die Bewertung alternativer System-Architekturen oder für die Rekonfiguration von Simulationen.


2020 ◽  
Author(s):  
S.P. Shcheinikov

The article provides a general analysis of the current state of information ecosystems that implement the practice of model-based system engineering. It is concluded that the largest players of the PLM-market in the strategy and tactics of development of their products lay support practices model-based system engineering. Implementation of MBSE practices within PLM solutions is considered on the example of Siemens Digital Industries Software’s products. Keywords: System Engineering, Model-based system engineering (MBSE), Product lifecycle management (PLM), Capella, Modeling Tool, ARCADIA.


2019 ◽  
Vol 14 (16) ◽  
pp. 5775-5781
Author(s):  
Muayad S. Croock ◽  
Ayad E. Korial ◽  
Tara F. Kareem ◽  
Qusay Sh. Hamad ◽  
Ghaidaa M. Abdulsaheb

Author(s):  
V.V. Unzhakov ◽  
◽  
Ye. S. Kim ◽  

The article describes the relationship between a doctor and a patient. Several relationship models are considered. The first of these is the engineering model of relationships, where the patient is an impersonal mechanism for the doctor. The second is a paternalistic model based on the type of relationship between a father and a child. The third model of relationship is based on the collegial type of relationship and the fourth model is contractual, based on the principle of a social contract between a doctor and a patient. The advantage of the paternalistic model of the doctor-patient relationship is shown


Author(s):  
Dharmalingam Ganesan ◽  
Mikael Lindvall ◽  
Stefan Hafsteinsson ◽  
Rance Cleaveland ◽  
Susanne L. Strege ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document