Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

Abstract

Many important works have been carried out to provide modeling languages (e.g., UML, SDL) with expressiveness to support embedded system design, validation and verification. A fundamental shortcoming in current model-driven approaches is the inability to explicitly capture design decisions and trade-offs between different non-functional parameters, among which timeliness, memory usage, and power consumption are of primary interest. This paper highlights technical limitations in UML to specify complex non-functional evaluation scenarios of candidate architectures, and outlines our current work to provide straightforward solutions.

Guiding the Selection of Security Patterns for Real-Time Systems

“…Other works focused on large scale architecture optimization, decision and trade-off analysis [28][29] [30] [31]. In the automotive domain, a multi-objective automatic optimization approach based on EAST-ADL modeling is proposed [28].…”

“…A similar work in [29] presented a method for the search of optimal architecture design according to multi-objectives such as cost, performance and reliability based on SysML modeling. In [30], the authors identified limitations in UML language to support architecture decision according to non-functional attributes. They propose a framework based on parametric analysis specification that aims at evaluating design decisions.…”

A Methodology for Scheduling Analysis Based on UML Development Models

“…Additional tool support was created ) to help the developer to adapt to guidelines of the SAV. Espinoza et al (2008) described how to use design decisions based on analysis results and showed the limitations of the UML concerning these aspects. There are also methodical steps identified, how the developer can make such a design decision.…”