scholarly journals FADYRCOS, a semantic interoperability framework for collaborative model-based dynamic reconfiguration of networked services

2012 ◽  
Vol 63 (8) ◽  
pp. 756-765
Author(s):  
Aymen Kamoun ◽  
Saïd Tazi ◽  
Khalil Drira
Author(s):  
Alejandra Angulo-Baca ◽  
Michael Bernal-Bazalar ◽  
Juan Sotelo-Raffo ◽  
Carlos Raymundo-Ibañez ◽  
Moises Perez

Processes ◽  
2020 ◽  
Vol 8 (5) ◽  
pp. 574
Author(s):  
Zeyong Jiang ◽  
Tingdi Zhao ◽  
Shihai Wang ◽  
Hongyan Ju

With the development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration, but also acts as a valid means for resource failure management. It is vital to ensure the correction of the IMA dynamic reconfiguration process. The analysis of the dynamic reconfiguration process is a significant task. The Architecture Analysis & Design Language (AADL) is widely used in complicated real-time embedded systems. The language can describe the system configuration and the execution behaviors, such as configuration changes. Petri net is a widely used tool to conduct simulation analysis in many aspects. In this study, a model-based analyzing method with multiple constraints for the IMA dynamic reconfiguration process was proposed. First, several design constraints on the process were investigated. Second, the dynamic reconfiguration process was modeled based on the AADL. Then, a set of rules for the transition of the model from AADL to Petri net was generated, and the multi-constraints proposed were incorporated into Petri net for analysis. Finally, a simulation multi-constraint analysis with Petri net for the process of IMA dynamic reconfiguration was conducted. Finally, a case study was employed to demonstrate this method. This method is advantageous to the validity of IMA dynamic reconfiguration at the beginning of the system design.


2021 ◽  
Vol 49 (12) ◽  
pp. 030006052110627
Author(s):  
Haihua Gu ◽  
Tianshu Liu ◽  
Ling Zhu ◽  
Lufeng Zhao ◽  
Junqiang Fan

Mediastinal unicentric Castleman disease (UCD) frequently manifests as a hyper-enhancing lymph node mass and is often surgically curable. However, because of excessive vascularisation and adhesion to important surrounding structures, surgery is often associated with severe haemorrhage that is often difficult to control thoracoscopically. Therefore, thoracotomy is often preferred, which increases the trauma to the patient and affects postoperative recovery. Here, we describe the case of a 30-year-old male patient with a large upper mediastinal lymph node (7 × 5 × 4 cm) that was compressing his superior vena cava. The distribution of nutritive arteries of the mass was analysed in detail, and the main branches were embolised prior to surgery. With the assistance of preoperative isovolumetric haemodilution, we achieved complete resection through single-port thoracoscopy, with only minor haemorrhage, which enabled the patient to recover rapidly. This multidisciplinary collaborative model, based on single-port thoracoscopic surgery, may be of wide practical use for the treatment of mediastinal UCD.


2021 ◽  
pp. 163-174
Author(s):  
Robert Woitsch ◽  
Wilfrid Utz ◽  
Anna Sumereder ◽  
Bernhard Dieber ◽  
Benjamin Breiling ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document