Information Processing Letters
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Communication and Concurrency
A Discipline of Programming
Automatic verification of real-time communicating systems by constraint-solving
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
Component-Oriented Programming
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Real-Time Object-Oriented Modeling (ROOM)
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Using separation of concerns for embedded systems design
Proceedings of the 5th ACM international conference on Embedded software
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs
Discrete Event Dynamic Systems
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesis of Partial Behavior Models from Properties and Scenarios
IEEE Transactions on Software Engineering
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Pattern synthesis from multiple scenarios for parameterized real-time UML models
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Hi-index | 0.00 |
Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important principles. For one component, separation of concerns is realized by defining the overall component functionality by separated protocol behaviors. One of the main challenges of applying separation of concerns is the later automatic composition of the separated, maybe interdependent concerns which is not supported by current component-based approaches. Moreover, the complexity of real-time distributed embedded systems requires to consider safety requirements for the composition of the separated concerns. We present an approach which addresses these problems by a well-defined automatic composition of protocol behaviors with respect to interdependent concerns. The composition is performed by taking a proper refinement relation into account so that the analysis results of the separated concerns are preserved which is essential for safety critical systems.