Product Line Annotations with UML-F
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Classifying variability modeling techniques
Information and Software Technology
First Experiments Using the UML Profile for MARTE
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Dealing with AADL End-to-End Flow Latency with UML MARTE
ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Integrating Performance Analysis in the Model Driven Development of Software Product Lines
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Variability Driven Quality Evaluation in Software Product Lines
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Adding Standardized Variability to Domain Specific Languages
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Variability Modelling throughout the Product Line Lifecycle
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MARTE mechanisms to model variability when analyzing embedded software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Variability Management in Embedded Product Line Analysis
VALID '10 Proceedings of the 2010 Second International Conference on Advances in System Testing and Validation Lifecycle
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Hi-index | 0.00 |
Nowadays, embedded system development is increasing its complexity dealing with quality, cost and time-to-market among others. Quality attributes are an important issue to consider in embedded software development where time issues may be critical. Development paradigms such as Model Driven Development and Software Product Lines can be an adequate alternative to traditional software development and validation methods due to the characteristics of embedded systems. But for a proper validation and verification based on MARTE model analysis, all variability issues and critical quality attributes that take part in analysis must be properly modelled and managed. Therefore, a model analysis process for Model Driven Embedded Software Product Lines has been defined as some process lacks have been found.