Theoretical Computer Science
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
IEEE Transactions on Software Engineering
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Modelling Distributed Control Systems Using IEC 61499
Modelling Distributed Control Systems Using IEC 61499
Building product populations with software components
Proceedings of the 24th International Conference on Software Engineering
Architecture Description Languages: IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, ... Federation for Information Processing)
Optimal Free-Space Management and Routing-Conscious Dynamic Placement for Reconfigurable Devices
IEEE Transactions on Computers
Model Checking Safety-Critical Systems Using Safecharts
IEEE Transactions on Computers
Integrated Row and Column Rerouting for Reconfiguration of VLSI Arrays with Four-Port Switches
IEEE Transactions on Computers
A Dynamic Slack Management Technique for Real-Time Distributed Embedded Systems
IEEE Transactions on Computers
An Efficient and Deadlock-Free Network Reconfiguration Protocol
IEEE Transactions on Computers
High-Performance Designs for Linear Algebra Operations on Reconfigurable Hardware
IEEE Transactions on Computers
An Approach to Modelling and Verification of Component Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Zero Downtime Reconfiguration of Distributed Automation Systems: The εCEDAC Approach
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Optimized Custom Precision Function Evaluation for Embedded Processors
IEEE Transactions on Computers
IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
Design models for reusable and reconfigurable state machines
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Reconfiguration Analysis Using Generic Component Models
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Computer aided design of gating system for a die-casting die
International Journal of Computer Applications in Technology
Model checking-based safety verification for railway signal safety protocol-I
International Journal of Computer Applications in Technology
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
The paper deals with reconfigurable embedded control systems following component-based technologies and/or Architecture Description Languages (ADL). A Control Component is defined as a software unit of the system which is assumed to be a network of components with precedence constraints. We define an agent-based architecture to handle automatic reconfigurations under well-defined conditions by creating, deleting or updating components to dynamically bring the whole system into safe and optimal behaviors. To cover all reconfiguration forms, we model the agent by nested state machines according to the formalism Net Condition/Event Systems (NCES), and apply a model checking to verify properties of NCES according to the temporal logic "Computation Tree Logic" (CTL). The goal is to check the agent's reactivity after any environment's evolution. Several complex networks can implement the system such that each one is executed at a given time when a corresponding reconfiguration scenario is automatically applied by the agent. To check the correctness of each one of them, we apply in several steps a refinement-based approach that automatically specifies feasible Control Components according to NCES. The model checker SESA is automatically applied in each step to verify deadlock properties of new generated components, and is manually used to verify CTL-based properties according to user requirements. We implement the proposed agent by three modules that allow interpretations of environment's evolutions, decisions of useful reconfiguration scenarios before their real applications.