Safe kernel extensions without run-time checking
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Correct deployment and adaptation of software applications on heterogenous (mobile) devices
WOSS '02 Proceedings of the first workshop on Self-healing systems
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
6th ICSE workshop on component-based software engineering: automated reasoning and prediction
Proceedings of the 25th International Conference on Software Engineering
Efficient Representation and Validation of Proofs
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
A declarative framework for adaptable applications in heterogeneous environments
Proceedings of the 2004 ACM symposium on Applied computing
Using types to enforce architectural structure
Using types to enforce architectural structure
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Style-Based Refinement of Dynamic Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Quantitative resource-oriented analysis of Java (Adaptable) applications
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Model-based system reconfiguration for dynamic performance management
Journal of Systems and Software
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications
IEEE Transactions on Software Engineering
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
Speaking a common language: a conceptual model for describing service-oriented systems
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models
The Future of Software: Adaptation and Dependability
Software Engineering
Exploring approaches to dynamic adaptation
Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application Interaction
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Hi-index | 0.00 |
Software in the near ubiquitous future (Softure) will need to cope with variability, as software systems get deployed on an increasingly large diversity of computing platforms and operates in different execution environments. Heterogeneity of the underlying communication and computing infrastructure, mobility inducing changes to the execution environments and therefore changes to the availability of resources and continuously evolving requirements require software systems to be adaptable according to the context changes. Softure should also be reliable and meet the user's performance requirements and needs. Moreover, due to its pervasiveness, Softure must be dependable, which is made more complex given the highly dynamic nature of service provision. Supporting the development and execution of Softure systems raises numerous challenges that involve languages, methods and tools for the systems thorough design and validation in order to ensure dependability of the self-adaptive systems that are targeted. However these challenges, taken in isolation are not new in the software domain. In this paper I will discuss some of these challenges, what is new and possible solutions making reference to the approach undertaken in the IST PLASTIC project for a specific instance of Softure focused on software for Beyond 3G (B3G) networks.