| 1. |
- Tesanovic, Aleksandra, et al.
(author)
-
Modular verification of reconfigurable components
- 2005
-
In: Component-Based Software Development for Embedded Systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783540306443 - 9783540316145 - 3540306447 ; , s. 59-81
-
Book chapter (peer-reviewed)abstract
- This chapter presents a framework for modular verification of reconfigurable real-time components. The framework enables proving that the reconfiguration of components via aspect weaving provides expected functional and temporal behavior in the reconfigured component. Within the framework we formally represent components and aspects as augmentations of timed automata. The verification is based on two algorithms: an algorithm that extracts necessary information into component verification interfaces, and an algorithm that checks, on an aspect, whether the property is preserved upon reconfiguration. Hence, the method ensures that components are verified only once for a particular property, while the property satisfaction under reconfiguration is checked only on aspects. Verification interfaces for a given property can be reused for multiple aspects and reconfigurations.
|
|
| 2. |
- Lüders, Frank, et al.
(author)
-
Adopting a Component-Based Software Architecture for an Industrial Control Systems – A Case Study
- 2005
-
In: Component-Based Software Development for Embedded Systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783540306443 ; , s. 232-248
-
Book chapter (other academic/artistic)abstract
- This chapter presents a case study from a global company developing a new generation of programmable controllers to replace several existing products. The system needs to incorporate support for a large number of I/O systems, network types, and communication protocols. To leverage its global development resources and the competency of different development centers, the company decided to adopt a component-based software architecture that allows I/O and communication functions to be realized by independently developed components. The architecture incorporates a subset of a standard component model. The process of redesigning the software architecture is presented, along with the experiences made during and after the project. An analysis of these experiences shows that the component-based architecture effectively supports distributed development and that the effort required for implementing certain functionality has been substantially reduced while, at the same time, the system's performance and other run-time quality attributes have been kept on a satisfactory level.
|
|
| 3. |
- Tesanovic, Aleksandra, 1976-, et al.
(author)
-
Modular Verification of Reconfigurable Components
- 2005. - 1
-
In: Component-Based Software Development for Embedded Systems. - Heidelberg : Springer Verlag. - 9783540306443 ; , s. -353
-
Book chapter (other academic/artistic)abstract
- This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software research. The book is based on a selective compilation of papers that cover the complete component-based embedded software spectrum, ranging from methodology to tools. Methodology aspects covered by the book include functional and non-functional specification, validation, verification, and component architecture. As tools are a critical success factor in the transfer from academia-generated knowledge to industry-ready technology, an important part of the book is devoted to tools. This state-of-the-art survey contains 16 carefully selected papers organised in topical sections on specification and verification, component compatibility, component architectures, implementation and tool support, as well as non-functional properties.
|
|
