The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hardware/software optimization of error detection implementation for real-time embedded systems
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Mode switch timing analysis for component-based multi-mode systems
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
Component-based software engineering is a technique that has proven effective to increase reusability and ef- efficiency in development of office and web applications. Though being promising also for development of embedded and dependable systems, the true potential in this domain has not yet been realized. In this paper we present a prototype component technology, developed with safety-critical automotive applications in mind. The technology is illustrated by a case-study, which is also used as the basis for an evaluation and a discussion of the appropriateness and applicability in the considered domain. Our study provides initial positive evidence of the suitability of our technology, but also shows that it needs to be extended to be fully applicable in an industrial context.