Abstract :
The following topics are dealt with: model management; software product line techniques; model-based embedded systems; distributed embedded automotive systems; service-based computing; formal type-centric framework; resource allocation; pervasive sense-and-response systems; abstract component verification; MOF-based internal design representation and architecture optimization.
Keywords :
embedded systems; formal verification; optimisation; product development; resource allocation; software architecture; software reusability; ubiquitous computing; MOF-based internal design representation; abstract component verification; architecture optimization; distributed embedded automotive systems; formal type-centric framework; model management; model-based embedded systems; pervasive sense-and-response systems; resource allocation; service-based computing; software product line techniques;
Conference_Titel :
Model-Based Methodologies for Pervasive and Embedded Software, 2009. MOMPES '09. ICSE Workshop on
Conference_Location :
Vancouver, BC
Print_ISBN :
978-1-4244-3721-4
DOI :
10.1109/MOMPES.2009.5069120
