11,661 Hits in 8.7 sec

Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism

Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed Jmaiel
2008 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology - CSTST '08  
We elaborate the formal models for dynamic architecture management. Using the French Grid GRID5000, we conducted an experimental study to assess the scalability of the elaborated models.  ...  We introduce a graph-based general approach for handling of dynamic architectures, and we illustrate it within a scenario of collaboration support in Crisis Management Systems.  ...  In the existing user interface adaptations, we distinguish two techniques: User Interface transformations and User Interface generation.  ... 
doi:10.1145/1456223.1456322 dblp:conf/wstst/RodriguezGDCJ08 fatcat:fb24ozud4vde5co2wbmc5ca3pq

An Automated Formal Approach to Managing Dynamic Reconfiguration

Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe
2006 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)  
AL-LOY is a formal modelling notation which can be used to specify systems and associated constraints. In this paper, we present an overview of the OpenRec framework.  ...  To enable development of reconfigurable applications, we have developed OpenRec, a framework which comprises a reflective component model plus an open and extensible reconfiguration management infrastructure  ...  As a result, formal modelling techniques have been applied to the design, verification and development of more reliable and effective software architectures [2, 4] .  ... 
doi:10.1109/ase.2006.12 dblp:conf/kbse/WarrenSKW06 fatcat:xja2llmkp5hxnk536kxgwalxmy

A soft radio architecture for reconfigurable platforms

S. Srikanteswara, J.H. Reed, P. Athanas, R. Boyle
2000 IEEE Communications Magazine  
The layered architecture presents an open yet formal and unified structure for implementing soft radios on reconfigurable platforms.  ...  While many soft/software radio architectures have been suggested and implemented, there remains a lack of a formal design methodology that can be used to design and implement these radios.  ...  and Conexant Systems, Inc.  ... 
doi:10.1109/35.819908 fatcat:okvx56zuzfaqdbxph5jrvl5kt4

An Islamic Application Based on Self-adaptive Components

Malak Meghnous, Fadila Atil
2018 International Conference on Advanced Aspects of Software Engineering  
In this paper, we propose the dynamic adaptation of a component based Islamic application according to the user context (expert/novice), using orthogonal variability modeling and an aspect-oriented approach  ...  The Design of these systems using component based architecture, enhances reuse and promotes dynamic reconfiguration, enabling system's modification without intercepting its execution, thus ensuring continuity  ...  An expert user: a user who needs accurate and detailed proof and justifications about the classification of the food.  ... 
dblp:conf/icaase/MeghnousA18 fatcat:4nudz7oevnd3jiuj2nxkjharuq

An experience report on the verification of autonomic protocols in the cloud

Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber
2013 Innovations in Systems and Software Engineering  
The first one aims at designing a reconfiguration protocol of a component-based platform, intended as the foundation for building robust dynamic systems.  ...  The second aims at automating the configuration task of a set of virtual machines running a set of interconnected software components.  ...  The authors would like to thank Frédéric Lang and Radu Mateescu for their very interesting comments on a former version of this paper.  ... 
doi:10.1007/s11334-013-0204-0 fatcat:rmtesb3gxzanvoi6vvfytcjba4

A model-based approach to self-adaptive software

G. Karsai, J. Sztipanovits
1999 IEEE Intelligent Systems and their Applications  
A common challenge in embedded systems is the unpredictable number and kind of environmental events that fundamentally impact the software architecture.  ...  In manipulator position control, for example, the controller receives the manipulator's measured position and speed, and calculates a control signal. 1 If one of the sensors breaks down, control can still  ...  , and Saturn Corporation.  ... 
doi:10.1109/5254.769884 fatcat:icwll5aeqjeyha5gwpuhflthyq

The K-Component Architecture Meta-Model for Self-Adaptive Software [chapter]

Jim Dowling, Vinny Cahill
2001 Lecture Notes in Computer Science  
Software architectures have recently emerged as a level of design concerned with specifying the overall structure of a system.  ...  Traditionally, software architectures only provide static descriptions of the participants and interaction structures in a system.  ...  Modelling complex systems can be done informally with system diagrams or more formally using an Architecture Description Language (ADL) [SG96] .  ... 
doi:10.1007/3-540-45429-2_6 fatcat:rctvkday2zanzlrrzrkac5ddgm

Reconfigurable computing: architectures and design methods

T.J. Todman, G.A. Constantinides, S.J.E. Wilton, O. Mencer, W. Luk, P.Y.K. Cheung
2005 IEE Proceedings - Computers and digital Techniques  
Reconfigurable computing is becoming increasingly attractive for many applications. This survey covers two aspects of reconfigurable computing: architectures and design methods.  ...  It is shown that reconfigurable computing designs are capable of achieving up to 500 times speedup and 70% energy savings over microprocessor implementations for specific applications.  ...  The reconfigurable fabric consists of a set of reconfigurable functional units, a reconfigurable interconnect, and a flexible interface to connect the fabric to the rest of the system.  ... 
doi:10.1049/ip-cdt:20045086 fatcat:rz53tnd6yfd7heyk5qhvaj5jfu

Classification of the state-of-the-art dynamic web services composition techniques

Atif Alamri, Mohamad Eid, Abdulmotaleb El Saddik
2006 International Journal of Web and Grid Services  
In this paper, we present a novel classification of the current state-of-the-art dynamic web services composition techniques with attention to the capabilities and limitations of the underlying approaches  ...  making applications no longer restricted to the original set of operations specified and envisioned at design and/or compile time.  ...  Figure 5 An example of a domain ontology To achieve semantic composition, these techniques mostly require a domain-specific ontology design that defines explicit formal specifications of the concepts and  ... 
doi:10.1504/ijwgs.2006.010805 fatcat:e2rooan6unfxbpbnywewrqrowm

The FASTER vision for designing dynamically reconfigurable systems

M. D. Santambrogio, C. Pilato, D. Pnevmatikatos, K. Papadimitriou, D. Stroobandt, D. Sciuto
2013 Proceedings of 2013 International Conference on IC Design & Technology (ICICDT)  
on a platform combining a general purpose processor with multiple accelerators running on an FPGA, taking as input a high-level description and fully exploiting, both at design-and run-time, the capabilities  ...  The FASTER (Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration) project aims at introducing a complete methodology to allow designers to easily implement a system specification  ...  ACKNOWLEDGMENT This work was supported by the European Commission in the context of FP7 FASTER project (#287804).  ... 
doi:10.1109/icicdt.2013.6563290 dblp:conf/icicdt/SantambrogioPPP13 fatcat:dzet3d5d7rbw7l7n23o73o53qe

Constraint-guided dynamic reconfiguration in sensor networks

Sachin Kogekar, Sandeep Neema, Brandon Eames, Xenofon Koutsoukos, Akos Ledeczi, Miklos Maroti
2004 Proceedings of the third international symposium on Information processing in sensor networks - IPSN'04  
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application.  ...  The design space is captured by formally modeling all the software components, their interfaces, and their composition.  ...  The authors would like to acknowledge the partial financial support by the Xerox University Affairs Committee, the DARPA IXO MoBIES program, and the DARPA IXO NEST program.  ... 
doi:10.1145/984622.984677 dblp:conf/ipsn/KogekarNEKLM04 fatcat:h3fhzjukhbaa3gx3b2hl3ln3hm

Formal Verification Issues For Component-Based Development

Mehdi Hariati
2020 Informatica (Ljubljana, Tiskana izd.)  
In this paper, we first present an introduction to component-based development; afterward we propose a classification of formal verification issues for component-based systems.  ...  However, several issues, such as the correctness of component-based systems, their adaptation or the interactions between their components, require rigorous verification through the use of formal methods  ...  , for the financial support of LISCO Laboratory.  ... 
doi:10.31449/inf.v44i4.3152 fatcat:xjrpardxkrhwhjvxc6d3n6rvly

Spatiotemporal partitioning of computational structures onto configurable computing machines

Rhett D. Hudson, David I. Lehn, Jason Hess, James D. Atwell, David Moye, Ken Shiring, Peter M. Athanas, John Schewel
1998 Configurable Computing: Technology and Applications  
A complete computing system supports a design path from problem description to implementation.  ...  and configurations for the hardware This work proposes a framework for a set of platform independent configurable computing tools.  ...  This allows the CAE tools to be retargeted to a new CCM by creating a new implementation of the standard library, a new architectural description file, and a new implementation of the two C++ interface  ... 
doi:10.1117/12.327019 fatcat:lemmxqg34rhrrekij7kjwp2leq

Smart technologies for effective reconfiguration: The FASTER approach

M. D. Santambrogio, D. Pnevmatikatos, K. Papadimitriou, C. Pilato, G. Gaydadjiev, D. Stroobandt, T. Davidson, T. Becker, T. Todman, W. Luk, A. Bonetto, A. Cazzaniga (+2 others)
2012 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)  
The FASTER (Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration) project aims at introducing a complete methodology to allow designers to easily implement a system specification  ...  on a platform which includes a general purpose processor combined with multiple accelerators running on an FPGA, taking as input a high-level description and fully exploiting, both at design time and  ...  FASTER will also develop techniques for verifying static and dynamic aspects of a reconfigurable design at compile time using symbolic simulation -a powerful verification approach for static designs, and  ... 
doi:10.1109/recosoc.2012.6322881 dblp:conf/recosoc/SantambrogioPPPGSDBTLBCDS12 fatcat:eplvqvzqmfdirggcfr4qb53neq

Knowledge-based software architectures: acquisition, specification, and verification

J.J.P. Tsai, A. Liu, E. Juan, A. Sahay
1999 IEEE Transactions on Knowledge and Data Engineering  
Based on our survey results, we give a basis for comparing the various knowledge-based systems and list these comparisons in the form of a table.  ...  The efficient methods that were developed for verification, validation, and high assurance of architectures are also discussed.  ...  ACKNOWLEDGMENTS We thank the anonymous reviewer, whose comments have helped us to improve the presentation of the paper. Jeffrey  ... 
doi:10.1109/69.755628 fatcat:yjbrd5vxmrbrhntjpqkd7yghly
« Previous Showing results 1 — 15 out of 11,661 results