Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Real-time object-oriented modeling
Real-time object-oriented modeling
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Model checking
Component-based product line engineering with UML
Component-based product line engineering with UML
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Software Fault Tolerance
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Koala, a Component Model for Consumer Electronics Product Software
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Improving System Dependability with Functional Alternatives
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
A behavioral type system and its application in Ptolemy II
Formal Aspects of Computing
Proceedings of the 4th ACM international conference on Embedded software
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Verifying the adaptation behavior of embedded systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
Dependability through Assured Reconfiguration in Embedded System Software
IEEE Transactions on Dependable and Secure Computing
Runtime adaptation in safety-critical automotive systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Trust4All: a trustworthy middleware platform for component software
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Experiences from Developing a Component Technology Agnostic Adaptation Framework
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
From model-based design to formal verification of adaptive embedded systems
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
High-quality specification of self-adaptive software systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Hi-index | 0.00 |
Adaptation is increasingly used in the development of safety-critical embedded systems, in particular to reduce hardware needs and to increase availability. However, composing a system from many reconfigurable components can lead to a huge number of possible system configurations, inducing a complexity that cannot be handled during system design. To overcome this problem, we propose a new component-based modeling and verification method for adaptive embedded systems. The component-based modeling approach facilitates abstracting a composition of components to a hierarchical component. In the hierarchical component, the number of possible configurations of the composition is reduced to a small number of hierarchical configurations. Only these hierarchical configurations have to be considered when the hierarchical component is used in further compositions such that design complexity is reduced at each hierarchical level. In order to ensure well-definedness of components, we provide a model of computation enabling the formal verification of critical requirements of the adaptation behavior.