Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Real-Time UML: Developing Efficient Objects for Embedded Systems
Real-Time UML: Developing Efficient Objects for Embedded Systems
Practical statecharts in C/C++: Quantum programming for embedded systems
Practical statecharts in C/C++: Quantum programming for embedded systems
A Software Framework for Component-Based Embedded Applications
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Intelligent distributed control systems
Information and Software Technology
Formal approach for the development of intelligent industrial control components
International Journal of Computer Applications in Technology
A formal component framework for distributed embedded systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Safety implementation of adaptive embedded control components
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Distributed Reconfigurations of Autonomous IEC61499 Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
A multi-agent architectural solution for coherent distributed reconfigurations of function blocks
Journal of Intelligent Manufacturing
International Journal of Advanced Pervasive and Ubiquitous Computing
Hi-index | 0.00 |
The widespread use of embedded systems mandates a rigorous engineering approach towards embedded software development, i.e. model-based design of embedded software. The paper presents design models of reusable and reconfigurable state machines that have been conceived in the context of the COMDES framework and in particular – the State Logic Controller and the Hybrid State Logic Controller, whose principles of operation are presented in the paper. The latter has been instrumental in developing a reconfigurable executable component, i.e. a function block of class State Machine, which can be used to implement a broad range of embedded applications such as sequential, continuous and hybrid control systems, as well as complex systems specified with hierarchical and concurrent state machines.