Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs

2008 ◽  
Author(s):  
Helene Schilke ◽  
Achim Rettberg ◽  
Florian Dittmann
Keyword(s):  
Petri Net ◽  
Dynamic Reconfiguration

scholarly journals New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process

Processes ◽  
2020 ◽  
Vol 8 (5) ◽  
pp. 574
Author(s):  
Zeyong Jiang ◽  
Tingdi Zhao ◽  
Shihai Wang ◽  
Hongyan Ju
Keyword(s):  
Petri Net ◽  
Simulation Analysis ◽  
Dynamic Reconfiguration ◽  
Multiple Constraints ◽  
Model Based ◽  
Integrated Modular Avionics ◽  
Configuration Changes ◽  
Model Based Analysis ◽  
Architecture Analysis

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.

Dynamic Reconfiguration in Planetary Exploration: A Sociomaterial Ethnography

MIS Quarterly ◽  
2014 ◽  
Vol 38 (3) ◽  
pp. 831-848 ◽  
Author(s):  
Melissa Mazmanian ◽  
◽  
Marisa Cohn ◽  
Paul Dourish ◽  
◽  
...  
Keyword(s):  
Dynamic Reconfiguration ◽  
Planetary Exploration
Sign in / Sign up

Export Citation Format

Share Document