作者: Javier Fernandez Briones , Miguel de Miguel , Juan Pedro Silva , Alejandro Alonso
关键词:
摘要: Real-time, embedded and safety-critical systems have to meet some quality criteria in order provide certain reliance on its operation. The of a system depends the complex composition subsystems. Quality composability matchmaking provided required specifications. To allow for flexibility during design, we study as configuration problem. We options specifications represent design choices, deployment operation modes or component adaptability. This kind assessments architectures is very important e.g., COTS development. contributions this paper are: modeling requirements model analysis, compare two approaches, show how model-driven environment can leverage assessments. QoS-FT + OCL MARTE VSL, are used attach models. However, our ultimate goal evaluate these specifications, implemented tool-support using constraint satisfaction techniques.