Property networks allowing oracle-based mode-change propagation in hierarchical components

Authors:
Tomas Pop;Frantisek Plasil;Matej Outly;Michal Malohlava;Tomas Bures
Affiliations:
Charles University, Faculty of Mathematics and Physics, Prague, Czech Rep;Charles University, Faculty of Mathematics and Physics, Prague, Czech Rep;Charles University, Faculty of Mathematics and Physics, Prague, Czech Rep;Charles University, Faculty of Mathematics and Physics, Prague, Czech Rep;Charles University, Faculty of Mathematics and Physics, Prague, Czech Rep
Venue:
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Year:
2012

Citing 18
Cited 2

Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model

IEEE Transactions on Software Engineering - Special issue on software architecture
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing variability in software architectures

SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
The Koala Component Model for Consumer Electronics Software

Computer
Describing Software Architecture Styles Using Graph Grammars

IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Mode-Automata: About Modes and States for Reactive Systems

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
A Brief Introduction to Coloured Petri Nets

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal

Real-Time Systems
Assume-Guarantee Verification of Source Code with Design-Level Assumptions

Proceedings of the 26th International Conference on Software Engineering
A survey of self-management in dynamic software architecture specifications

WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Mode-based reconfiguration of critical software component architectures

Proceedings of the Conference on Design, Automation and Test in Europe
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned

SERA '11 Proceedings of the 2011 Ninth International Conference on Software Engineering Research, Management and Applications
Using the AADL to describe distributed applications from middleware to software components

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Mode-automata based methodology for scade

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Comparison of component frameworks for real-time embedded systems

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering

Mode switch handling for the ProCom component model

Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Mode switch timing analysis for component-based multi-mode systems

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Strong pressure on deployment of embedded control systems on a low-cost hardware leads to the need of optimizing software architectures to minimize resource demands. Nevertheless, releasing the resources not needed in specific phases of system execution is only rarely supported by todays component frameworks, mainly since information about the system state is spread over several components, which makes the idea hard to implement. The paper introduces a formal model of property networks allowing for efficient capture of modifications of architecture-relevant information and shows, how this model can be used to employ the concept of modes for system architectures in hierarchical component systems.