A Compositional Claim-based Component Certification Procedure
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Challenges in automotive software engineering
Proceedings of the 28th international conference on Software engineering
Journal of Systems and Software
Google Android: A Comprehensive Security Assessment
IEEE Security and Privacy
A component framework for consumer electronics middleware
Component-Based Software Development for Embedded Systems
Characterising software platforms from an architectural perspective
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
The paper presents a novel ecosystem for software-intensive embedded systems as an alternative to integration-centric software development. A set of necessary qualities is identified for the embedded platform enabling the ecosystem, i.e. deployability of new functions, maintainability over time, and configurability according to hardware within the product family. The embedded platform must support composability of software from different development stakeholders, such as the original equipment manufacturer, strategic and 3rd-party developers. The paper presents some key mechanisms for implementing the necessary certification in the platform that facilitates composability while still preserving dependability. A theoretical example of how this would look like in the automotive domain is presented, and an actual case of an in-vehicle platform implementing some of the mechanisms is shown.