Think: View-Based Support of Non-functional Properties in Embedded Systems

Authors:
Matthieu Anne;Ruan He;Tahar Jarboui;Marc Lacoste;Olivier Lobry;Guirec Lorant;Maxime Louvel;Juan Navas;Vincent Olive;Juraj Polakovic;Marc Poulhiès;Jacques Pulou;Stéphane Seyvoz;Julien Tous;Thomas Watteyne
Affiliations:
-;-;-;-;-;-;-;-;-;-;-;-;-;-;-
Venue:
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Year:
2009

Citing 0
Cited 9

Component-Based Real-Time Operating System for Embedded Applications

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Minimal yet effective reconfiguration infrastructures in component-based embedded systems

Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
Brief Announcement: An OS Architecture for Device Self-protection

SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A component-based run-time evolution infrastructure for resource-constrained embedded systems

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Software engineering of component-based systems-of-systems: a reference framework

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Comparison of component frameworks for real-time embedded systems

CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Jasmin: an alternative for secure modularity inside the digital home

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems

Software—Practice & Experience
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Component-Based Software Engineering (CBSE) does not yet fully address non-functional requirements of embedded systems. To reach this goal, we show how to extend a component model like FRACTAL with relevant abstractions such as threads, protection rings, or security domains. The FRACTAL Architecture Description Language (ADL) is extended by means of properties that tag components, bindings, and interfaces of the system architectural definition with execution schemes, dynamic reconfiguration strategies, protection and isolation patterns, or QoS features. Each extension captures a property-specific "system view" offering a sound basis to address some non-functional requirement. These extensions were experimented in the THINK framework, a C-based implementation of FRACTAL. Results show that THINK provides a generic and efficient approach to fully support these extensions thanks to a customizable toolchain.